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