main.css

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