+++ /dev/null
-h1 {
- border-bottom: 1px dashed black;
- margin-top: 0;
- overflow: auto;
-}
-h1, h2, h3, h4, h5, h6 {
- font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
- font-weight: bold;
- color: #529;
-}
-kbd, dt {
- font-weight: bold;
-}
-html {
- font-size: 87.5%;
-}
-body {
- font-family: Tahoma, Sans, sans-serif;
-}
-pre, code, samp, kbd, tt {
- font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
- font-size: 100%;
-}
-#logo {
- float: right;
- margin: -1em -1em 0 0;
-}
-#logo img {
- border: none;
-}
-p, li {
- line-height: 1.5em;
-}
-.long li, .long dd {
- margin-bottom: .5em;
-}
-pre {
- background: #f6f6f6;
- border: 1px solid #ddd;
- padding: .125em;
- line-height: 1.25em;
-}
-.note {
- border: 1px solid #eea;
- background: #ffd;
- padding: .25em;
-}
-a:link, a:visited {
- text-decoration: none;
-}
-a:link:hover, a:visited:hover {
- text-decoration: underline;
-}
-var {
- color: #090;
-}
-.index h1 tt {
- font-size: 83%;
-}
-.index table {
- border-collapse: collapse;
-}
-.index table td {
- padding: 0 0.5em;
-}
-.index table td a {
- font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
-}
-
-#loadingnotice {
- padding: 2px;
- display: none;
- color: #FFFFFF;
- background: #CC2200;
- position: fixed;
- right: 10px;
- top: 5px;
-}
-
-.error {
- color: #FF0000;
- padding: 0.25em;
-}
-
-td.error {
- border: 1px solid red;
-}
\ No newline at end of file