From 948e869e83ff02553f4f9598bfcdeb7793c7e336 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Sat, 20 Feb 2021 09:17:18 +0100
Subject: Add styles for manual.

---
 static/css/manuals.css | 234 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 234 insertions(+)
 create mode 100644 static/css/manuals.css

(limited to 'static/css/manuals.css')

diff --git a/static/css/manuals.css b/static/css/manuals.css
new file mode 100644
index 0000000..3126dc0
--- /dev/null
+++ b/static/css/manuals.css
@@ -0,0 +1,234 @@
+@font-face {
+    font-family: 'Vollkorn Regular';
+    src: url('Vollkorn-Regular.woff2') format('woff2');
+    font-weight: normal;
+    font-style: normal;
+}
+@font-face {
+    font-family: 'Vollkorn Bold';
+    src: url('Vollkorn-Bold.woff2') format('woff2');
+    font-weight: bold;
+    font-style: normal;
+}
+@font-face {
+    font-family: 'FiraMono';
+    src: url('FiraMono-Regular.ttf') format('truetype');
+    font-weight: normal;
+    font-style: bold;
+}
+
+html, body {
+    font-family: "Vollkorn Regular", serif;
+    width: 100%;
+    height: 100%;
+    padding: 0px;
+    margin: 0px;
+    color: #333;
+    background: #fcfbf3;
+}
+
+@media all {html {font-size: 24px;}}
+@media all and (max-width:1000px){html {font-size: 24px;}}
+@media all and (max-width:960px){html {font-size: 23px;}}
+@media all and (max-width:920px){html {font-size: 22px;}}
+@media all and (max-width:880px){html {font-size: 21px;}}
+@media all and (max-width:840px){html {font-size: 20px;}}
+@media all and (max-width:800px){html {font-size: 19px;}}
+@media all and (max-width:760px){html {font-size: 18px;}}
+
+/* Arrange to have between 40 and 70 characters per line.  */
+.width-control {
+    max-width: 45em;
+    width: 65%;
+}
+
+@media all and (max-width: 760px) { .width-control { width: 90%; } };
+@media all and (max-width: 1024px) { .width-control { width: 90%; } };
+@media all and (min-width: 1024px) { .width-control { max-width: 800px; } };
+
+#wrapper {
+    width: 100%;
+    margin: auto;
+    padding: 0px;
+    margin: 0px auto auto auto;
+}
+
+#header { background: #333; }
+#header-inner {
+    margin: auto;
+    padding: 0;
+}
+
+a {
+    color: #000000;
+    text-decoration: none;
+    border-style: none none dashed none;
+    border-width: thin;
+    border-color: #ffbf2d;
+}
+a:hover { color: #555555; }
+
+h1 {
+    font-family: "Vollkorn Bold", serif;
+    font-weight: bold;
+    text-align: center;
+    margin: 1.5em 3em 1em;
+}
+
+#content {
+    margin: auto;
+    padding: 0;
+    padding-top: 1rem;
+    line-height: 1.5;
+    text-align: justify;
+    text-justify: inter-word;
+}
+
+#content p {
+    padding: 0px;
+    margin-block-start: 1em;
+    margin-block-end: 1em;
+    margin-inline-start: 0;
+    margin-inline-end: 0;
+}
+#content h2 {
+    margin: 0px;
+    padding-top: 5px;
+    width: 100%;
+    counter-increment: heading3;
+}
+
+#content h2:before {
+    color: #93a1a1;
+    content: counter(heading3);
+    position: absolute;
+    margin-left: -2em;
+    display: block;
+    text-align: right;
+    padding-left: .5em;
+}
+
+@media all and (max-width: 760px) { #content h2:before { display: none; } };
+
+#content ul { padding: 0px 0px 0px 10px; margin: 0px 0px 0px 10px; }
+#content li { line-height: 1.5em; }
+
+pre {
+    background-color: #eee8d5; /* like line numbers */
+    text-align: left;
+    font-family: 'FiraMono', monospace;
+    font-style: normal;
+    padding: 0px;
+    counter-reset: line;
+    margin-right: 3em; /* compensate for line numbers */
+}
+
+code, pre.example {
+    font-family: 'FiraMono', monospace;
+    font-style: normal;
+    font-size: 0.9em;
+    -webkit-border-radius: 8px;
+    -moz-border-radius: 8px;
+    border-radius: 8px;
+    background-color: #fdf6e3;
+}
+
+var {
+    font-family: 'FiraMono', monospace;
+    font-style: normal;
+    font-size: 0.9em;
+}
+
+pre code {
+    left: 3em;
+    padding-top: 1em;
+    padding-bottom: 1em;
+    padding-left: .5em;
+    position: relative;
+    display: block;
+    -webkit-border-radius: 0px;
+    -moz-border-radius: 0px;
+    border-radius: 0px;
+}
+
+p code, dt code {
+    padding: 0.3em;
+}
+
+.syntax-open { color: #657b83; }
+.syntax-close { color: #657b83; }
+.syntax-string { color: #dc322f; }
+.syntax-symbol { color: #657b83; }
+.syntax-special { color: #002b36; font-weight: bold; }
+.syntax-gwl-field { color: #859900; font-weight: bold; }
+.syntax-comment { color: #93a1a1; }
+.syntax-placeholder { color: #268bd2; }
+.syntax-function { color: #586e75; font-style: italic; }
+
+img { border: 0; outline: 0; }
+
+
+select {
+    margin-bottom: 1rem;
+}
+
+/*****************************/
+/* Manual styles             */
+/*****************************/
+hr {
+    border: 0;
+    height: 1px;
+    background-image: linear-gradient(to right, rgba(0, 0, 0, 0), rgba(0, 0, 0, 0.75), rgba(0, 0, 0, 0));
+}
+
+#content h2.chapter {
+    margin-top: 3em;
+}
+
+pre.menu-comment, pre.display {
+    background: none;
+}
+
+/* do not count the ToC */
+#content h2.contents-heading {
+    counter-set: heading3;
+}
+#content h2.contents-heading:before {
+    content: "";
+}
+
+div.example {
+    background: none;
+    margin: 0;
+}
+pre.example {
+    padding: 1em;
+}
+
+.symbol-definition {
+    font-weight: normal;
+    background: #eee;
+    margin: 0;
+    padding: .5em;
+    -webkit-border-radius: 8px 8px 0 0;
+    -moz-border-radius: 8px 8px 0 0;
+    border-radius: 8px 8px 0 0;
+}
+
+.symbol-definition-category { 	/* first argument to @deffn etc. */
+    color: #333;
+    margin-right: 10px;
+    padding: 5px;
+}
+
+.symbol-definition-prototype { /* remaining arguments to @deffn etc. */
+    font-family: 'FiraMono', monospace;
+    font-style: normal;
+    font-size: 0.9em;
+}
+
+.symbol-definition + dd {
+    background: #fafafa;
+    margin: 0;
+    padding: .5em 3% 1em 3%;
+}
-- 
cgit v1.2.3