doc/html/style.css

   1 body {
   2     font: 11pt Arial, Verdana, Helvetica, sans-serif;
   3     text-align: center;
   4 }
   5
   6 @media screen and (min-width: 960px) and (min-height: 720px) and (max-resolution: 150dpi),
   7        screen and (min-width: 1280px) and (min-height: 720px) {
   8     body {
   9         padding: 1em 3em 1em 26em;
  10     }
  11 }
  12
  13 @media screen {
  14     div.document, div.footer {
  15         max-width: 45em;
  16         background-color: white;
  17     }
  18 }
  19
  20 @media print {
  21     div.document, div.footer {
  22         width: auto;
  23         padding-left: 0;
  24     }
  25
  26     div.sidemenu {
  27         display: none;
  28     }
  29 }
  30
  31 div.document, div.footer {
  32     margin: 1em auto 1em auto;
  33     color: #222;
  34 }
  35
  36 div.document {
  37     text-align: left;
  38 }
  39
  40 div.footer {
  41     text-align: center;
  42     font-size: 70%;
  43 }
  44
  45 .center {
  46     text-align: center;
  47 }
  48
  49 /*** TOC ***/
  50
  51 div.contents.topic ul {
  52     margin-top: 0;
  53 }
  54
  55 div.contents.topic ul > li {
  56     text-decoration: none;
  57     line-height: 1.2em;
  58 }
  59
  60 div.contents.topic > p > a {
  61     text-decoration: none;
  62 }
  63
  64 /*** side menu ***/
  65
  66 @media (min-width: 1280px) and (min-height: 720px),
  67        (min-width: 960px) and (min-height: 720px) and (max-resolution: 150dpi) {
  68     div.sidemenu .menutrigger {
  69         display: none;
  70     }
  71
  72     div.sidemenu {
  73         position: absolute;
  74         top: 0;
  75         left: 0;
  76         width: 26em;
  77         font-size: 8pt;
  78         text-align: left;
  79         border-right: groove gray;
  80         border-bottom: groove gray;
  81         padding-right: 1ex;
  82         background: #FFFAFA /* url(python-xml.png) no-repeat top right */ ;
  83     }
  84
  85     html > body div.sidemenu {
  86         /* ignored by IE -> everyone else knows 'fixed', right?  */
  87         position: fixed;
  88     }
  89 }
  90
  91 @media (max-width: 959px), (max-height: 719px), (max-width: 1279px) and (min-resolution: 151dpi) {
  92     div.sidemenu > div.menutrigger {
  93         display: block;
  94         border: solid darkgreen 2px;
  95         padding: 2px;
  96         text-align: center;
  97         width: 6ex;
  98     }
  99
 100     div.sidemenu > div.menu {
 101         display: none;
 102         position: absolute;
 103         z-index: 999;
 104         font-size: 9pt;
 105         text-align: left;
 106         border: groove gray;
 107         padding-right: 1ex;
 108         background: #FFFAFA /* url(python-xml.png) no-repeat top right */ ;
 109     }
 110
 111     div.sidemenu:hover > div.menu,
 112     div.sidemenu.visible > div.menu {
 113         display: block;
 114     }
 115 }
 116
 117 div.sidemenu > div.menu span.section.title {
 118     line-height: 1.2em;
 119     font-size: 130%;
 120 }
 121
 122 div.sidemenu > div.menu ul.menu.current li {
 123     color: #CC0000;
 124     font-size: 105%;
 125 }
 126
 127 div.sidemenu > div.menu ul.menu.current > li > a {
 128     color: #CC0000;
 129 }
 130
 131 div.sidemenu > div.menu ul.menu.current ul.submenu {
 132     display: block;
 133 }
 134
 135 div.sidemenu > div.menu ul.menu.foreign ul.submenu li {
 136     padding-top: 2px;
 137     padding-bottom: 2px;
 138 }
 139
 140 div.sidemenu > div.menu ul.menu.foreign li.menu:hover ul.submenu {
 141     display: block;
 142     position: absolute;
 143     border: groove #990000;
 144     padding: 1ex 1ex 1ex 3ex;
 145     margin-top: 0;
 146     margin-left: 4em;
 147     margin-right: -20em;
 148     color: #990000;
 149     background-color: white;
 150 }
 151
 152 div.sidemenu > div.menu ul.submenu {
 153     display: none;
 154 }
 155
 156 div.sidemenu > div.menu ul {
 157     line-height: 1em;
 158     margin: 1ex;
 159     padding-left: 1em;
 160 }
 161
 162 div.banner {
 163     font-size: 133%;
 164     border: 2px solid darkred;
 165     color: darkgreen;
 166     line-height: 1em;
 167     margin: 1ex;
 168     padding: 3pt;
 169 }
 170
 171 div.banner_link > a {
 172     color: darkgreen;
 173 }
 174
 175 div.banner_image img {
 176     max-height: 3em;
 177     max-width: 60pt;
 178     float: right;
 179 }
 180
 181 div.document > div.banner {
 182     text-align: center;
 183 }
 184
 185 @media (min-width: 480pt) {
 186     div.document > div.banner br.first {
 187         display: none;
 188     }
 189     div.document > div.banner img {
 190         max-height: 2em;
 191     }
 192 }
 193
 194 /*** headings ***/
 195
 196 h1.title {
 197     background: url(python-xml-title.png) no-repeat;
 198     padding: 20px 0 0 160px;
 199     min-height: 60px;
 200     font-size: 200%;
 201 }
 202
 203 h1.title, h1 a, h2 a, h3 a {
 204     color: #666;
 205     font-weight: bold;
 206     font-family: Helvetica, sans-serif;
 207 }
 208
 209 @media screen {
 210     div.section > h1:before {
 211         margin-left: -2ex;
 212         color: #CC0000;
 213         content: "\00BB" " ";
 214     }
 215 }
 216
 217 h1 {
 218     font-size: 150%;
 219 }
 220
 221 h2 {
 222     font-size: 130%;
 223 }
 224
 225 h3 {
 226     font-size: 110%;
 227 }
 228
 229 /*** content ***/
 230
 231 a, a:visited {
 232     background-color: transparent;
 233     font-weight: bold;
 234     color: Black;
 235     text-decoration: none;
 236 }
 237
 238 p a:active, ul a:active {
 239     color: Red;
 240 }
 241
 242 p a:hover, ul a:hover {
 243     text-decoration: underline;
 244 }
 245
 246 p {
 247     /*margin: 0.5em 0em 1em 0em;*/
 248     text-align: justify;
 249     line-height: 1.5em;
 250     margin: 0.5em 0 0 0;
 251 }
 252
 253 th.docinfo-name {
 254     padding-left: 3ex;
 255     text-align: right;
 256     font-weight: bold;
 257 }
 258
 259 hr {
 260     clear: both;
 261     height: 1px;
 262     color: #8CACBB;
 263     background-color: transparent;
 264 }
 265
 266 dt {
 267     line-height: 1.5em;
 268     margin-left: 1em;
 269 }
 270
 271 dt:before {
 272     content: "\00BB" " ";
 273 }
 274
 275 div.section ul {
 276     line-height: 1.5em;
 277     padding-left: 1ex;
 278     margin-left: 1.5em;
 279 }
 280
 281 div.section li {
 282     padding-left: 0;
 283 }
 284
 285 ol {
 286     line-height: 1.5em;
 287     margin-left: 0;
 288 }
 289
 290 blockquote {
 291     font-family: Times, "Times New Roman", serif;
 292     font-style: italic;
 293 }
 294
 295 div.eyecatcher, p.eyecatcher {
 296     font-family: Times, "Times New Roman", serif;
 297     text-align: center;
 298     font-size: 140%;
 299     line-height: 1.2em;
 300     margin-left: 12%;
 301     margin-right: 12%;
 302 }
 303
 304 div.pagequote {
 305     position: absolute;
 306     top: 0;
 307     right: 0;
 308     padding: 10px 10px 0 0;
 309     margin-left: 6em;
 310     text-align: right;
 311     font-size: 80%;
 312     color: #990000;
 313 }
 314
 315 div.pagequote .reference {
 316     font-size: 140%;
 317 }
 318
 319 html > .pagequote {
 320     /* ignored by IE -> everyone else knows 'fixed', right?  */
 321     position: fixed;
 322 }
 323
 324 code {
 325     color: Black;
 326     background-color: #f0f0f0;
 327     font-family: "Courier New", Courier, monospace;
 328 }
 329
 330 pre {
 331     padding: 0.5em;
 332     border: 1px solid #8cacbb;
 333     color: Black;
 334     background-color: #f0f0f0;
 335     font-family: "Courier New", Courier, monospace;
 336 }
 337
 338 /* Syntax highlighting */
 339
 340 .syntax  { background: #f0f0f0; }
 341 .syntax .c { color: #60a0b0; font-style: italic } /* Comment */
 342 .syntax .err { border: 1px solid #FF0000 } /* Error */
 343 .syntax .k { color: #007020; font-weight: bold } /* Keyword */
 344 .syntax .o { color: #666666 } /* Operator */
 345 .syntax .cm { color: #60a0b0; font-style: italic } /* Comment.Multiline */
 346 .syntax .cp { color: #007020 } /* Comment.Preproc */
 347 .syntax .c1 { color: #60a0b0; font-style: italic } /* Comment.Single */
 348 .syntax .cs { color: #60a0b0; background-color: #fff0f0 } /* Comment.Special */
 349 .syntax .gd { color: #A00000 } /* Generic.Deleted */
 350 .syntax .ge { font-style: italic } /* Generic.Emph */
 351 .syntax .gr { color: #FF0000 } /* Generic.Error */
 352 .syntax .gh { color: #000080; font-weight: bold } /* Generic.Heading */
 353 .syntax .gi { color: #00A000 } /* Generic.Inserted */
 354 .syntax .go { color: #404040 } /* Generic.Output */
 355 .syntax .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
 356 .syntax .gs { font-weight: bold } /* Generic.Strong */
 357 .syntax .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
 358 .syntax .gt { color: #0040D0 } /* Generic.Traceback */
 359 .syntax .kc { color: #007020; font-weight: bold } /* Keyword.Constant */
 360 .syntax .kd { color: #007020; font-weight: bold } /* Keyword.Declaration */
 361 .syntax .kp { color: #007020 } /* Keyword.Pseudo */
 362 .syntax .kr { color: #007020; font-weight: bold } /* Keyword.Reserved */
 363 .syntax .kt { color: #902000 } /* Keyword.Type */
 364 .syntax .m { color: #40a070 } /* Literal.Number */
 365 .syntax .s { color: #4070a0 } /* Literal.String */
 366 .syntax .na { color: #4070a0 } /* Name.Attribute */
 367 .syntax .nb { color: #007020 } /* Name.Builtin */
 368 .syntax .nc { color: #0e84b5; font-weight: bold } /* Name.Class */
 369 .syntax .no { color: #60add5 } /* Name.Constant */
 370 .syntax .nd { color: #555555; font-weight: bold } /* Name.Decorator */
 371 .syntax .ni { color: #d55537; font-weight: bold } /* Name.Entity */
 372 .syntax .ne { color: #007020 } /* Name.Exception */
 373 .syntax .nf { color: #06287e } /* Name.Function */
 374 .syntax .nl { color: #002070; font-weight: bold } /* Name.Label */
 375 .syntax .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
 376 .syntax .nt { color: #062873; font-weight: bold } /* Name.Tag */
 377 .syntax .nv { color: #bb60d5 } /* Name.Variable */
 378 .syntax .ow { color: #007020; font-weight: bold } /* Operator.Word */
 379 .syntax .w { color: #bbbbbb } /* Text.Whitespace */
 380 .syntax .mf { color: #40a070 } /* Literal.Number.Float */
 381 .syntax .mh { color: #40a070 } /* Literal.Number.Hex */
 382 .syntax .mi { color: #40a070 } /* Literal.Number.Integer */
 383 .syntax .mo { color: #40a070 } /* Literal.Number.Oct */
 384 .syntax .sb { color: #4070a0 } /* Literal.String.Backtick */
 385 .syntax .sc { color: #4070a0 } /* Literal.String.Char */
 386 .syntax .sd { color: #4070a0; font-style: italic } /* Literal.String.Doc */
 387 .syntax .s2 { color: #4070a0 } /* Literal.String.Double */
 388 .syntax .se { color: #4070a0; font-weight: bold } /* Literal.String.Escape */
 389 .syntax .sh { color: #4070a0 } /* Literal.String.Heredoc */
 390 .syntax .si { color: #70a0d0; font-style: italic } /* Literal.String.Interpol */
 391 .syntax .sx { color: #c65d09 } /* Literal.String.Other */
 392 .syntax .sr { color: #235388 } /* Literal.String.Regex */
 393 .syntax .s1 { color: #4070a0 } /* Literal.String.Single */
 394 .syntax .ss { color: #517918 } /* Literal.String.Symbol */
 395 .syntax .bp { color: #007020 } /* Name.Builtin.Pseudo */
 396 .syntax .vc { color: #bb60d5 } /* Name.Variable.Class */
 397 .syntax .vg { color: #bb60d5 } /* Name.Variable.Global */
 398 .syntax .vi { color: #bb60d5 } /* Name.Variable.Instance */
 399 .syntax .il { color: #40a070 } /* Literal.Number.Integer.Long */