git.gag.com Git - fw/altos/blob - doc/am-notoc.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: 2em 5em 2em 5em;
  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.toc {
  96     display:none;
  97 }
  98
  99 div.details {
 100     padding-top: 1em;
 101     padding-left: 3em;
 102 }
 103
 104 span.author {
 105     font-weight: bold;
 106     color: #78079a;
 107 }
 108
 109 span.email {
 110     font-size: 10pt;
 111 }
 112
 113 span#revnumber {
 114     font-size: 8pt;
 115 }
 116
 117 span#revdate {
 118     font-size: 8pt;
 119 }
 120
 121 span#revremark {
 122     font-size: 8pt;
 123 }
 124
 125 div#footer {
 126     border-top: 2px solid #808080;
 127 }
 128
 129 body h1 {
 130   margin: .0em 0 0 -4%;
 131   line-height: 1.3;
 132   border-bottom: 2px solid #808080;
 133 }
 134
 135 body h2 {
 136   margin: 0.5em 0 0 -4%;
 137   line-height: 1.3;
 138   border-bottom: 2px solid #808080;
 139 }
 140
 141 body h3 {
 142   margin: .8em 0 0 -3%;
 143   line-height: 1.3;
 144 }
 145
 146 body h4 {
 147   margin: .8em 0 0 -3%;
 148   line-height: 1.3;
 149 }
 150
 151 body h5 {
 152   margin: .8em 0 0 -2%;
 153   line-height: 1.3;
 154 }
 155
 156 body h6 {
 157   margin: .8em 0 0 -1%;
 158   line-height: 1.3;
 159 }
 160
 161 body hr {
 162   border: none; /* Broken on IE6 */
 163 }
 164
 165 body td {
 166   line-height: 1.2
 167 }
 168
 169 body th {
 170   line-height: 1.2;
 171 }
 172
 173 ol {
 174   line-height: 1.2;
 175 }
 176
 177 ul, body dir, body menu {
 178   line-height: 1.2;
 179 }
 180
 181 body h1, body h2, body h3, body h4, body h5, body h6 {
 182   margin-left: 0
 183 }
 184
 185 body pre {
 186   margin: 0.5em 10% 0.5em 1em;
 187   line-height: 1.0;
 188 }
 189
 190 tt.literal, code.literal {
 191 }
 192
 193 .programlisting, .screen {
 194   border: 1px solid #808080;
 195   background: #f4f4f4;
 196   margin: 0.5em 10% 0.5em 0;
 197   padding: 0.5em 1em;
 198 }
 199
 200 div.sidebar {
 201   background: #ffffee;
 202   margin: 1.0em 10% 0.5em 0;
 203   padding: 0.5em 1em;
 204   border: 1px solid #808080;
 205 }
 206 div.sidebar * { padding: 0; }
 207 div.sidebar div { margin: 0; }
 208 div.sidebar p.title {
 209   margin-top: 0.5em;
 210   margin-bottom: 0.2em;
 211 }
 212
 213 div.bibliomixed {
 214   margin: 0.5em 5% 0.5em 1em;
 215 }
 216
 217 div.glossary dt {
 218   font-weight: bold;
 219 }
 220 div.glossary dd p {
 221   margin-top: 0.2em;
 222 }
 223
 224 dl {
 225   margin: .8em 0;
 226   line-height: 1.2;
 227 }
 228
 229 dt {
 230   margin-top: 0.5em;
 231 }
 232
 233 dt span.term {
 234   font-weight: bold;
 235 }
 236
 237 div.variablelist dd p {
 238   margin-top: 0;
 239 }
 240
 241 div.itemizedlist li, div.orderedlist li {
 242   margin-left: -0.8em;
 243   margin-top: 0.5em;
 244 }
 245
 246 ul, ol {
 247     list-style-position: outside;
 248 }
 249
 250 div.sidebar ul, div.sidebar ol {
 251     margin-left: 2.8em;
 252 }
 253
 254 div.itemizedlist p.title,
 255 div.orderedlist p.title,
 256 div.variablelist p.title
 257 {
 258   margin-bottom: -0.8em;
 259 }
 260
 261 div.revhistory {
 262     border-style: none;
 263 }
 264
 265 div.revhistory table, div.revhistory th, div.revhistory td {
 266     border-collapse: collapse;
 267     border: 1px solid #808080;
 268     padding: 0.25em;
 269 }
 270
 271 div.revhistory th {
 272     color: black;
 273 }
 274
 275 /* Keep TOC and index lines close together. */
 276 div.toc dl, div.toc dt
 277 {
 278   line-height: normal;
 279   margin-top: 0;
 280   margin-bottom: 0;
 281 }
 282
 283 div.admonitionblock {
 284     margin-top: 2em;
 285     margin-bottom: 2em;
 286     margin-left: 2em;
 287     margin-right: 2em;
 288 }
 289
 290 div.admonitionblock div {
 291     margin-left: 0em;
 292     margin-right: 1em;
 293 }
 294
 295 div.admonitionblock div.title {
 296     color:  #c70909;
 297     font-style: bold;
 298     font-size: 24pt;
 299 }
 300
 301 div#content table.tableblock {
 302     border-style: solid;
 303     border-width: 1px;
 304     border-collapse: collapse;
 305 }
 306
 307 div#content table.tableblock td,th {
 308     border-right-style: solid;
 309     border-right-width: 1px;
 310 }
 311
 312 div#content table.tableblock tbody p {
 313     margin-top: 0.25em;
 314     margin-bottom: 0.25em;
 315     margin-left: 0.25em;
 316     margin-right: 0.25em;
 317 }
 318
 319 div#content table.tableblock tbody tr:nth-child(odd) {
 320     background: #cccccc;
 321 }
 322
 323 div.imageblock{
 324     margin-top: 1em;
 325     margin-bottom: 1em;
 326 }
 327
 328 div.imageblock img {
 329     margin-bottom: 0.5em;
 330 }
 331
 332 @media print {
 333   div.navheader, div.navfooter { display: none; }
 334 }