# HG changeset patch
# User paulb
# Date 1116185078 0
# Node ID a16b1aa8c9130266c7e1a5f88f78ab7f332752b8
# Parent  26c39f7b4101c6a259dbace8a0cabb113269ff09
[project @ 2005-05-15 19:24:38 by paulb]
Replaced the old stylesheet.

diff -r 26c39f7b4101 -r a16b1aa8c913 docs/styles.css
--- a/docs/styles.css	Sun May 15 17:05:27 2005 +0000
+++ b/docs/styles.css	Sun May 15 19:24:38 2005 +0000
@@ -22,53 +22,47 @@
 
 BODY {
 background-color: white;
-font-size: 12pt;
 }
 
 H1 {
 color: navy;
 font-family: sans-serif;
-font-size: 20pt;
+font-size: 2.0em;
 }
 
 H2 {
 color: navy;
 font-family: sans-serif;
-font-size: 18pt;
+font-size: 1.8em;
 }
 
 H3 {
 color: navy;
 font-family: sans-serif;
-font-size: 16pt;
+font-size: 1.6em;
 }
 
 H4 {
 color: navy;
 font-family: sans-serif;
-font-size: 15pt;
+font-size: 1.4em;
 }
 
 H5 {
 color: navy;
 font-family: sans-serif;
-font-size: 14pt;
+font-size: 1.2em;
 }
 
 UL {
 list-style-type: disc;
 }
 
-PRE {
-background-color: silver;
-color: black;
-}
-
 .MainHeading {
 color: black;
 background-color: gray;
 font-family: sans-serif;
-font-size: 14pt;
+font-size: 1.4em;
 font-weight: bold;
 vertical-align: top;
 }
@@ -77,7 +71,7 @@
 color: black;
 background-color: silver;
 font-family: sans-serif;
-font-size: 14pt;
+font-size: 1.4em;
 font-weight: bold;
 vertical-align: top;
 }
@@ -86,12 +80,51 @@
 color: black;
 background-color: silver;
 font-family: sans-serif;
-font-size: 12pt;
+font-size: 1.2em;
 font-weight: bold;
 vertical-align: top;
 }
 
 .CellContent {
-font-size: 12pt;
+font-size: 1.2em;
 vertical-align: top;
 }
+
+PRE {
+border: 1pt solid black;
+padding: 0.5em;
+background-color: silver;
+color: black;
+}
+
+PRE.Python {
+border: 1pt solid black;
+padding: 0.5em;
+background-color: silver;
+color: black;
+}
+
+.Submodule {
+color: #ff0000
+}
+
+PRE.Prompt {
+border: 1pt solid black;
+padding: 0.5em;
+background-color: #c0c0c0;
+color: black;
+}
+
+PRE.PromptRequest {
+border: 1pt solid black;
+padding: 0.5em;
+background-color: #b0d0b0;
+color: black;
+}
+
+PRE.PromptResponse {
+border: 1pt solid black;
+padding: 0.5em;
+background-color: #d0b0b0;
+color: black;
+}