Rev 130 Rev 139
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