doc/heimdal.css

   1 body {
   2         color: black;
   3         background-color: #fdfdfd;
   4         font-family: serif;
   5         max-width: 40em;
   6 }
   7 h1, h2, h3 {
   8         font-family: sans-serif;
   9         font-weight: bold;
  10 }
  11 h1 {
  12     padding: 0.5em 0 0.5em 5%;
  13     color: white;
  14     background: #3366cc;
  15     border-bottom: solid 1px black;
  16 }
  17 h1 {
  18         font-size: 200%;
  19 }
  20 h2 {
  21         font-size: 150%;
  22 }
  23 h3 {
  24         font-size: 120%;
  25 }
  26 h4 {
  27         font-weight: bold;
  28 }
  29 pre.example {
  30         margin-left: 2em;
  31         padding: 1em 0em;
  32         border: 2px dashed #c0c0c0;
  33         background: #f0f0f0;
  34 }
  35 a:link {
  36   color: blue;
  37   text-decoration: none;
  38 }
  39 a:visited {
  40   color: red;
  41   text-decoration: none
  42 }
  43 a:hover {
  44   text-decoration: underline
  45 }
  46 span.literal {
  47         font-family: monospace;
  48 }
  49 hr {
  50         border-style: none;
  51         background-color: black;
  52         height: 1px;
  53 }