From bd4f1b4bb8fb20b0752677c52f28ff951205d513 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 4 Oct 2006 08:14:35 +0000
Subject: [PATCH] * Style tweaks.

---
 doc/manual/style.css | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/doc/manual/style.css b/doc/manual/style.css
index 93ab65c4d1..6c8137ee38 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -65,22 +65,21 @@ div.refsection h3
 
 
 /***************************************************************************
-                               Program listings:
+                               Examples:
  ***************************************************************************/
 
 div.example
 {
     border: 1px solid #6185a0;
     padding: 6px 6px;
-    margin-left: 0em;
-    margin-right: 0em;
+    margin-left: 1.5em;
+    margin-right: 1.5em;
     background: #f4f4f8;
 }
 
-pre.programlisting
+div.example p.title
 {
-    color: #600000;
-    font-family: monospace;
+    margin-top: 0em;
 }
 
 
@@ -100,6 +99,13 @@ pre.screen, pre.programlisting
     /* font-size: 90%; */
 }
 
+div.example pre.programlisting
+{
+    border: 0px;
+    padding: 0 0;
+    margin: 0 0 0 0;
+}
+
 
 /***************************************************************************
                                Notes, warnings etc: