From 2b20701f7895101c8ef8c989fccf702081615120 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 13 Oct 2004 15:08:35 +0000
Subject: * Better introduction. * Set notes in a different color than
 warnings.

---
 doc/manual/style.css | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'doc/manual/style.css')

diff --git a/doc/manual/style.css b/doc/manual/style.css
index a9b6fd2c67fc..893e7db3f1df 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -112,10 +112,16 @@ div.note,div.warning
     font-style: italic;
 }
 
-div.note h3,div.warning h3
+div.warning h3
 {
     color: red;
-    text-decoration: underline;
+    font-size: 100%;
+}
+
+div.note h3
+{
+    color: blue;
+    font-size: 100%;
 }
 
 div.navfooter *
-- 
cgit 1.4.1