New theme

css/default.css

@@ -0,0 +1,107 @@
+body {
+    max-width: 45em;
+    min-width: 20em;
+    margin: auto;
+    padding: 1em;
+    font-family: 'Crimson Text', serif;
+    font-size: 18px;
+    line-height: 1.4em;
+}
+
+h1, h2, h3, h4, h5, h6 {
+    line-height: 1.1em;
+    font-family: Lato, Helvetica, Arial, sans-serif;
+}
+
+p {
+    margin-bottom: 1.2em;
+    -webkit-hyphens: auto;
+    -moz-hyphens: auto;
+    -ms-hyphens: auto;
+    hyphens: auto;
+    color: #333;
+}
+
+pre {
+    padding: 1em;
+    overflow-x: auto;
+}
+
+code, pre {
+    background-color: #ddd;
+}
+
+body>header h1 {
+    font-size: 2.2em;
+}
+
+body>header h2 {
+    font-size: 1.1em;
+    font-weight: normal;
+}
+
+body>header a, body>header a:hover {
+    color: black;
+    text-decoration: none;
+}
+
+menu {
+    padding: 0;
+    margin: 0;
+}
+
+nav {
+    text-align: center;
+    border-top: 1px solid black;
+    border-bottom: 1px solid black;
+    padding-top: 10px;
+    padding-bottom: 10px;
+}
+
+nav a {
+    color: #000;
+    text-decoration: none;
+    padding: 0 2em;
+}
+
+nav a:hover {
+    color: #808080;
+    text-decoration: none;
+}
+
+article header p {
+    margin: 0.2em;
+    margin-left: 2em;
+}
+
+article header {
+    margin-bottom: 2em;
+}
+
+article h1 {
+    font-size: 2em;
+    margin-bottom: 0.2em;
+}
+
+article h2 {
+    font-size: 1.5em;
+}
+
+body>footer {
+    text-align: center;
+    border-top: 1px solid black;
+    margin-top: 10px;
+}
+
+.figure .caption {
+    font-style: italic;
+}
+
+ins {
+    text-decoration: none;
+}
+
+ins::before {
+    font-weight: bold;
+    content: ">> ";
+}

css/syntax.css

@@ -0,0 +1,18 @@
+/* Generated by pandoc. */
+table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
+   { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
+td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
+td.sourceCode { padding-left: 5px; }
+pre.sourceCode span.kw { color: #007020; font-weight: bold; }
+pre.sourceCode span.dt { color: #902000; }
+pre.sourceCode span.dv { color: #40a070; }
+pre.sourceCode span.bn { color: #40a070; }
+pre.sourceCode span.fl { color: #40a070; }
+pre.sourceCode span.ch { color: #4070a0; }
+pre.sourceCode span.st { color: #4070a0; }
+pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
+pre.sourceCode span.ot { color: #007020; }
+pre.sourceCode span.al { color: red; font-weight: bold; }
+pre.sourceCode span.fu { color: #06287e; }
+pre.sourceCode span.re { }
+pre.sourceCode span.er { color: red; font-weight: bold; }