docs/style.css

   1 /* Sans-serif font. */
   2 h1, h2, h3, h4, h5, h6,
   3 div.title, caption.title,
   4 thead, p.table.header,
   5 div#toctitle,
   6 span#author, span#revnumber, span#revdate, span#revremark,
   7 div#footer,
   8 th {
   9         font-family: "Lucida Grande", "Luxi Sans", "Trebuchet MS", "Bitstream Vera Sans", helvetica, verdana, arial, sans-serif;
  10 }
  11
  12 p, td {
  13         font-family: inherit;
  14 }
  15
  16 div.overview_img {
  17         float: right;
  18         margin-top: 10px;
  19         margin-left: 20px;
  20         margin-bottom: 10px;
  21 }
  22
  23 th {
  24         text-align: left;
  25         background: #F0F0F0;
  26         padding: 5px;
  27 }
  28
  29 th.sub {
  30         background: none;
  31 }
  32
  33 tr.current {
  34         background: #90EE90;
  35 }
  36
  37 tt {
  38         font-size: inherit;
  39 }
  40
  41 body {
  42         margin: 1em 5% 1em 5%;
  43 }
  44
  45 a {
  46         color: #000000;
  47         text-decoration: underline;
  48 }
  49 a:visited {
  50         color: #000000;
  51 }
  52
  53 .dg { color: #000000; }
  54
  55 em {
  56         font-style: italic;
  57         /* color: navy; */
  58 }
  59
  60 strong {
  61         font-weight: bold;
  62         color: black;
  63         /* color: #083194; */
  64 }
  65
  66 tt {
  67         font-size: inherit;
  68         color: navy;
  69 }
  70
  71 h1, h2, h3, h4, h5, h6 {
  72         color: #000000;
  73         margin-left: -1.0em;
  74         margin-top: 0.5em;
  75         margin-bottom: 0.1em;
  76         line-height: 1.3;
  77 }
  78
  79 h1 {
  80         color: #000000;
  81 }
  82 h2 {
  83   padding-top: 0.5em;
  84 }
  85 h3 {
  86   float: left;
  87   margin-bottom: 0.7em;
  88 }
  89 h3 + * {
  90   clear: left;
  91 }
  92
  93 hr {
  94   border: 1px solid;
  95   color: #000000;
  96   width: 100%;
  97 }
  98
  99 p {
 100   margin-top: 0.5em;
 101   margin-bottom: 0.5em;
 102 }
 103
 104 ul, ol, li > p {
 105   margin-top: 0;
 106 }
 107 /* ul > li     { color: #aaa; } */
 108 ul > li > * { color: black; }
 109
 110 pre {
 111   padding: 0;
 112   margin: 0;
 113 }
 114
 115 dl {
 116   margin-top: 0.8em;
 117   margin-bottom: 0.8em;
 118 }
 119 dt {
 120         margin-top: 0.5em;
 121         margin-bottom: 0;
 122         font-weight: bold;
 123         color: #000000;
 124 }
 125 dd > *:first-child {
 126   margin-top: 0.1em;
 127 }
 128
 129 ul, ol {
 130     list-style-position: outside;
 131 }
 132 span.aqua { color: aqua; }
 133 span.black { color: black; }
 134 span.blue { color: blue; }
 135 span.fuchsia { color: fuchsia; }
 136 span.gray { color: gray; }
 137 span.green { color: green; }
 138 span.lime { color: lime; }
 139 span.maroon { color: maroon; }
 140 span.navy { color: navy; }
 141 span.olive { color: olive; }
 142 span.purple { color: purple; }
 143 span.red { color: red; }
 144 span.silver { color: silver; }
 145 span.teal { color: teal; }
 146 span.white { color: white; }
 147 span.yellow { color: yellow; }
 148
 149 span.aqua-background { background: aqua; }
 150 span.black-background { background: black; }
 151 span.blue-background { background: blue; }
 152 span.fuchsia-background { background: fuchsia; }
 153 span.gray-background { background: gray; }
 154 span.green-background { background: green; }
 155 span.lime-background { background: lime; }
 156 span.maroon-background { background: maroon; }
 157 span.navy-background { background: navy; }
 158 span.olive-background { background: olive; }
 159 span.purple-background { background: purple; }
 160 span.red-background { background: red; }
 161 span.silver-background { background: silver; }
 162 span.teal-background { background: teal; }
 163 span.white-background { background: white; }
 164 span.yellow-background { background: yellow; }
 165
 166 span.big { font-size: 2em; }
 167 span.small { font-size: 0.6em; }