1 files changed, 93 insertions, 0 deletions
diff --git a/docs/src/assets/style.scss b/docs/src/assets/style.scss
new file mode 100644
index 00000000..26c22071
--- /dev/null
+++ b/docs/src/assets/style.scss
@@ -0,0 +1,93 @@
+@import "./syntax";
+@import "./badge";
+
+$primary: #C93312;
+$warning-invert: #FFFFFF;
+$family-sans-serif: BlinkMacSystemFont, -apple-system, "Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", "Helvetica", "Arial", sans-serif, 'Font Awesome 5 Free', 'Font Awesome 5 Brands' !default;
+
+/*!*
+bulma.io v0.8.0 | MIT License | github.com/jgthms/bulma */
+@import "./bulma/utilities/_all";
+@import "./bulma/base/_all";
+@import "./bulma/grid/_all";
+@import "./bulma/elements/_all";
+@import "./bulma/components/_all";
+@import "./bulma/layout/_all";
+
+html, body {
+    height: 100%;
+}
+
+body > div {
+    min-height: 100%;
+}
+
+#sidebar {
+    background-color: #eee;
+    border-right: 1px solid #c1c1c1;
+    box-shadow: 0 0 20px rgba(50, 50, 50, .2) inset;
+    padding: $column-gap + 1rem;
+
+    .brand {
+        padding: 1rem 0;
+        text-align: center;
+    }
+}
+
+#main {
+    padding: 3rem;
+}
+
+.example {
+    .highlight {
+        margin: 0;
+    }
+    .path {
+        font-style: italic;
+        width: 100%;
+        text-align: right;
+    }
+    margin-bottom: 1em;
+}
+
+code {
+    color: #1a9f1a;
+    font-size: 0.875em;
+    font-weight: normal;
+}
+
+.content {
+    h2 {
+        padding-top: 1em;
+        border-top: 1px solid #c0c0c0;
+    }
+}
+
+h1, h2, h3, h4, h5, h6 {
+    .anchor {
+        display: inline-block;
+        width: 0;
+        margin-left: -1.5rem;
+        margin-right: 1.5rem;
+        transition: all 100ms ease-in-out;
+        opacity: 0;
+    }
+    &:hover .anchor {
+        opacity: 1;
+    }
+    &:target {
+        color: $primary;
+        .anchor {
+            opacity: 1;
+            color: $primary
+        }
+    }
+}
+
+.footnotes p {
+    display: inline;
+}
+
+figure.has-border img {
+    box-shadow: 0 0 20px 0 rgba(0, 0, 0, 0.25);
+}