From 1d1046d19f22bab1cdd9398bf9679d464cdfd91f Mon Sep 17 00:00:00 2001
From: nojhan
Date: Sun, 1 Aug 2010 22:27:31 +0200
Subject: [PATCH] list of some publications
---
website/index.html | 21 ++++++++++++---------
website/lightblue.css | 5 +++++
2 files changed, 17 insertions(+), 9 deletions(-)
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;}