1.1 --- a/docs/styles.css	Sun Jan 23 01:53:35 2005 +0100
     1.2 +++ b/docs/styles.css	Sun Jan 23 01:53:35 2005 +0100
     1.3 @@ -1,77 +1,116 @@
     1.4 -body {
     1.5 +.Selected {
     1.6 +background-color: silver;
     1.7 +color: black;
     1.8 +font-family: sans-serif;
     1.9 +}
    1.10 +
    1.11 +.Selected A:link { color: black; }
    1.12 +.Selected A:visited { color: black; }
    1.13 +.Selected A:active { color: black; }
    1.14 +
    1.15 +.Unselected {
    1.16 +background-color: gray;
    1.17 +color: black;
    1.18 +font-family: sans-serif;
    1.19 +}
    1.20 +
    1.21 +.Unselected A:link { color: black; }
    1.22 +.Unselected A:visited { color: black; }
    1.23 +.Unselected A:active { color: black; }
    1.24 +
    1.25 +.Main { vertical-align: top; }
    1.26 +
    1.27 +BODY {
    1.28  background-color: white;
    1.29  font-size: 12pt;
    1.30  }
    1.31  
    1.32 -h1 {
    1.33 +H1 {
    1.34  color: navy;
    1.35  font-family: sans-serif;
    1.36  font-size: 20pt;
    1.37  }
    1.38  
    1.39 -h2 {
    1.40 +H2 {
    1.41  color: navy;
    1.42  font-family: sans-serif;
    1.43  font-size: 18pt;
    1.44  }
    1.45  
    1.46 -h3 {
    1.47 +H3 {
    1.48  color: navy;
    1.49  font-family: sans-serif;
    1.50  font-size: 16pt;
    1.51  }
    1.52  
    1.53 -h4 {
    1.54 +H4 {
    1.55  color: navy;
    1.56  font-family: sans-serif;
    1.57  font-size: 15pt;
    1.58  }
    1.59  
    1.60 -h5 {
    1.61 +H5 {
    1.62  color: navy;
    1.63  font-family: sans-serif;
    1.64  font-size: 14pt;
    1.65  }
    1.66  
    1.67 -ul {
    1.68 +UL {
    1.69  list-style-type: disc;
    1.70  }
    1.71  
    1.72 -pre {
    1.73 -background-color: silver;
    1.74 +.MainHeading {
    1.75  color: black;
    1.76 +background-color: gray;
    1.77 +font-family: sans-serif;
    1.78 +font-size: 14pt;
    1.79 +font-weight: bold;
    1.80 +vertical-align: top;
    1.81  }
    1.82  
    1.83 -p.prompt {
    1.84 -font-family: fixed;
    1.85 +.SubHeading {
    1.86 +color: black;
    1.87  background-color: silver;
    1.88 -color: black;
    1.89 +font-family: sans-serif;
    1.90 +font-size: 14pt;
    1.91 +font-weight: bold;
    1.92 +vertical-align: top;
    1.93  }
    1.94  
    1.95 -p.prompt:before {
    1.96 -content: "$ ";
    1.97 +.CellHeading {
    1.98 +color: black;
    1.99 +background-color: silver;
   1.100 +font-family: sans-serif;
   1.101 +font-size: 12pt;
   1.102 +font-weight: bold;
   1.103 +vertical-align: top;
   1.104  }
   1.105  
   1.106 -p.result {
   1.107 -font-family: fixed;
   1.108 -background-color: white;
   1.109 -color: black;
   1.110 -margin-left: 1em;
   1.111 +.CellContent {
   1.112 +font-size: 12pt;
   1.113 +vertical-align: top;
   1.114 +}
   1.115 +
   1.116 +PRE.Python {
   1.117 +background-color: #e0e0e0;
   1.118 +width: 100%;
   1.119 +}
   1.120 +
   1.121 +.Submodule {
   1.122 +color: #ff0000
   1.123  }
   1.124  
   1.125 -p.python-prompt {
   1.126 -font-family: fixed;
   1.127 -background-color: silver;
   1.128 -color: black;
   1.129 +PRE.Prompt {
   1.130 +background-color: #c0c0c0;
   1.131 +width: 100%;
   1.132  }
   1.133  
   1.134 -p.python-prompt:before {
   1.135 -content: ">>> ";
   1.136 +PRE.PromptRequest {
   1.137 +background-color: #b0d0b0;
   1.138 +width: 100%;
   1.139  }
   1.140  
   1.141 -p.python-result {
   1.142 -font-family: fixed;
   1.143 -background-color: white;
   1.144 -color: black;
   1.145 -margin-left: 2em;
   1.146 +PRE.PromptResponse {
   1.147 +background-color: #d0b0b0;
   1.148 +width: 100%;
   1.149  }