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 pre, code, samp, kbd, tt {
  15     font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
  16     font-size: 100%;
  17 }
  18
  19 /* Blue headings. */
  20 h1, h2, h3, h4, h5, h6 {
  21     color: #13a;
  22 }
  23
  24 /* Dividing line under the header. */
  25 h1 {
  26     border-bottom: 1px solid black;
  27     margin-top: 0;
  28     overflow: auto;
  29 }
  30
  31 pre {
  32     background: #f6f6f6;
  33     border: 1px solid #ddd;
  34     padding: .125em;
  35 }
  36 a:link, a:visited {
  37     text-decoration: none;
  38 }
  39 a:link:hover, a:visited:hover {
  40     text-decoration: underline;
  41 }
  42
  43 /* Keep help-popup links unbolded in e.g. table headings. */
  44 .helplink {
  45   font-weight: normal;
  46 }
  47
  48 /* Highlight error messages in bright red. */
  49 .error {
  50   color: #FF0000;
  51   padding: 0.25em;
  52 }
  53 td.error {
  54   border: 1px solid red;
  55 }
  56
  57 /* Navigation bar. */
  58 .navigation {
  59   padding: 0em 1em;
  60   font-size: 125%;
  61   font-weight: bold;
  62   font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
  63 }
  64 .navigation li {
  65   display: inline;
  66   padding: .2em;
  67 }
  68
  69 /* Logged-in welcome message. */
  70 .loggedin {
  71   float: right;
  72 }
  73 .loggedin .name {
  74   font-weight: bold;
  75 }