aboutsummaryrefslogtreecommitdiff
path: root/doc/user/static
diff options
context:
space:
mode:
authorLudovic Courtès2018-04-29 23:24:36 +0200
committerLudovic Courtès2018-04-29 23:41:13 +0200
commitb87514f1863a3f6231d3ccb4e785d03a4b179b6d (patch)
tree37a08d8da1626e9032d0b88549f978f91f01e902 /doc/user/static
parentc51dc480fff9b99b2462000095cb56336b8c2410 (diff)
downloadskribilo-b87514f1863a3f6231d3ccb4e785d03a4b179b6d.tar.gz
skribilo-b87514f1863a3f6231d3ccb4e785d03a4b179b6d.tar.lz
skribilo-b87514f1863a3f6231d3ccb4e785d03a4b179b6d.zip
doc: Use the same CSS as the web site.
* web/static: Move to... * doc/user/static: ... this. * web/static: Turn into a symlink. * doc/user/skribilo.css: Remove. * doc/modules/skribilo/documentation/manual.scm: Use "static/manual.css" instead of "skribilo.css". * doc/user/Makefile.am (dist_html_DATA): Remove. (nobase_dist_html_DATA): New variable. * doc/user/static/manual.css: New file.
Diffstat (limited to 'doc/user/static')
-rw-r--r--doc/user/static/Hack-Regular.ttfbin0 -> 399724 bytes
-rw-r--r--doc/user/static/LinBiolinum_Rah.ttfbin0 -> 657744 bytes
-rw-r--r--doc/user/static/LinLibertine_Rah.ttfbin0 -> 806856 bytes
-rw-r--r--doc/user/static/gears-down.pngbin0 -> 7655 bytes
-rw-r--r--doc/user/static/gears-up.pngbin0 -> 7753 bytes
-rw-r--r--doc/user/static/graphy.pngbin0 -> 166 bytes
-rw-r--r--doc/user/static/main.css92
-rw-r--r--doc/user/static/manual.css108
-rwxr-xr-xdoc/user/static/normalize.css424
9 files changed, 624 insertions, 0 deletions
diff --git a/doc/user/static/Hack-Regular.ttf b/doc/user/static/Hack-Regular.ttf
new file mode 100644
index 0000000..a35ea2e
--- /dev/null
+++ b/doc/user/static/Hack-Regular.ttf
Binary files differ
diff --git a/doc/user/static/LinBiolinum_Rah.ttf b/doc/user/static/LinBiolinum_Rah.ttf
new file mode 100644
index 0000000..0e92fe4
--- /dev/null
+++ b/doc/user/static/LinBiolinum_Rah.ttf
Binary files differ
diff --git a/doc/user/static/LinLibertine_Rah.ttf b/doc/user/static/LinLibertine_Rah.ttf
new file mode 100644
index 0000000..e1dc224
--- /dev/null
+++ b/doc/user/static/LinLibertine_Rah.ttf
Binary files differ
diff --git a/doc/user/static/gears-down.png b/doc/user/static/gears-down.png
new file mode 100644
index 0000000..01ecb39
--- /dev/null
+++ b/doc/user/static/gears-down.png
Binary files differ
diff --git a/doc/user/static/gears-up.png b/doc/user/static/gears-up.png
new file mode 100644
index 0000000..a98936d
--- /dev/null
+++ b/doc/user/static/gears-up.png
Binary files differ
diff --git a/doc/user/static/graphy.png b/doc/user/static/graphy.png
new file mode 100644
index 0000000..e62346f
--- /dev/null
+++ b/doc/user/static/graphy.png
Binary files differ
diff --git a/doc/user/static/main.css b/doc/user/static/main.css
new file mode 100644
index 0000000..7f4fdbe
--- /dev/null
+++ b/doc/user/static/main.css
@@ -0,0 +1,92 @@
+@import url("base.css");
+
+@font-face {
+ font-family: "Linux Libertine";
+ src: url("LinLibertine_Rah.ttf");
+}
+
+@font-face {
+ font-family: "Linux Biolinum";
+ src: url("LinBiolinum_Rah.ttf");
+}
+
+@font-face {
+ font-family: Hack;
+ src: url("Hack-Regular.ttf");
+}
+
+body {
+ font-family: "Linux Libertine", serif;
+ font-size: 18px;
+ padding: 0px;
+ margin: 0px;
+}
+
+h1, h2, h3, h4, h5, h6 {
+ font-family: "Linux Biolinum", sans;
+}
+
+a:link, a:visited, a:active {
+ text-decoration: none;
+ color: #842;
+}
+
+a:hover {
+ text-decoration: underline;
+}
+
+code, pre, tt {
+ font-family: Hack, mono;
+ font-size: 0.8em;
+}
+
+div.navtabs-title {
+ background: url("gears-up.png"), url("graphy.png");
+ background-position: bottom;
+ background-repeat: repeat-x;
+ padding: 30px;
+ text-align: center;
+ font-size: 3em;
+ min-height: 70px;
+}
+
+div.navtabs-tabs {
+ background: white;
+ line-height: 1.5em;
+
+ margin: 0px;
+ padding: 0px;
+ list-style: none;
+ display: flex;
+ flex-wrap: wrap;
+ justify-content: center;
+ border-bottom: 1px solid black;
+ border-top: 1px solid black;
+}
+
+div.navtabs-tabs > a {
+ margin: 15px 15px;
+}
+
+div.skribilo-title {
+ font-size: 3em;
+ font-weight: bold;
+}
+
+div.skribilo-body {
+ padding: 15px 30px;
+ margin: auto;
+ max-width: 800px;
+ background: white;
+ line-height: 1.5em;
+ text-align: justify;
+}
+
+div.skribilo-ending {
+ background: url("gears-down.png"), url('graphy.png');
+ background-position: bottom;
+ background-repeat: repeat-x;
+ padding: 15px;
+ padding-top: 70px;
+ text-align: right;
+}
diff --git a/doc/user/static/manual.css b/doc/user/static/manual.css
new file mode 100644
index 0000000..afb3fc4
--- /dev/null
+++ b/doc/user/static/manual.css
@@ -0,0 +1,108 @@
+/* -*- coding: utf-8 -*-
+
+ CSS style sheet for the Skribilo manual.
+
+ Copyright 2007, 2008, 2012, 2018 Ludovic Courtès <ludo@gnu.org>
+
+ Copying and distribution of this file, with or without modification,
+ are permitted in any medium without royalty provided the copyright
+ notice and this notice are preserved. */
+
+@import url("main.css");
+
+pre { font-family: monospace; text-align: left; }
+
+.toc {
+ line-height: 1.8em;
+}
+
+.small-toc {
+ text-align: left;
+ font-size: normal;
+ font-weight: normal;
+ background: #f6f6fa;
+
+ position: relative;
+ padding: 10px;
+ width: 30%;
+ margin: 30px 0 0 0;
+
+ /* XXX: `float' doesn't play well with tables. */
+ /* float: right; */
+ /* margin: 0 0 30px 30px; */
+
+ border-width: 1px;
+ border-style: dotted;
+ border-color: #999;
+ border-radius: 5px;
+ -moz-border-radius: 2px;
+}
+
+.code-excerpt {
+ background: #eeeef0;
+ font-family: fixed-width, Courier;
+ text-align: left;
+ margin: 20px;
+ padding: 10px 25px 10px 25px;
+ border-width: 0px;
+ align: center;
+}
+
+.skribilo-manual-prgm { /* for 'prgm' */
+ font-family: fixed-width, Courier;
+ text-align: left;
+}
+
+.skribilo-manual-disp { /* for 'disp' */
+ border-left: 1px dotted black;
+ padding-left: 1em;
+ padding-right: 1em;
+ margin-top: 1em;
+ margin-bottom: 1em;
+ margin-left: 0em;
+ margin-right: 3em;
+ line-height: 1.5;
+}
+
+.skribilo-doc-markup, .skribilo-doc-engine {
+ border-top: 1px dotted #333;
+ background: #fef7f7;
+ border-radius: 0px 0px 10px 10px;
+ padding: 15px;
+}
+
+.skribilo-api-prototype {
+ margin-bottom: 10px;
+}
+
+.skribilo-api-option-name,
+.skribilo-api-argument-name,
+.skribilo-api-engine-custom-name {
+ font-family: monospace, Courier;
+ font-size: 0.9em;
+ display: inline-block;
+ min-width: 120px;
+ vertical-align: top;
+}
+.skribilo-api-engine-custom-name {
+ min-width: 150px;
+}
+.skribilo-api-option-description,
+.skribilo-api-engine-custom-description {
+ display: inline-block;
+ max-width: 80%;
+}
+.skribilo-api-option-engines,
+.skribilo-api-engine-custom-default {
+ border-left: 1px dotted #333;
+ border-right: 1px dotted #333;
+ padding-left: 5px;
+ padding-right: 5px;
+ font-size: 0.9em;
+}
+.skribilo-api-engine-custom-default {
+ color: #333;
+}
+.skribilo-api-see-also {
+ margin-top: 15px;
+}
diff --git a/doc/user/static/normalize.css b/doc/user/static/normalize.css
new file mode 100755
index 0000000..9bedce7
--- /dev/null
+++ b/doc/user/static/normalize.css
@@ -0,0 +1,424 @@
+/*! normalize.css v3.0.2 | MIT License | git.io/normalize */
+
+/**
+ * 1. Set default font family to sans-serif.
+ * 2. Prevent iOS text size adjust after orientation change, without disabling
+ * user zoom.
+ */
+
+html {
+ font-family: sans-serif; /* 1 */
+ -ms-text-size-adjust: 100%; /* 2 */
+ -webkit-text-size-adjust: 100%; /* 2 */
+}
+
+/**
+ * Remove default margin.
+ */
+
+body {
+ margin: 0;
+}
+
+/* HTML5 display definitions
+ ========================================================================== */
+
+/**
+ * Correct `block` display not defined for any HTML5 element in IE 8/9.
+ * Correct `block` display not defined for `details` or `summary` in IE 10/11
+ * and Firefox.
+ * Correct `block` display not defined for `main` in IE 11.
+ */
+
+article,
+aside,
+details,
+figcaption,
+figure,
+footer,
+header,
+hgroup,
+main,
+menu,
+nav,
+section,
+summary {
+ display: block;
+}
+
+/**
+ * 1. Correct `inline-block` display not defined in IE 8/9.
+ * 2. Normalize vertical alignment of `progress` in Chrome, Firefox, and Opera.
+ */
+
+audio,
+canvas,
+progress,
+video {
+ display: inline-block; /* 1 */
+ vertical-align: baseline; /* 2 */
+}
+
+/**
+ * Prevent modern browsers from displaying `audio` without controls.
+ * Remove excess height in iOS 5 devices.
+ */
+
+audio:not([controls]) {
+ display: none;
+ height: 0;
+}
+
+/**
+ * Address `[hidden]` styling not present in IE 8/9/10.
+ * Hide the `template` element in IE 8/9/11, Safari, and Firefox < 22.
+ */
+
+[hidden],
+template {
+ display: none;
+}
+
+/* Links
+ ========================================================================== */
+
+/**
+ * Remove the gray background color from active links in IE 10.
+ */
+
+a {
+ background-color: transparent;
+}
+
+/**
+ * Improve readability when focused and also mouse hovered in all browsers.
+ */
+
+a:active,
+a:hover {
+ outline: 0;
+}
+
+/* Text-level semantics
+ ========================================================================== */
+
+/**
+ * Address styling not present in IE 8/9/10/11, Safari, and Chrome.
+ */
+
+abbr[title] {
+ border-bottom: 1px dotted;
+}
+
+/**
+ * Address style set to `bolder` in Firefox 4+, Safari, and Chrome.
+ */
+
+b,
+strong {
+ font-weight: bold;
+}
+
+/**
+ * Address styling not present in Safari and Chrome.
+ */
+
+dfn {
+ font-style: italic;
+}
+
+/**
+ * Address variable `h1` font-size and margin within `section` and `article`
+ * contexts in Firefox 4+, Safari, and Chrome.
+ */
+
+h1 {
+ font-size: 2em;
+ margin: 0.67em 0;
+}
+
+/**
+ * Address styling not present in IE 8/9.
+ */
+
+mark {
+ background: #ff0;
+ color: #000;
+}
+
+/**
+ * Address inconsistent and variable font size in all browsers.
+ */
+
+small {
+ font-size: 80%;
+}
+
+/**
+ * Prevent `sub` and `sup` affecting `line-height` in all browsers.
+ */
+
+sub,
+sup {
+ font-size: 75%;
+ line-height: 0;
+ position: relative;
+ vertical-align: baseline;
+}
+
+sup {
+ top: -0.5em;
+}
+
+sub {
+ bottom: -0.25em;
+}
+
+/* Embedded content
+ ========================================================================== */
+
+/**
+ * Remove border when inside `a` element in IE 8/9/10.
+ */
+
+img {
+ border: 0;
+}
+
+/**
+ * Correct overflow not hidden in IE 9/10/11.
+ */
+
+svg:not(:root) {
+ overflow: hidden;
+}
+
+/* Grouping content
+ ========================================================================== */
+
+/**
+ * Address margin not present in IE 8/9 and Safari.
+ */
+
+figure {
+ margin: 1em 40px;
+}
+
+/**
+ * Address differences between Firefox and other browsers.
+ */
+
+hr {
+ box-sizing: content-box;
+ height: 0;
+}
+
+/**
+ * Contain overflow in all browsers.
+ */
+
+pre {
+ overflow: auto;
+}
+
+/**
+ * Address odd `em`-unit font size rendering in all browsers.
+ */
+
+code,
+kbd,
+pre,
+samp {
+ font-family: monospace, monospace;
+ font-size: 1em;
+}
+
+/* Forms
+ ========================================================================== */
+
+/**
+ * Known limitation: by default, Chrome and Safari on OS X allow very limited
+ * styling of `select`, unless a `border` property is set.
+ */
+
+/**
+ * 1. Correct color not being inherited.
+ * Known issue: affects color of disabled elements.
+ * 2. Correct font properties not being inherited.
+ * 3. Address margins set differently in Firefox 4+, Safari, and Chrome.
+ */
+
+button,
+input,
+optgroup,
+select,
+textarea {
+ color: inherit; /* 1 */
+ font: inherit; /* 2 */
+ margin: 0; /* 3 */
+}
+
+/**
+ * Address `overflow` set to `hidden` in IE 8/9/10/11.
+ */
+
+button {
+ overflow: visible;
+}
+
+/**
+ * Address inconsistent `text-transform` inheritance for `button` and `select`.
+ * All other form control elements do not inherit `text-transform` values.
+ * Correct `button` style inheritance in Firefox, IE 8/9/10/11, and Opera.
+ * Correct `select` style inheritance in Firefox.
+ */
+
+button,
+select {
+ text-transform: none;
+}
+
+/**
+ * 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio`
+ * and `video` controls.
+ * 2. Correct inability to style clickable `input` types in iOS.
+ * 3. Improve usability and consistency of cursor style between image-type
+ * `input` and others.
+ */
+
+button,
+html input[type="button"], /* 1 */
+input[type="reset"],
+input[type="submit"] {
+ -webkit-appearance: button; /* 2 */
+ cursor: pointer; /* 3 */
+}
+
+/**
+ * Re-set default cursor for disabled elements.
+ */
+
+button[disabled],
+html input[disabled] {
+ cursor: default;
+}
+
+/**
+ * Remove inner padding and border in Firefox 4+.
+ */
+
+button::-moz-focus-inner,
+input::-moz-focus-inner {
+ border: 0;
+ padding: 0;
+}
+
+/**
+ * Address Firefox 4+ setting `line-height` on `input` using `!important` in
+ * the UA stylesheet.
+ */
+
+input {
+ line-height: normal;
+}
+
+/**
+ * It's recommended that you don't attempt to style these elements.
+ * Firefox's implementation doesn't respect box-sizing, padding, or width.
+ *
+ * 1. Address box sizing set to `content-box` in IE 8/9/10.
+ * 2. Remove excess padding in IE 8/9/10.
+ */
+
+input[type="checkbox"],
+input[type="radio"] {
+ box-sizing: border-box; /* 1 */
+ padding: 0; /* 2 */
+}
+
+/**
+ * Fix the cursor style for Chrome's increment/decrement buttons. For certain
+ * `font-size` values of the `input`, it causes the cursor style of the
+ * decrement button to change from `default` to `text`.
+ */
+
+input[type="number"]::-webkit-inner-spin-button,
+input[type="number"]::-webkit-outer-spin-button {
+ height: auto;
+}
+
+/**
+ * 1. Address `appearance` set to `searchfield` in Safari and Chrome.
+ * 2. Address `box-sizing` set to `border-box` in Safari and Chrome
+ * (include `-moz` to future-proof).
+ */
+
+input[type="search"] {
+ -webkit-appearance: textfield; /* 1 */ /* 2 */
+ box-sizing: content-box;
+}
+
+/**
+ * Remove inner padding and search cancel button in Safari and Chrome on OS X.
+ * Safari (but not Chrome) clips the cancel button when the search input has
+ * padding (and `textfield` appearance).
+ */
+
+input[type="search"]::-webkit-search-cancel-button,
+input[type="search"]::-webkit-search-decoration {
+ -webkit-appearance: none;
+}
+
+/**
+ * Define consistent border, margin, and padding.
+ */
+
+fieldset {
+ border: 1px solid #c0c0c0;
+ margin: 0 2px;
+ padding: 0.35em 0.625em 0.75em;
+}
+
+/**
+ * 1. Correct `color` not being inherited in IE 8/9/10/11.
+ * 2. Remove padding so people aren't caught out if they zero out fieldsets.
+ */
+
+legend {
+ border: 0; /* 1 */
+ padding: 0; /* 2 */
+}
+
+/**
+ * Remove default vertical scrollbar in IE 8/9/10/11.
+ */
+
+textarea {
+ overflow: auto;
+}
+
+/**
+ * Don't inherit the `font-weight` (applied by a rule above).
+ * NOTE: the default cannot safely be changed in Chrome and Safari on OS X.
+ */
+
+optgroup {
+ font-weight: bold;
+}
+
+/* Tables
+ ========================================================================== */
+
+/**
+ * Remove most spacing between table cells.
+ */
+
+table {
+ border-collapse: collapse;
+ border-spacing: 0;
+}
+
+td,
+th {
+ padding: 0;
+} \ No newline at end of file