| Line 1... |
Line 1... |
| 1 |
body, td, dd {font: 10pt Verdana, Arial, Helvetica, sans-serif; color: black;} |
1 |
body, td, dd {font: 10pt Verdana, Arial, Helvetica, sans-serif; color: black;} |
| 2 |
body {margin: 8px; background: #333;} |
2 |
body {margin: 8px; background: #333;} |
| 3 |
h1 {margin: 0;} |
3 |
h1 {margin: 0;} |
| 4 |
h1 a:hover {background-color: transparent;} |
4 |
h1 a:hover {background-color: transparent;} |
| 5 |
h2 {font-size: 1.75em;} |
5 |
h2 {font-size: 1.75em;} |
| 6 |
h3 {font-size: 1.1em;} |
6 |
h3 {font-size: 1.1em;} |
| 7 |
p.footnote {font-family: "Times New Roman", Times, serif; font-style: italic;} |
7 |
p.footnote {font-family: "Times New Roman", Times, serif; font-style: italic;} |
| 8 |
a:active {color: #ff0000;} |
8 |
a:active {color: #ff0000;} |
| 9 |
a:link {color: #0a6cce;} |
9 |
a:link {color: #0a6cce;} |
| 10 |
a:visited {color: #0a6cce;} |
10 |
a:visited {color: #0a6cce;} |
| 11 |
code, *.code {font-family: monospace; font-size: 100%; font-style: normal; white-space: nowrap; |
11 |
code, *.code {font-family: monospace; font-size: 100%; font-style: normal; white-space: nowrap; |
| 12 |
padding: 0 1px; background: #f2f3f8; border: #d6d9e9 1px solid;} |
12 |
padding: 0 1px; background: #f2f3f8; border: #d6d9e9 1px solid;} |
| 13 |
code.box {display: block; padding: 10px; margin: 0.5em 0;} |
13 |
code.box {display: block; padding: 10px; margin: 0.5em 0;} |
| 14 |
ul {list-style-type: square;} |
14 |
ul {list-style-type: square;} |
| 15 |
dd {margin: .2em 0 .5em 1em;} |
15 |
dd {margin: .2em 0 .5em 1em;} |
| 16 |
dl.library dt {display: list-item; margin-left: 3em; list-style-type: square;} |
16 |
dl.library dt {display: list-item; margin-left: 3em; list-style-type: square;} |
| 17 |
dl.library dd {font-style: italic; margin-left: 3em;} |
17 |
dl.library dd {font-style: italic; margin-left: 3em;} |
| 18 |
dt {font-weight: bold;} |
18 |
dt {font-weight: bold;} |
| 19 |
dt.pack {color: brown;} |
19 |
dt.pack {color: brown;} |
| 20 |
a img {border-style: none;} |
20 |
a img {border-style: none;} |
| 21 |
hr {height: 1px; color: #000; border-style: solid;} |
21 |
hr {height: 1px; color: #000; border-style: solid;} |
| 22 |
hr.short {height: 2px; width: 100px;} |
22 |
hr.short {height: 2px; width: 100px;} |
| 23 |
div.document {background: #eef; padding: 20px 20px 5px 20px; width: 600px; border: 1px solid black;} |
23 |
div.document {background: #eef; padding: 20px 20px 5px 20px; width: 600px; border: 1px solid black;} |
| 24 |
hr {border-bottom-width: 0px;} |
24 |
hr {border-bottom-width: 0px;} |
| 25 |
div.header hr {color: #0a6cce; background-color: #0a6cce;} |
25 |
div.header hr {color: #0a6cce; background-color: #0a6cce;} |
| 26 |
div.footer hr {color: #898e79; background-color: #898e79; } |
26 |
div.footer hr {color: #898e79; background-color: #898e79; } |
| 27 |
div.header, div.header a:link, div.header a:visited, h3 a:link, h3 a:visited {text-decoration: none;} |
27 |
div.header, div.header a:link, div.header a:visited, h3 a:link, h3 a:visited {text-decoration: none;} |
| 28 |
a:hover {color: #fff; background-color: #0a6cce; text-decoration: none;} |
28 |
a:hover {color: #fff; background-color: #0a6cce; text-decoration: none;} |
| 29 |
div.footer a:hover {background-color: transparent; text-decoration: none;} |
29 |
div.footer a:hover {background-color: transparent; text-decoration: none;} |
| 30 |
div.header .menu {text-align: right;} |
30 |
div.header .menu {text-align: right;} |
| 31 |
div.content {min-height: 100px;} |
31 |
div.content {min-height: 100px;} |
| 32 |
div.footer {font-size: x-small; margin-top: 8px;} |
32 |
div.footer {font-size: x-small; margin-top: 8px;} |
| 33 |
div.footnote {font-family: "times new roman", times; font-style: italic; margin-top: 10px;} |
33 |
div.footnote {font-family: "times new roman", times; font-style: italic; margin-top: 10px;} |
| 34 |
#license {margin-top: 5px; font-size: xx-small;} |
34 |
#license {margin-top: 5px; font-size: xx-small;} |
| 35 |
table {border-top: 1px solid #000; border-left: 1px solid #000;} |
35 |
table {border-top: 1px solid #000; border-left: 1px solid #000;} |
| 36 |
th {background-color: #fff; text-align: left;} |
36 |
th {background-color: #fff; text-align: left;} |
| 37 |
th, td {border-right: 1px solid #000; border-bottom: 1px solid #000;} |
37 |
th, td {border-right: 1px solid #000; border-bottom: 1px solid #000;} |
| 38 |
th.small {width: 100px;} |
38 |
th.small {width: 100px;} |
| 39 |
th.medium {width: 200px;} |
39 |
th.medium {width: 200px;} |
| 40 |
th.large {width: 270px;} |
40 |
th.large {width: 270px;} |
| 41 |
th.x-large {width: 408px;} |
41 |
th.x-large {width: 408px;} |
| 42 |
table.fixed {table-layout: fixed;} |
42 |
table.fixed {table-layout: fixed;} |
| 43 |
span.comment {color: #666;} |
43 |
span.comment {color: #666;} |
| 44 |
|
44 |
|