diff --git a/website/index.html b/website/index.html
index f824255b..d7aadb98 100644
--- a/website/index.html
+++ b/website/index.html
@@ -286,17 +286,20 @@
-
+
Code ⤒
diff --git a/website/lightblue.css b/website/lightblue.css
index ebb0a7aa..0d2d5dff 100644
--- a/website/lightblue.css
+++ b/website/lightblue.css
@@ -75,6 +75,11 @@ table.examples {
margin-right:0.5em;
}
+ul.publications em {
+ font-width:bold;
+ color:#f0f;
+}
+
h1, h2, h3, h4, h5, h6, p, pre, blockquote, label, ul, ol, dl,
fieldset, address { margin:0.75em 0;}