| |
| body { |
| font-family: Arial, sans-serif; |
| font-style: normal; |
| font-size: 200%; |
| # color: #ffffff; |
| # background-color: #000000; |
| # background: url(logo.png) |
| } |
| |
| body.splash { |
| font-size: 300%; |
| # background: url(logo.gif); |
| background-position: bottom center; |
| background-repeat: no-repeat; |
| } |
| |
| |
| A:link { |
| color: #2277ee; |
| } |
| A:visited { |
| color : #cc3300; |
| } |
| A:hover { |
| color : #000000 ; |
| background-color : #aaaaaa |
| } |
| |
| LI { |
| margin-bottom: 0.5em; |
| } |
| |
| #UL LI { list-style-image: url(bullet1.png) } |
| #UL UL LI { list-style-image: url(bullet2.png) } |
| |
| LI LI { font-size: smaller } |
| |
| h1 { |
| color: #0000aa; |
| text-align: center; |
| } |
| |
| h1.splash { |
| color: #cc3300; |
| } |
| |
| h2.splash { |
| color: #2277ee; |
| } |
| |
| h3 { |
| font-family: Arial, sans-serif; |
| } |
| |
| b { |
| font-weight: bold; |
| } |
| |
| td { |
| font-size: 200%; |
| } |
| th { |
| font-size: 200%; |
| } |
| |
| code { |
| color: #00aa00; |
| } |
| |
| div.box { |
| font-size: smaller; |
| border-width: medium; |
| padding: 0.25em; |
| background-color: #dddddd; |
| } |
| |
| pre { |
| font-weight: bold; |
| color: #ffffff; |
| background-color: #000000; |
| margin: 1em; |
| padding: 1em; |
| } |
| |
| span.string { |
| color: #696969; |
| } |
| |
| span.function-name { |
| color: #87cefa; |
| } |
| |
| span.keyword { |
| color: #00ffff; |
| } |
| |
| span.comment { |
| color: #ff7f24; |
| } /* font-lock-comment-face */ |
| span.variable-name { |
| color: #228b22; |
| } /* font-lock-variable-name-face */ |
| span.type { |
| color: #4682b4; |
| } /* font-lock-type-face */ |
| span.builtin { |
| color: #b0c4de; |
| } /* font-lock-builtin-face */ |