From c643385fce0be5a0d19a4f6ed8090726269b3ec3 Mon Sep 17 00:00:00 2001
From: jepso <jepso@625475ce-881a-0410-a577-b389adb331d8>
Date: Wed, 1 Aug 2007 20:17:49 +0000
Subject: [PATCH] Updated manual style.

---
 manual/new/styles/basic.css | 98 ++++++++++++++++++-------------------
 manual/new/styles/print.css | 17 +++----
 2 files changed, 57 insertions(+), 58 deletions(-)

diff --git a/manual/new/styles/basic.css b/manual/new/styles/basic.css
index 37222bae1..39b240c93 100644
--- a/manual/new/styles/basic.css
+++ b/manual/new/styles/basic.css
@@ -1,18 +1,20 @@
 body, html {
     margin: 0;
     padding: 0;
-    font-family: "Trebuchet MS", sans-serif;
+    font-family: "Bitstream Vera Sans", "Verdana", sans-serif;
     font-size: medium;
     background: white;
     color: black;
 }
 
 h1, h2, h3, h4, h5, h6 {
-    font-family: "Lucida Bright", "Times New Roman", serif;
+    font-family: "Nimbus Sans L", "Arial", sans-serif;
+    border-bottom: 1px solid #aaaaaa;
+    line-height: 1.5em;
+    padding-bottom: 0.1em;
 }
 
 h1 {
-    text-align: center;
     font-size: 2em;
     margin-bottom: 1em;
     margin-top: 0;
@@ -34,18 +36,14 @@ h4 {
     margin: 1.33em 0;
 }
 
-.chapter {
-    margin-bottom: 5em;
+.chapter + .chapter {
+    margin-top: 3em;
 }
 
 p, ul, ol, dl {
     line-height: 1.5em;
     text-align: justify;
-    font-size: medium;
-}
-
-ul {
-    list-style-type: square;
+    font-size: small;
 }
 
 dd {
@@ -59,6 +57,7 @@ table {
     color: black;
     background-color: #f9f9f9;
     line-height: 1.5em;
+    font-size: small;
 }
 
 td, th {
@@ -71,41 +70,35 @@ th {
     background-color: #f2f2f2;
 }
 
-a:link {
-    color: #3465a4;
+*:link, *:visited {
+    color: #bb0000;
     background-color: inherit;
     text-decoration: none;
+    border-bottom: 1px dotted #bbbbbb;
+}
+
+*:visited {
+    color: #660000;
+}
+
+*:link:hover, *:visited:hover {
+    color: #555555;
+    background-color: #eeeeee;
+    text-decoration: none;
 }
 
-a:visited {
-    color: #75507b;
-    background-color: inherit;
-    text-decoration: none;
-}
-
-a:link:hover,
-a:link:active,
-a:visited:hover,
-a:visited:active {
-    text-decoration: underline;
-    color: #555753;
-    background-color: inherit;
-}
-
-h1 a:link, h1 a:visited,
-h2 a:link, h2 a:visited,
-h3 a:link, h3 a:visited,
-h4 a:link, h4 a:visited,
-h5 a:link, h5 a:visited,
-h6 a:link, h6 a:visited {
+h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
     text-decoration: none !important;
     color: black !important;
+    border-bottom: none !important;
+    background-color: white !important;
 }
 
+
 /*** Code blocks and highlighting**********************************************/
 
 pre, code, tt {
-    font-family: "Bitstream Vera Sans Mono", monospace;
+    font-family: "Bitstream Vera Sans Mono", "Courier New" monospace;
     font-size: small;
 }
 
@@ -115,8 +108,8 @@ pre {
     margin: 1em 0;
     line-height: 1.2em;
     color: black;
-    background-color: #f6f6f6;
-    border: 1px solid #cccccc;
+    background-color: #f7f7f7;
+    border: 1px solid #d7d7d7;
     
     /* Pup's Box Flow Hack, Rev 2 */
     overflow/**/: auto;
@@ -134,21 +127,26 @@ pre, x:-moz-any-link {
 
 pre .default {
     color: #000000;
+    font-weight: bold;
     background-color: inherit;
 }
 
 pre .keyword {
-    color: #3465a4;
+    color: #778899;
+    font-weight: bold;
     background-color: inherit;
 }
 
 pre .string {
-    color: #ef2929;
+    color: #bb8844;
+    font-weight: normal;
     background-color: inherit;
 }
 
 pre .comment {
-    color: #888a85;
+    color: #999988;
+    font-style: italic;
+    font-weight: bold;
     background-color: inherit;
 }
 
@@ -156,8 +154,8 @@ pre .comment {
 
 #sidebar {
     float: right;
-    margin: 1em;
-    padding: 0;
+    margin: 0;
+    padding: 1em;
 }
 
 #wrap {
@@ -195,7 +193,8 @@ ul.tree {
     display: block;
     float: left;
     margin: 0;
-    margin-left: -1.25em;
+    border: none;
+    margin-left: -1.5em;
     padding: 0;
     text-align: center;
     width: 1em;
@@ -217,16 +216,16 @@ ul.tree {
 /** Table of Contents *********************************************************/
 
 #table-of-contents {
-    border: 1px solid #cccccc;
+    border: 1px solid #d9d9d3;
     color: black;
-    background-color: #f6f6f6;
+    background-color: #F7F7F0;
     padding: 1em;
     margin: 0;
 }
 
 #table-of-contents p,
 #table-of-contents ul.tree {
-    font-size: 0.9em;
+    font-size: small;
 }
 
 #table-of-contents p {
@@ -239,13 +238,14 @@ ul.tree {
     margin-right: 0.5em;
     margin-bottom: 0;
     text-align: left;
+    border: none;
 }
 
 #toc-toggles {
     margin: 0;
     padding: 0;
     text-align: right;
-    font-size: 0.9em;
+    font-size: small;
 }
 
 #toc-toggles a {
@@ -265,9 +265,9 @@ div#wrap.sticky-toc #sidebar {
 }
 
 div#wrap.sticky-toc > #sidebar {
-    /* used by Opera 5+, Netscape6+/Mozilla, Konqueror, Safari, OmniWeb 4.5+,
-       iCab, ICEbrowser */
-    position: fixed;
+     /* used by Opera 5+, Netscape6+/Mozilla, Konqueror, Safari, OmniWeb 4.5+,
+        iCab, ICEbrowser */
+     position: fixed;
 }
 
 .sticky-toc #content {
diff --git a/manual/new/styles/print.css b/manual/new/styles/print.css
index bed7a4e30..4394ded96 100644
--- a/manual/new/styles/print.css
+++ b/manual/new/styles/print.css
@@ -46,7 +46,7 @@
 }
 
 html, body {
-	font-family: "Arial", sans-serif;
+	font-family: "Helvetica", "Arial", sans-serif;
 	font-size: 11pt;
 	padding: 0;
 	margin: 0;
@@ -57,7 +57,6 @@ html, body {
 }
 
 h1, h2, h3, h4, h5, h6 {
-	font-family: "Lucida Bright", serif;
     page-break-after: avoid;
 }
 
@@ -75,11 +74,15 @@ ul {
 	list-style-type: square;
 }
 
-pre, tt {
+tt {
 	font-family: "Bitstream Vera Sans Mono", monospace;
 	font-size: 10pt;
 }
 
+pre {
+	background-color: #eeeeee;
+}
+
 table {
 	border: thin solid black;
 	border-collapse: collapse;
@@ -100,12 +103,8 @@ a {
 	color: inherit;
 }
 
-#table-of-contents {
-	display: none;
-}
-
-.one-page#table-of-contents {
-	display: block;
+#toc-toggles {
+    display: none;
 }
 
 #table-of-contents ul {