code/static/style.css

   1 /*
   2   Good style ideas stolen from Debathena.
   3   Hey, we use some different fonts.
   4   And the colors are unmistakably different.
   5 */
   6
   7 /* Basic fonts and sizes. */
   8 html {
   9     font-size: 87.5%;
  10 }
  11 body {
  12     font-family: Tahoma, Sans, sans-serif;
  13 }
  14 h1, h2, h3, h4, h5, h6 {
  15     font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
  16     font-weight: bold;
  17 }
  18 pre, code, samp, kbd, tt {
  19     font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
  20     font-size: 100%;
  21 }
  22
  23 /* Blue headings. */
  24 h1, h2, h3, h4, h5, h6 {
  25     color: #13a;
  26 }
  27
  28 /* Dashed line under the header. */
  29 h1 {
  30     border-bottom: 1px dashed black;
  31     margin-top: 0;
  32     overflow: auto;
  33 }
  34
  35 pre {
  36     background: #f6f6f6;
  37     border: 1px solid #ddd;
  38     padding: .125em;
  39 }
  40 a:link, a:visited {
  41     text-decoration: none;
  42 }
  43 a:link:hover, a:visited:hover {
  44     text-decoration: underline;
  45 }
  46
  47 /* Highlight error messages in bright red. */
  48 .error {
  49   color: #FF0000;
  50   padding: 0.25em;
  51 }
  52 td.error {
  53   border: 1px solid red;
  54 }
  55
  56 /* Navigation bar. */
  57 .navigation {
  58   padding: 0em 1em;
  59   font-size: 125%;
  60   font-weight: bold;
  61   font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
  62 }
  63 .navigation li {
  64   display: inline;
  65   padding: .2em;
  66 }
  67
  68 /* Logged-in welcome message. */
  69 .loggedin {
  70   float: right;
  71 }
  72 .loggedin .name {
  73   font-weight: bold;
  74 }