--- /dev/null
+
+/* General Fonts */
+html, body, div, p {
+ font-family: DejaVu Sans, Verdana, Arial, sans-serif;
+ font-size: 12pt;
+ color: $text-color;
+}
+/* Links */
+a {
+ text-decoration: none;
+ color: $link-color;
+}
+a:hover, a:focus {
+ text-decoration: underline;
+}
+/* Header Size & Spacing */
+h1, h2, h3, h4 {
+ color: $text-color;
+
+ a {
+ color: $text-color;
+ }
+}
+h1 {
+ margin-top: 0.1em;
+ font-size: 200%;
+ margin-bottom: 0.2em;
+}
+h2 {
+ margin-top: 0.5em;
+ font-size: 150%;
+ margin-bottom: 0.2em;
+}
+h3 {
+ margin-top: 0.5em;
+ font-size: 135%;
+ margin-bottom: 0.1em;
+}
+h4 {
+ margin-top: 0.5em;
+ font-size: 120%;
+ margin-bottom: 0.0em;
+}
+
+/* Content styling */
+.side {
+ float: right;
+}
+
+.side, .comment {
+ color: $light-text-color;
+
+ a {
+ color: $light-link-color;
+ }
+}
+
+
+.pretitle, .subtitle {
+ h1 {
+ display: inline-block;
+ font-size: 165%;
+ }
+ .side {
+ margin-left: 0.5em;
+ margin-top: 0.8em;
+ }
+}
+.pretitle {
+ margin-bottom: 1em;
+}
+.subtitle {
+ margin-top: 2em;
+}
+.title {
+ clear: both;
+ margin-bottom: 1em;
+}
+
+figure {
+ margin: 0;
+}
+pre, code {
+ background-color: $code-background-color;
+ font-family: monospace;
+ font-size: 82%;
+}
+code {
+ padding: 0.1em 0.2em;
+}
+pre {
+ padding: 0.6em;
+}
+pre code {
+ padding: 0;
+ font-size: 100%;
+}
+
+p {
+ margin: 0.5em 0;
+ line-height: 1.3;
+}
+
+.comment {
+ margin-top: 1.5em;
+}