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: #246;
  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 }