about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-10-04T08·14+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-10-04T08·14+0000
commitbd4f1b4bb8fb20b0752677c52f28ff951205d513 (patch)
tree5c4e2dde5cf0e6bc79f1943e4826516a5ac874dd
parent96fa456a0ae624a30a3cfded21e91e690056eda2 (diff)
* Style tweaks.
-rw-r--r--doc/manual/style.css18
1 files changed, 12 insertions, 6 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index 93ab65c4d138..6c8137ee38f4 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: