doc/style.css

   1 .first {
   2   margin-top: 0 }
   3
   4 .last {
   5   margin-bottom: 0 }
   6
   7 a.toc-backref {
   8   text-decoration: none ;
   9   color: black }
  10
  11 dl {
  12   width: 70%;
  13   margin-left: 1.0em;
  14   font-family: Georgia, "Times New Roman", Times, serif;
  15   font-size: 80%
  16 }
  17
  18 dd {
  19   margin-bottom: 1.0em }
  20
  21 dt {
  22   font-weight: bold;
  23 }
  24
  25 div.abstract {
  26   margin: 2em 5em }
  27
  28 div.abstract p.topic-title {
  29   font-weight: bold ;
  30   text-align: center }
  31 /*
  32 div.attention, div.caution, div.danger, div.error, div.hint,
  33 div.important, div.note, div.tip, div.warning, div.admonition {
  34   margin: 2em ;
  35   border: medium outset ;
  36   padding: 1em }
  37 */
  38
  39 div.attention, div.caution, div.danger, div.error, div.hint,
  40 div.important, div.note, div.tip, div.warning, div.admonition {
  41   margin: 2em ;
  42   border: 2pt dashed #800000 ;
  43   padding: 1em }
  44
  45 div.attention p.admonition-title, div.caution p.admonition-title,
  46 div.danger p.admonition-title, div.error p.admonition-title,
  47 div.warning p.admonition-title {
  48   color: red ;
  49   font-weight: bold ;
  50   font-family: sans-serif }
  51
  52 div.hint p.admonition-title, div.important p.admonition-title,
  53 div.note p.admonition-title, div.tip p.admonition-title,
  54 div.admonition p.admonition-title {
  55   font-weight: bold ;
  56   font-family: sans-serif }
  57
  58 div.dedication {
  59   margin: 2em 5em ;
  60   text-align: center ;
  61   font-style: italic }
  62
  63 div.dedication p.topic-title {
  64   font-weight: bold ;
  65   font-style: normal }
  66
  67 div.figure {
  68   margin-left: 2em }
  69
  70 div.footer, div.header {
  71   font-size: smaller }
  72
  73 div.sidebar {
  74   border: #800000 2pt dashed;
  75   padding: 10pt;
  76
  77 /*  margin-left: 1em ;*/
  78 /*  border: 1 ; medium outset ;
  79   padding: 0em 1em ;*/
  80   background-color: #ffffff ;
  81   width: 30% ;
  82   float: right ;
  83   clear: right ;
  84 }
  85
  86 div.sidebar p {
  87   font-family: sans-serif ;
  88   font-size: small }
  89
  90 div.sidebar p.rubric {
  91   font-family: sans-serif ;
  92   font-size: medium }
  93
  94 div.system-messages {
  95   margin: 5em }
  96
  97 div.system-messages h1 {
  98   color: red }
  99
 100 div.system-message {
 101   border: medium outset ;
 102   padding: 1em }
 103
 104 div.system-message p.system-message-title {
 105   color: red ;
 106   font-weight: bold }
 107
 108 div.topic {
 109   margin: 2em }
 110
 111 h1.title {
 112   font-size: 250%;
 113   text-align: center }
 114
 115 h2.subtitle {
 116   text-align: center }
 117
 118 hr {
 119   width: 75% }
 120
 121 ol.simple, ul.simple {
 122   margin-bottom: 1em }
 123
 124 ol.arabic {
 125   list-style: decimal }
 126
 127 ol.loweralpha {
 128   list-style: lower-alpha }
 129
 130 ol.upperalpha {
 131   list-style: upper-alpha }
 132
 133 ol.lowerroman {
 134   list-style: lower-roman }
 135
 136 ol.upperroman {
 137   list-style: upper-roman }
 138
 139 p.attribution {
 140   text-align: right ;
 141   margin-left: 50% }
 142
 143 p.caption {
 144   font-style: italic }
 145
 146 p.credits {
 147   font-style: italic ;
 148   font-size: smaller }
 149
 150 p.label {
 151   white-space: nowrap }
 152
 153 p.rubric {
 154   font-weight: bold ;
 155   font-size: larger ;
 156   color: maroon ;
 157   text-align: center }
 158
 159 p.sidebar-title {
 160   font-family: sans-serif ;
 161   font-weight: bold ;
 162   font-size: larger }
 163
 164 p.sidebar-subtitle {
 165   font-family: sans-serif ;
 166   font-weight: bold }
 167
 168 p.topic-title {
 169   font-weight: bold }
 170
 171 pre.address {
 172   margin-bottom: 0 ;
 173   margin-top: 0 ;
 174   font-family: serif ;
 175   font-size: 100% }
 176
 177 pre.line-block {
 178   font-family: serif ;
 179   font-size: 100% }
 180
 181 pre.literal-block, pre.doctest-block {
 182   margin-left: 2em ;
 183   margin-right: 2em ;
 184   background-color: #eeeeee }
 185
 186 span.classifier {
 187   font-family: sans-serif ;
 188   font-style: oblique }
 189
 190 span.classifier-delimiter {
 191   font-family: sans-serif ;
 192   font-weight: bold }
 193
 194 span.interpreted {
 195   font-family: sans-serif }
 196
 197 span.option {
 198   white-space: nowrap }
 199
 200 span.option-argument {
 201   font-style: italic }
 202
 203 span.pre {
 204   white-space: pre }
 205
 206 span.problematic {
 207   color: red }
 208
 209 table {
 210   margin-top: 0.5em ;
 211   margin-bottom: 0.5em }
 212
 213 table.citation {
 214   border-left: solid thin gray ;
 215   padding-left: 0.5ex }
 216
 217 table.docinfo {
 218   margin: 2em 4em }
 219
 220 table.footnote {
 221   border-left: solid thin black ;
 222   padding-left: 0.5ex }
 223
 224 td, th {
 225   padding-left: 0.5em ;
 226   padding-right: 0.5em ;
 227   vertical-align: top }
 228
 229 th.docinfo-name, th.field-name {
 230   font-weight: bold ;
 231   text-align: left ;
 232   white-space: nowrap }
 233
 234 h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
 235   font-size: 100% }
 236
 237 tt {
 238 /*  background-color: #eeeeee */
 239     color: #102Eb0
 240 }
 241
 242 ul.auto-toc {
 243   list-style-type: none }
 244
 245 body
 246 {
 247         background-color: white;
 248         color: black;
 249         margin: 1em 2em 1em 2em;
 250 }
 251
 252 h1 { font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; text-align: left; font-size: 140%; }
 253 h2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; text-align: left; font-size: 110%; }
 254 h3 { font-family: "courier new", courier, monospace; font-weight: bold; text-align: left; font-size: 100%; }
 255
 256 pre
 257 {
 258         border: gray 1pt solid;
 259         padding: 2pt;
 260
 261         display: block;
 262         font-family: "courier new", courier, monospace;
 263         background-color: #eeeeee;
 264         color: black;
 265         font-size: small
 266 }
 267
 268 code
 269 {
 270         white-space: pre;
 271         border: gray 1pt solid;
 272         padding: 2pt;
 273
 274         display: block;
 275         font-family: "courier new", courier, monospace;
 276         color: black;
 277         font-size: small
 278 }
 279
 280 tt
 281 {
 282         display: inline;
 283         font-family: "Courier New", Courier, monospace;
 284 }
 285
 286 p
 287 {
 288         text-align: justify;
 289         font-family: Georgia, "Times New Roman", Times, serif
 290 }
 291
 292 ul
 293 {
 294         font-family: Georgia, "Times New Roman", Times, serif
 295 }
 296
 297 ol
 298 {
 299         font-family: Georgia, "Times New Roman", Times, serif
 300 }
 301
 302 a:link
 303 {
 304         font-weight: bold;
 305         color: #003366;
 306         text-decoration: none;
 307 }
 308
 309 a:visited
 310 {
 311         font-weight: bold;
 312         color: #003366;
 313         text-decoration: none;
 314 }
 315
 316
 317 table
 318 {
 319         border: 1px solid black;
 320         border-collapse: collapse;
 321 }
 322
 323 table td
 324 {
 325         padding: 6px;
 326 }
 327
 328 table th
 329 {
 330         border: 3px solid black;
 331         padding: 6px;
 332 }
 333
 334 table.menu
 335 {
 336         border-style: none;
 337 }
 338
 339 table.menu td
 340 {
 341         padding-left: 15px;
 342         padding-right: 15px;
 343         padding-top: 7px;
 344         padding-bottom: 7px;
 345 }
 346
 347
 348 td
 349 {
 350         border: 1px solid black
 351 }
 352