mk/fptools.css

   1 div {
   2   font-family: sans-serif;
   3   color: black;
   4   background: white
   5 }
   6
   7 h1, h2, h3, h4, h5, h6, p.title { color: #005A9C }
   8
   9 h1 { font:            170% sans-serif }
  10 h2 { font:            140% sans-serif }
  11 h3 { font:            120% sans-serif }
  12 h4 { font: bold       100% sans-serif }
  13 h5 { font: italic     100% sans-serif }
  14 h6 { font: small-caps 100% sans-serif }
  15
  16 pre {
  17   font-family: monospace;
  18   border-width: 1px;
  19   border-style: solid;
  20   padding: 0.3em
  21 }
  22
  23 pre.screen         { color: #006400 }
  24 pre.programlisting { color: maroon }
  25
  26 div.example {
  27   margin: 1ex 0em;
  28   border: solid #412e25 1px;
  29   padding: 0ex 0.4em
  30 }
  31
  32 div.example, div.example-contents {
  33   background-color: #fffcf5
  34 }
  35
  36 a:link    { color:      #0000C8 }
  37 a:hover   { background: #FFFFA8 }
  38 a:active  { color:      #D00000 }
  39 a:visited { color:      #680098 }