summaryrefslogtreecommitdiff
path: root/static
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2021-02-20 09:17:18 +0100
committerRicardo Wurmus <rekado@elephly.net>2021-02-20 09:17:58 +0100
commit948e869e83ff02553f4f9598bfcdeb7793c7e336 (patch)
treea35b8167a6538534d13d32b89b614db15a418c5e /static
parentdbb0670cbadcf592860ef4ec9a98f76dcfa41221 (diff)
Add styles for manual.
Diffstat (limited to 'static')
-rwxr-xr-xstatic/css/FiraMono-Regular.ttfbin0 -> 174632 bytes
-rw-r--r--static/css/manuals.css234
2 files changed, 234 insertions, 0 deletions
diff --git a/static/css/FiraMono-Regular.ttf b/static/css/FiraMono-Regular.ttf
new file mode 100755
index 0000000..59e1e1a
--- /dev/null
+++ b/static/css/FiraMono-Regular.ttf
Binary files differ
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%;
+}