1 files changed, 134 insertions, 0 deletions
diff --git a/docs/css/control.css b/docs/css/control.css
new file mode 100644
index 0000000..6a731ab
--- /dev/null
+++ b/docs/css/control.css
@@ -0,0 +1,134 @@
+@font-face {
+    font-family: 'Open Sans';
+    src: url('/fonts/opensans.woff2') format('woff2');
+    font-display: block;
+}
+@font-face {
+    font-family: 'Source Code Pro';
+    src: url('/fonts/source-code-pro.woff2') format('woff2');
+    font-display: block;
+}
+body,h1,h2,h3,h4,h5,h6,p,ul {
+    margin: 0;
+}
+a {
+    color: unset;
+    text-decoration: unset;
+}
+body {
+    font-family: 'Open Sans', sans-serif;
+    background-color: #3cb371;
+}
+#banner, #navigation {
+    background-color: #3cb371;
+}
+#banner {
+    height: 64px;
+    display: flex;
+    flex-direction: row;
+    align-items: center;
+    padding: 16px 48px;
+}
+#logo-img {
+    height: 64px;
+}
+#banner-buttons {
+    flex-grow: 1;
+    text-align: right;
+}
+#banner .button {
+    font-weight: bold;
+    margin-left: 4px;
+    padding: 10px 24px;
+    background-color: #f8f8f8;
+    border-radius: 8px;
+    box-shadow: 0px 0px 4px #00000080;
+}
+#banner .button:hover {
+    background-color: #f0f0f0;
+}
+#banner .button:active {
+    background-color: #f8f8f8;
+    box-shadow: none;
+}
+#page {
+    display: flex;
+    flex-direction: row;
+}
+#navigation {
+    min-width: 192px;
+    min-height: calc(100vh - 97px);
+    padding: 0px 32px;
+    font-family: 'Source Code Pro';
+    font-size: 11pt;
+}
+.nav-heading {
+    font-family: 'Open Sans';
+    font-size: 11.5pt;
+    font-weight: 700;
+}
+.nav-section {
+    list-style: none;
+    padding: 0;
+    margin-bottom: 4px;
+}
+#content {
+    flex-grow: 1;
+    padding: 24px 32px;
+    background-color: #f8f8f8;
+    border-top-left-radius: 4px;
+    box-shadow: inset 0px 0px 4px #00000080;
+    font-size: 11.5pt;
+}
+#content section {
+    margin: 16px 0px;
+}
+#content a {
+    color: #2d8238;
+    text-decoration: none;
+}
+#content a:hover {
+    color: #33b63f;
+}
+#content p, #content pre {
+    margin: 0px 0px 8px;
+}
+#content pre, #content code {
+    font-family: 'Source Code Pro', 'Courier New', Courier, monospace;
+    font-size: 10pt;
+    background-color: #e8e8e8;
+}
+#content code {
+    padding: 0px 2px;
+}
+#content pre {
+    padding: 4px 6px;
+}
+@media screen and (max-width: 750px) {
+    #banner {
+        padding: 16px 0;
+        justify-content: center;
+    }
+    #banner-buttons {
+        display: none;
+        flex-grow: 0;
+    }
+    #banner-logo {
+        text-align: center;
+    }
+    #navigation {
+        display: none;
+        min-width: 0;
+        min-height: 0;
+    }
+    #content {
+        padding: 12px 16px;
+        border-radius: unset;
+        font-size: 1.5rem;
+    }
+    #content pre, #content code {
+        font-size: 1.25rem;
+        white-space: unset;
+        text-wrap: wrap;
+    }
+}
+\ No newline at end of file