+++ /dev/null
-
-body {
- margin: 0;
- padding: 0;
-}
-
-a:link {
- color: #000080;
-}
-a:visited {
- color: #600080;
-}
-
-h1 {
- background: #c0c0d0;
- padding: 0.1em 0.4em;
- margin: 0;
-}
-
-div#content {
- margin: 1em;
-}
-
-pre {
- margin: 0;
-}
-
-.address {
- font-family: monospace;
- color: #a0a0a0;
-}
-
-.path {
- font-family: monospace;
-}
-
-table {
- border-collapse: collapse;
-}
-
-table td {
- padding: 0.1em 0.5em;
-}
-
-
-table.meta th {
- text-align: left;
-}
-
-table.meta {
- margin-bottom: 1em;
-}
-
-table.instructions {
-}
-
-table.instructions td {
- vertical-align: bottom;
-}
-
-pre {
- margin-top: 0;
-}
-
-pre.source {
- margin-top: 0.4em;
- display: none;
-}
-
-td.source-expander {
- background: #f0f0f0;
- vertical-align: middle;
- text-align: center;
- padding: 0;
- font-family: monospace;
- cursor: pointer;
-}
-
-div#footer {
- color: #d0d0d0;
- font-size: small;
- text-align: center;
-}
-div#footer a {
- color: inherit;
- text-decoration: underline;
-}