util/robodoc/Docs/main.css

   1 BODY {
   2   margin-top: 1em;
   3   margin-bottom: 1em;
   4   margin-left: 2.5em;
   5   margin-right: 2.5em;
   6   font-family: sans-serif;
   7 }
   8
   9 #A:link {
  10 #  color: #00FF00;
  11 #}
  12 #A:visited {
  13 #  color: #003333;
  14 #}
  15 #A:active {
  16 #  color: #FF00FF;
  17 #}
  18
  19 p, form {
  20   font-family:sans-serif;
  21   font-size:12pt;
  22 }
  23
  24 #p { text-align: justify; }
  25
  26 B, STRONG, I, EM, CITE, VAR, TT, CODE, KBD, SAMP, IMG
  27 {
  28  display: inline;
  29 }
  30
  31 UL {
  32   margin-top: 1em;
  33   margin-bottom: 1em;
  34   list-style-type: disc;
  35   display: block;
  36 }
  37
  38 LI {
  39   margin-bottom: 0.2em;
  40 }
  41
  42
  43 B, STRONG {
  44   font-variant: small-caps;
  45   font-weight: bold;
  46 }
  47
  48 I, CITE, EM, VAR, ADDRESS, BLOCKQUOTE { font-style: italic }
  49
  50 PRE, TT, KBD, SAMP { font-family: monospace }
  51
  52
  53 TABLE {
  54   color: #000000;
  55   background-color: #AAAAAA;
  56 }
  57
  58 TT {
  59   white-space: pre;
  60 }
  61
  62 CODE {
  63   font-family: monospace;
  64   font-style:none;
  65   white-space: pre;
  66 }
  67
  68 PRE {
  69   white-space: pre;
  70   margin-top: 0.5em;
  71 }
  72
  73 ADDRESS {
  74   font-family: monospace;
  75   font-size: 12pt;
  76   text-align: left;
  77   margin-bottom: 0.5em;
  78 }
  79
  80
  81
  82 H2, H3 {
  83   margin-top: 0.5em;
  84 }
  85
  86 H1, H2, h3 { font-weight: bold }
  87
  88 H1 {
  89   font-family: sans-serif;
  90   font-size:24pt;
  91   text-align:right;
  92   margin-right:36px;
  93   margin-top: 0.5em;
  94   margin-bottom: 0.5em;
  95 }
  96
  97 H2 {
  98   font-family:sans-serif;
  99   font-size:18pt;
 100 }
 101
 102 H3 {
 103   font-family:sans-serif;
 104   font-size:14pt;
 105 }
 106