+++ /dev/null
-body {
- font-family: sans-serif;
- font-size: 0.85em;
- color: #101010;
-}
-
-h1, h2, h3, h4, h5, h6 {
- margin-top: 0;
- font-weight: bold;
-}
-
-h1 {
- font-size: 1.5em;
-}
-
-h2 {
- font-size: 1.4em;
-}
-
-h3 {
- font-size: 1.2em;
-}
-
-h4 {
- font-size: 1.1em;
-}
-
-h5 {
- font-size: 1.0em;
-}
-
-dfn {
- font-weight: normal;
- font-size: 0.9em;
-}
-
-table {
- border-collapse: collapse;
-}
-
-tr, td, th {
- border: 1px solid #e0e0ff;
- padding: 3px;
-}
-
-th {
- background-color: #f0f0ff;
- text-align: left;
-}
-
-
-hr {
- border: none;
- background-color: #cccccc;
- height: 1px;
-}
-
-ul, li {
- margin-top: 0;
-}
-
-div.clear {
- clear: both;
-}
-
-div.variable-declaration {
- padding-left: 2em;
-}
-
-div.variable-description {
- margin-bottom: 1em;
-}
-
-h3.section-variables {
- margin-top: 2em;
-}
-
-h4.variable-title {
- margin-bottom: 0;
-}
-
-div#menu {
- float: left;
- background-color: #f0f0ff;
- margin: 0;
- padding: 0;
- border: 1px solid #e0e0ff;
- width: 11.5em;
-}
-
-#menu ul {
- list-style-type: none;
- margin-bottom: 0.5em;
- padding-left: 1em;
-}
-#menu ul li {
- margin-left: 0;
-
-}
-
-div.menu-title {
- background-color: #e0e0ff;
- color: #000000;
- font-weight: bold;
- padding: 2px;
-}
-
-div#content {
- margin-top: 0;
- padding-top: 0;
- margin-left: 12.5em;
-}
-
-div#copy {
- margin-top: 2.5em;
- font-size: 0.7em;
- text-align: center;
- font-size: bold;
-}
-
-a:link {
- font-weight: bold;
- color: #004080;
- text-decoration: none;
-}
-
-a:visited {
- font-weight:bold;
- color: #006699;
- text-decoration: none;
-}
-
-a:hover {
- text-decoration:underline;
-}