Initial commit

1 files changed, 157 insertions, 0 deletions

diff --git a/site/stylesheet.css b/site/stylesheet.css
new file mode 100644
index 0000000..b23ad2d
--- /dev/null
+++ b/site/stylesheet.css
@@ -0,0 +1,157 @@
+* {
+    padding: 0;
+    margin: 0;
+    border: 0;
+}
+
+a {
+    color: orange;
+    text-decoration: none;
+}
+
+a:hover {
+    text-decoration: underline;
+}
+
+body {
+    background-color: #262a2b;
+    color: #ffffff;
+    font-family: "DejaVu Sans", sans-serif;
+    padding-left: 10px;
+}
+
+code {
+    padding: 1px 3px;
+    border-radius: 5px;
+    margin: 0 2px;
+}
+
+code, pre {
+    font-family: "DejaVu Sans Mono", mono;
+    background-color: #181818;
+    color: #eeeeec;
+}
+
+h1 {
+    border-bottom: 2px solid #839496;
+}
+
+h1, h2, h3, h4, h5, h6 {
+    margin: 20px 0;
+}
+
+h1.title {
+    border-bottom: none;
+}
+
+h2 {
+    border-bottom: 2px dotted #839496;
+}
+
+h3 {
+    border-bottom: 2px dashed #839496;
+}
+
+h4 {
+    border-bottom: 1px solid #839496;
+}
+
+h5 {
+    border-bottom: 1px dotted #839496;
+}
+
+h6 {
+    border-bottom: 1px dashed #839496;
+}
+
+ul {
+    margin: 20px;
+}
+
+ul ul {
+    margin: 5px 20px;
+}
+
+p {
+    margin: 20px 0;
+}
+
+pre {
+    margin: 20px 0 20px 40px;
+    border-radius: 10px;
+    padding: 5px;
+}
+
+#content {
+    width: 750px;
+    margin: 0 auto;
+}
+
+.dlmenu {
+    text-align: center;
+}
+
+.title {
+    text-align: center;
+}
+
+#postamble {
+    margin-top: 40px;
+}
+
+#org-div-home-and-up a {
+    text-decoration: none;
+    margin: 10px;
+}
+
+/* Org font-locking */
+.src {
+    background-color: #002b36;
+    color: #839496;
+}
+
+.org-keyword {
+    color: #859900;
+}
+
+.org-string {
+    color: #2aa198;
+}
+
+.org-function-name {
+    color: #268bd2;
+}
+
+.org-doc {
+    color: #586e75;
+    font-style: italic;
+}
+
+.org-constant {
+    color: #2aa198;
+    font-style: normal;
+}
+
+.org-type {
+    color: #b58900;
+}
+
+.org-regexp-grouping-backslash {
+    color: #b58900;
+}
+
+.org-regexp-grouping-construct {
+    color: #cb4b16;
+}
+
+.org-builtin {
+    color: #859900;
+}
+
+.org-negation-char {
+    color: #dc322f;
+}
+
+.org-variable-name {
+    color: #268bd2;
+}