main.css

   1 html {
   2   background-color: #fefefe;
   3 }
   4
   5 body {
   6   font-family: Times, "Times New Roman", "Liberation Serif", serif;
   7   font-size: 14.5pt;
   8   text-align: justify;
   9 }
  10
  11 h1, h2, h3, h4, h5, h6 {
  12   font-family: Helvetica, Arial, "Liberation Sans", sans-serif;
  13 }
  14
  15 h1 {
  16   padding-top: 1em;
  17   font-size: 140%;
  18   border-bottom: 1pt solid black;
  19 }
  20
  21 h2 {
  22   font-size: 110%;
  23 }
  24
  25 code {
  26   font-family: Courier, "Courier New", "Liberation Mono", monospace;
  27   font-size: 90%;
  28 }
  29
  30 .small {
  31   font-size: 80%;
  32 }
  33
  34 .title {
  35   font-size: 200%;
  36 }
  37
  38 @media screen {
  39   a {
  40     color: #0a70a7;
  41   }
  42   a:visited {
  43     color: #991155;
  44   }
  45 }
  46