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 /* Dividing line under the header. */
  29 h1 {
  30     border-bottom: 1px solid 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 /* Keep help-popup links unbolded in e.g. table headings. */
  48 .helplink {
  49   font-weight: normal;
  50 }
  51
  52 /* Highlight error messages in bright red. */
  53 .error {
  54   color: #FF0000;
  55   padding: 0.25em;
  56 }
  57 td.error {
  58   border: 1px solid red;
  59 }
  60
  61 /* Navigation bar. */
  62 .navigation {
  63   padding: 0em 1em;
  64   font-size: 125%;
  65   font-weight: bold;
  66   font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
  67 }
  68 .navigation li {
  69   display: inline;
  70   padding: .2em;
  71 }
  72
  73 /* Logged-in welcome message. */
  74 .loggedin {
  75   float: right;
  76 }
  77 .loggedin .name {
  78   font-weight: bold;
  79 }