www/main.css

   1 body {
   2         margin: 0px;
   3         padding: 0px;
   4         color: #333;
   5         background-color: #ffe;
   6         font: 11pt verdana,helvetica,sans-serif;
   7 }
   8
   9 img {
  10         border-width: 0px;
  11 }
  12
  13 a {
  14         color:#a33;
  15         text-decoration: None;
  16 }
  17
  18 a:hover {
  19         text-decoration: underline;
  20 }
  21
  22 /* page layout */
  23
  24 /* background needed when neither navigation nor content fill the available
  25  * vertical space (it's a workaround for browsers which do not support
  26  * min-height properly) */
  27 #background {
  28         position: absolute;
  29         top: 0px;
  30         left: 0px;
  31         width: 200px;
  32         height: 100%;
  33         border-right: 1px solid #88a;
  34         background-color: #eed;
  35         z-index: 1;
  36 }
  37
  38 #navigation {
  39         position: absolute;
  40         top: 0px;
  41         left: 0px;
  42         width: 200px;
  43         border-right: 1px solid #88a;
  44         background-color: #eed;
  45         z-index: 3;
  46 }
  47
  48 /* the content is placed into a wrapper to enlarge
  49    the navigation area to the size of the content */
  50
  51 #contentwrapper {
  52         min-width: 700px;
  53         top: 0px;
  54         left: 0px;
  55         border-left: 200px solid #eed;
  56         z-index: 2;
  57 }
  58
  59 #content {
  60         padding-left: 25px;
  61         padding-right: 25px;
  62         border-left: 1px solid #88a;
  63 }
  64
  65 /* navigation elements */
  66
  67 #navigation .logo {
  68         margin-top: 20px;
  69         margin-left: 39px;
  70 }
  71
  72 #navigation .box {
  73         width: 140px;
  74         margin-top: 20px;
  75         margin-left: 19px;
  76         padding: 10px;
  77         border: 1px dashed #88a;
  78         background-color: #dcf;
  79 }
  80
  81 #navigation .title {
  82         margin-bottom: 10px;
  83         border-bottom: 1px solid #88a;
  84         font-size: 13pt;
  85         font-weight: bolder;
  86 }
  87
  88 #navigation .link {
  89         font-size: 10pt;
  90 }
  91
  92 #navigation .sublink {
  93         margin-left: 10px;
  94         font-size: 10pt;
  95 }
  96
  97 #navigation .sflink {
  98         padding-top: 60px;
  99         padding-left: 56px;
 100         padding-bottom: 20px;
 101 }
 102
 103 #navigation .w3clink {
 104         padding-left: 58px;
 105         padding-bottom: 20px;
 106 }
 107
 108 /* content elements */
 109
 110 #content h1 {
 111         padding: 0px;
 112         margin: 0px;
 113         margin-top: 15px;
 114         margin-bottom: 15px;
 115         padding-bottom: 3px;
 116         border-bottom: 1px solid #88a;
 117         font-size: 18pt;
 118         font-weight: bolder;
 119 }
 120
 121 #content h2 {
 122         padding: 0px;
 123         margin: 0px;
 124         padding-bottom: 10px;
 125         font-size: 14pt;
 126         font-weight: bolder;
 127 }
 128
 129 #content .image {
 130         margin-left: 10px;
 131         margin-bottom: 10px;
 132         padding: 10px;
 133         border: 1px dashed #88a;
 134         background-color: #eed;
 135         float:right;
 136         font-size: 9pt;
 137         text-align: center;
 138         font-style: italic;
 139 }
 140
 141 #content p {
 142         padding: 0px;
 143         margin: 0px;
 144         padding-bottom: 15pt;
 145 }
 146
 147 #content dl {
 148         padding: 0px;
 149         margin: 0px;
 150 }
 151
 152 #content dt {
 153         padding: 0px;
 154         margin: 0px;
 155         padding-bottom: 5pt;
 156         font-weight: bold;
 157 }
 158
 159 #content dd {
 160         padding: 0px;
 161         margin: 0px;
 162         padding-left: 25px;
 163         padding-bottom: 15pt;
 164 }
 165
 166 #content ul {
 167         padding: 0px;
 168         margin: 0px;
 169         padding-left: 25px;
 170         padding-bottom: 15pt;
 171 }
 172
 173 #content li {
 174         padding: 0px;
 175         margin: 0px;
 176 }
 177
 178 #content .tablepar {
 179         padding: 0px;
 180         margin: 0px;
 181         padding-bottom: 15pt;
 182 }
 183
 184 #content .tablehead {
 185         background-color: #dcf;
 186 }
 187
 188 #content .exampleseparator {
 189         margin-bottom: 15px;
 190         border-bottom: 1px solid #88a;
 191 }
 192
 193 #content .exampleimage {
 194         padding-bottom: 15px;
 195         text-align: center;
 196 }
 197
 198 #content .examplecode {
 199         padding-bottom: 15px;
 200 }
 201
 202 /* python syntax */
 203
 204 #python .number {
 205         color: #08c;
 206 }
 207
 208 #python .op {
 209         color: #00c;
 210 }
 211
 212 #python .string {
 213         color: #048;
 214 }
 215
 216 #python .comment {
 217         color: #080;
 218 }
 219
 220 #python .name {
 221         color: #000;
 222 }
 223
 224 #python .keyword {
 225         color: #c00;
 226 }
 227