--- /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;
+}