git.gag.com Git - fw/altos/blob - doc/am.css

   1 /*
   2   CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
   3 */
   4
   5 @font-face {
   6     font-family: 'Open Sans';
   7     src: url('fonts/OpenSans-Regular.ttf');
   8     font-weight: normal;
   9     font-style: normal;
  10 }
  11
  12 @font-face {
  13     font-family: 'Open Sans';
  14     src: url('fonts/OpenSans-Italic.ttf');
  15     font-weight: normal;
  16     font-style: italic;
  17 }
  18
  19 @font-face {
  20     font-family: 'Open Sans';
  21     src: url('fonts/OpenSans-Semibold.ttf');
  22     font-weight: bold;
  23     font-style: normal;
  24 }
  25
  26 @font-face {
  27     font-family: 'Open Sans';
  28     src: url('fonts/OpenSans-SemiboldItalic.ttf');
  29     font-weight: bold;
  30     font-style: italic;
  31 }
  32
  33 @font-face {
  34     font-family: 'DejaVu Sans Mono';
  35     src: url('fonts/DejaVuSansMono.ttf');
  36     font-weight: normal;
  37     font-style: normal;
  38 }
  39
  40 @font-face {
  41     font-family: 'DejaVu Sans Mono';
  42     src: url('fonts/DejaVuSansMono-Oblique.ttf');
  43     font-weight: normal;
  44     font-style: oblique;
  45 }
  46
  47 @font-face {
  48     font-family: 'DejaVu Sans Mono';
  49     src: url('fonts/DejaVuSansMono-Bold.ttf');
  50     font-weight: bold;
  51     font-style: normal;
  52 }
  53
  54 @font-face {
  55     font-family: 'DejaVu Sans Mono';
  56     src: url('fonts/DejaVuSansMono-BoldOblique.ttf');
  57     font-weight: bold;
  58     font-style: oblique;
  59 }
  60
  61 body {
  62     font-family: "Open Sans",sans-serif;
  63     font-size: 12pt;
  64     margin: 0;
  65 }
  66
  67 code, pre {
  68   font-family: "DejaVu Sans Mono", monospace;
  69 }
  70
  71 span.strong {
  72   font-weight: bold;
  73 }
  74
  75 body blockquote {
  76   margin-top: .75em;
  77   line-height: 1.5;
  78   margin-bottom: .75em;
  79 }
  80
  81 a:link {
  82     color: #78079a;
  83 }
  84
  85 a:visited {
  86     color: #78079a;
  87 }
  88
  89 h1, h2, h3, h4, h5, h6
  90 {
  91   color: #78079a;
  92   font-family: "Open Sans",sans-serif;
  93 }
  94
  95 div#content, div#header, div#footer {
  96     margin-left: 440px;
  97     margin-right: 2em;
  98     margin-top: 2em;
  99     margin-bottom: 2em;
 100 }
 101
 102 div.toc {
 103     position: fixed;
 104     left: 0px;
 105     top: 92px;
 106     bottom: 0;
 107     width: 390px;
 108     margin-right: 0;
 109     margin-left: 0;
 110     padding-left: 10px;
 111     padding-right: 10px;
 112     float: left;
 113     border-right: 2px solid #808080;
 114     border-collapse: collapse;
 115     overflow: auto;
 116 }
 117
 118 div#logo img {
 119     position: fixed;
 120     left: 0px;
 121     top: 0px;
 122     width: 410px;
 123     height: 92px;
 124     margin-top: 0px;
 125     margin-bottom: 0px;
 126     border-right: 2px solid #808080;
 127     border-bottom: 2px solid #808080;
 128 }
 129
 130 div.toc a:link {
 131     text-decoration: none;
 132 }
 133
 134 div.toc a:visited {
 135     text-decoration: none;
 136 }
 137
 138 div.toc a:hover {
 139     text-decoration: underline;
 140 }
 141
 142 div.toc a:active {
 143     text-decoration: underline;
 144 }
 145
 146 div.details {
 147     padding-top: 1em;
 148     padding-left: 3em;
 149 }
 150
 151 span.author {
 152     font-weight: bold;
 153     color: #78079a;
 154 }
 155
 156 span.email {
 157     font-size: 10pt;
 158 }
 159
 160 span#revnumber {
 161     font-size: 8pt;
 162 }
 163
 164 span#revdate {
 165     font-size: 8pt;
 166 }
 167
 168 span#revremark {
 169     font-size: 8pt;
 170 }
 171
 172 div#footer {
 173     border-top: 2px solid #808080;
 174 }
 175
 176 body h1 {
 177   margin: .0em 0 0 -4%;
 178   line-height: 1.3;
 179   border-bottom: 2px solid #808080;
 180 }
 181
 182 body h2 {
 183   margin: 0.5em 0 0 -4%;
 184   line-height: 1.3;
 185   border-bottom: 2px solid #808080;
 186 }
 187
 188 body h3 {
 189   margin: .8em 0 0 -3%;
 190   line-height: 1.3;
 191 }
 192
 193 body h4 {
 194   margin: .8em 0 0 -3%;
 195   line-height: 1.3;
 196 }
 197
 198 body h5 {
 199   margin: .8em 0 0 -2%;
 200   line-height: 1.3;
 201 }
 202
 203 body h6 {
 204   margin: .8em 0 0 -1%;
 205   line-height: 1.3;
 206 }
 207
 208 body hr {
 209   border: none; /* Broken on IE6 */
 210 }
 211
 212 body td {
 213   line-height: 1.2
 214 }
 215
 216 body th {
 217   line-height: 1.2;
 218 }
 219
 220 ol {
 221   line-height: 1.2;
 222 }
 223
 224 ul, body dir, body menu {
 225   line-height: 1.2;
 226 }
 227
 228 body h1, body h2, body h3, body h4, body h5, body h6 {
 229   margin-left: 0
 230 }
 231
 232 body pre {
 233   margin: 0.5em 10% 0.5em 1em;
 234   line-height: 1.0;
 235 }
 236
 237 tt.literal, code.literal {
 238 }
 239
 240 .programlisting, .screen {
 241   border: 1px solid #808080;
 242   background: #f4f4f4;
 243   margin: 0.5em 10% 0.5em 0;
 244   padding: 0.5em 1em;
 245 }
 246
 247 div.sidebar {
 248   background: #ffffee;
 249   margin: 1.0em 10% 0.5em 0;
 250   padding: 0.5em 1em;
 251   border: 1px solid #808080;
 252 }
 253 div.sidebar * { padding: 0; }
 254 div.sidebar div { margin: 0; }
 255 div.sidebar p.title {
 256   margin-top: 0.5em;
 257   margin-bottom: 0.2em;
 258 }
 259
 260 div.bibliomixed {
 261   margin: 0.5em 5% 0.5em 1em;
 262 }
 263
 264 div.glossary dt {
 265   font-weight: bold;
 266 }
 267 div.glossary dd p {
 268   margin-top: 0.2em;
 269 }
 270
 271 dl {
 272   margin: .8em 0;
 273   line-height: 1.2;
 274 }
 275
 276 dt {
 277   margin-top: 0.5em;
 278 }
 279
 280 dt span.term {
 281   font-weight: bold;
 282 }
 283
 284 div.variablelist dd p {
 285   margin-top: 0;
 286 }
 287
 288 div.itemizedlist li, div.orderedlist li {
 289   margin-left: -0.8em;
 290   margin-top: 0.5em;
 291 }
 292
 293 ul, ol {
 294     list-style-position: outside;
 295 }
 296
 297 div.sidebar ul, div.sidebar ol {
 298     margin-left: 2.8em;
 299 }
 300
 301 div.itemizedlist p.title,
 302 div.orderedlist p.title,
 303 div.variablelist p.title
 304 {
 305   margin-bottom: -0.8em;
 306 }
 307
 308 div.revhistory {
 309     border-style: none;
 310 }
 311
 312 div.revhistory table, div.revhistory th, div.revhistory td {
 313     border-collapse: collapse;
 314     border: 1px solid #808080;
 315     padding: 0.25em;
 316 }
 317
 318 div.revhistory th {
 319     color: black;
 320 }
 321
 322 /* Keep TOC and index lines close together. */
 323 div.toc dl, div.toc dt
 324 {
 325   line-height: normal;
 326   margin-top: 0;
 327   margin-bottom: 0;
 328 }
 329
 330 div.admonitionblock {
 331     margin-top: 2em;
 332     margin-bottom: 2em;
 333     margin-left: 2em;
 334     margin-right: 2em;
 335 }
 336
 337 div.admonitionblock div {
 338     margin-left: 0em;
 339     margin-right: 1em;
 340 }
 341
 342 div.admonitionblock div.title {
 343     color:  #c70909;
 344     font-style: bold;
 345     font-size: 24pt;
 346 }
 347
 348 div#content table.tableblock {
 349     border-style: solid;
 350     border-width: 1px;
 351     border-collapse: collapse;
 352 }
 353
 354 div#content table.tableblock td,th {
 355     border-right-style: solid;
 356     border-right-width: 1px;
 357 }
 358
 359 div#content table.tableblock tbody p {
 360     margin-top: 0.25em;
 361     margin-bottom: 0.25em;
 362     margin-left: 0.25em;
 363     margin-right: 0.25em;
 364 }
 365
 366 div#content table.tableblock tbody tr:nth-child(odd) {
 367     background: #cccccc;
 368 }
 369
 370 div.imageblock{
 371     margin-top: 1em;
 372     margin-bottom: 1em;
 373 }
 374
 375 div.imageblock img {
 376     margin-bottom: 0.5em;
 377 }
 378
 379 @media print {
 380   div.navheader, div.navfooter { display: none; }
 381 }