--- /dev/null
+body {
+ font-family: sans-serif;
+}
+
+h1.main {
+ text-align: center;
+}
+
+td {
+ padding: 4px;
+}
+
+table.main {
+ background: #444;
+ margin-left: 2em;
+}
+
+div.additional h3 {
+ cursor: pointer;
+}
+
+div.additional pre {
+ margin-left: 2em;
+}
+
+table.main tr.head {
+ background: #fee;
+ width: 100%;
+}
+
+table.main tr {
+ background: #fff;
+}
+
+table.main tr.source_container {
+ display: none;
+}
+
+tr.source td {
+ padding: 0;
+}
+
+tr.source_container div {
+ width: 100%;
+ overflow: auto;
+}
+
+tr.source_container div table {
+ background: #ddd;
+ width: 100%;
+}
+
+tr.source_container div table tr {
+ text-align:center;
+}
+
+tr.source_container div table tr.source {
+ text-align:left;
+}
+
+div.source {
+ background: #fff;
+ padding: 6px;
+}
+
+div.source td.editor {
+ font-size: 0.8em;
+}
+
+tr.source {
+ font-size: 1.0em;
+}
+
+tr.source td.lineno {
+ font-size: 0.9em;
+ font-family: monospace;
+}
+
+tr.source td.lineno, tr.line td.lineno {
+ text-align: right;
+}
+
+tr.line td {
+ cursor: pointer;
+}
+
+tr.source td.code pre {
+ margin: 0;
+ font-family: monospace;
+}