From b87514f1863a3f6231d3ccb4e785d03a4b179b6d Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Sun, 29 Apr 2018 23:24:36 +0200 Subject: 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. --- doc/modules/skribilo/documentation/manual.scm | 2 +- doc/user/Makefile.am | 14 +- doc/user/skribilo.css | 304 ------------------ doc/user/static/Hack-Regular.ttf | Bin 0 -> 399724 bytes doc/user/static/LinBiolinum_Rah.ttf | Bin 0 -> 657744 bytes doc/user/static/LinLibertine_Rah.ttf | Bin 0 -> 806856 bytes doc/user/static/gears-down.png | Bin 0 -> 7655 bytes doc/user/static/gears-up.png | Bin 0 -> 7753 bytes doc/user/static/graphy.png | Bin 0 -> 166 bytes doc/user/static/main.css | 92 ++++++ doc/user/static/manual.css | 108 +++++++ doc/user/static/normalize.css | 424 ++++++++++++++++++++++++++ web/static | 1 + web/static/Hack-Regular.ttf | Bin 399724 -> 0 bytes web/static/LinBiolinum_Rah.ttf | Bin 657744 -> 0 bytes web/static/LinLibertine_Rah.ttf | Bin 806856 -> 0 bytes web/static/gears-down.png | Bin 7655 -> 0 bytes web/static/gears-up.png | Bin 7753 -> 0 bytes web/static/graphy.png | Bin 166 -> 0 bytes web/static/main.css | 92 ------ web/static/normalize.css | 424 -------------------------- 21 files changed, 638 insertions(+), 823 deletions(-) delete mode 100644 doc/user/skribilo.css create mode 100644 doc/user/static/Hack-Regular.ttf create mode 100644 doc/user/static/LinBiolinum_Rah.ttf create mode 100644 doc/user/static/LinLibertine_Rah.ttf create mode 100644 doc/user/static/gears-down.png create mode 100644 doc/user/static/gears-up.png create mode 100644 doc/user/static/graphy.png create mode 100644 doc/user/static/main.css create mode 100644 doc/user/static/manual.css create mode 100755 doc/user/static/normalize.css create mode 120000 web/static delete mode 100644 web/static/Hack-Regular.ttf delete mode 100644 web/static/LinBiolinum_Rah.ttf delete mode 100644 web/static/LinLibertine_Rah.ttf delete mode 100644 web/static/gears-down.png delete mode 100644 web/static/gears-up.png delete mode 100644 web/static/graphy.png delete mode 100644 web/static/main.css delete mode 100755 web/static/normalize.css diff --git a/doc/modules/skribilo/documentation/manual.scm b/doc/modules/skribilo/documentation/manual.scm index 93222d5..de298f7 100644 --- a/doc/modules/skribilo/documentation/manual.scm +++ b/doc/modules/skribilo/documentation/manual.scm @@ -133,7 +133,7 @@ (engine-custom-set! he 'subsection-file #f) (engine-custom-set! he 'subsubsection-file #f) - (engine-custom-set! he 'css "skribilo.css") + (engine-custom-set! he 'css "static/manual.css") ;; Emit a SUI file. (engine-custom-set! he 'emit-sui #t)) diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index c813c42..612ac35 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -32,8 +32,18 @@ skrinfodir = $(infodir) skrinfo_DATA = skribilo.info html_DATA = user.html user.sui -dist_html_DATA = skribilo.css \ - lobster-1.4.otf junction.ttf +nobase_dist_html_DATA = \ + lobster-1.4.otf junction.ttf \ + static/gears-down.png \ + static/gears-up.png \ + static/graphy.png \ + static/Hack-Regular.ttf \ + static/LinBiolinum_Rah.ttf \ + static/LinLibertine_Rah.ttf \ + static/main.css \ + static/manual.css \ + static/normalize.css + if HAVE_LOUT BUILT_SOURCES = lout/front-page.lout diff --git a/doc/user/skribilo.css b/doc/user/skribilo.css deleted file mode 100644 index b74e8a3..0000000 --- a/doc/user/skribilo.css +++ /dev/null @@ -1,304 +0,0 @@ -/* -*- coding: utf-8 -*- - - CSS style sheet for the Skribilo manual. - - Copyright 2007, 2008, 2012, 2018 Ludovic Courtès - - 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. */ - -/* FIXME: This file is messy and contains loads of useless stuff. */ - -/* http://www.impallari.com/lobster/ */ -@font-face { - font-family: 'Lobster'; - font-style: normal; - font-weight: normal; - src: local('Lobster'), url('lobster-1.4.otf') format('opentype'); -} - -/* http://www.theleagueofmoveabletype.com/junction */ -@font-face { - font-family: 'Junction'; - src: local('Junction'), url('junction.ttf') format('truetype'); - font-weight: normal; - font-style: normal; -} - -pre { font-family: monospace; text-align: left; } -tt { font-family: monospace } -code { font-family: monospace } -body { margin: 1em 1.5em 1.5em 1.5em; background: #ffffff; } -p { text-align: justify; } -p.flushright { text-align: right } -p.flushleft { text-align: left } -span.sc { font-variant: small-caps } -span.sf { font-family: sans-serif } - - -body.document { - font-family: Lobster, sans-serif; - font-weight: bolder; -} - -body.chapter { /* chapter title when `:file #t' */ - font-family: sans-serif; - font-weight: bolder; -} -body.section { /* section title when `:file #t' */ - font-family: sans-serif; - font-weight: bolder; -} - - -div.skribilo-title { - font-size: large; - text-align: right; - background: #ee7777; /* #dddde0; */ - border-top-color: black; - border-top-style: none; - margin: 10px; - padding: 10px; - border-radius: 10px; -} - -table.author { - font-family: Junction, sans-serif; - font-style: normal; - font-weight: normal; - text-align: right; -} - -.skribilo-body { - font-family: Junction, sans-serif; - font-weight: normal; - font-size: normal; - text-align: left; - line-height: 1.6; - background: #ffffff; - padding: 0 5% 0 5%; -} - -table.toc { - border-spacing: 8px; -} - -.small-toc { - text-align: left; - font-size: normal; - font-weight: normal; - background: #eeeef0; - - 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; -} - -.skribilo-ending { - /* The Skribilo advertising message. */ - font-family: sans-serif; - font-weight: normal; - font-size: small; - text-align: right; - color: #999; - border-top-style: dashed; - border-top-width: 1px; - border-top-color: #aaa; - margin: 20px 0 0 0; -} - -.section-title { - background: #eeeef0; - font-family: sans-serif; - font-weight: bold; - font-size: larger; - text-align: right; -} - -.subsection-title { font-family: Junction, sans-serif; } - -.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; -} -/* Links. */ - -a { text-decoration: none; border: 0 0 0 0; border-style: none; } -a:link { color: #333344; } -a:hover { background: #ee7777; color: #333344; } -a:visited { color: #443333; } - - -/* Navigation tabs (currently unused) */ - -div.navtabs-title { - padding: 0 0 0 0; - margin: 0 0 0 0; - border: 0 0 0 0; - text-align: left; - background: #8381de; -} -div.navtabs-tabs { - clear: left; - margin: 0 0 0 0; - border: 0 0 0 0; - text-align: left; - padding: 0 0 0 20%; - background: #8381de; -} -div.navtabs-bar { - margin: 0 0 0 0; - border: 0 0 0 0; - text-align: left; - border-top-color: black; - border-top-style: solid; - border-top-width: 1px; - padding: 0 0 0 20%; - background: #dedeff; -} -div.navtabs-tabs { - color: black; - border-width: 1px; - border-color: black; - border-style: dotted; - padding: 2px 10px 0px 10px; - margin: 0 1px 0 0; - text-decoration: none; - background: #dedeff; -} -div.navtabs-tabs { - background: white; - color: black; - border-width: 1px; - border-color: black; - border-style: dotted; - padding: 2px 10px 0px 10px; - margin: 0 1px 0 0; - text-decoration: none; -} -div.navtabs-tabs { - background: #8381de; -} - - -/* Margins */ - -table.left-margin-menu { - border-radius: 10pt; - -moz-border-radius: 10pt; - background: #eee; - margin: 10px; -} - - -td.skribilo-left-margin { - border-width: 0; - padding: 0 10px 0 10px; - height: 100%; - background: #ffffff; - font-family: sans-serif, Helvetica, Arial; - font-size: small; -} - -div.skribilo-left-margin { - position: fixed; - /* width: 10%; */ -} - -table.skribilo-margins { - border-width: 1px 0 0 0; - border-style: solid; - border-color: black; - margin: 0px; - height: 100%; -} - -div.skribilo-right-margin { - border-width: 0 0 0 1px; - border-left-style: solid; - border-left-color: black; - margin: 0; - height: 100%; -} -table.skribilo-margins td.skribilo-right-margin { - border-bottom-width: 1px; - border-bottom-style: solid; - border-bottom-color: black; -} - diff --git a/doc/user/static/Hack-Regular.ttf b/doc/user/static/Hack-Regular.ttf new file mode 100644 index 0000000..a35ea2e Binary files /dev/null and b/doc/user/static/Hack-Regular.ttf differ diff --git a/doc/user/static/LinBiolinum_Rah.ttf b/doc/user/static/LinBiolinum_Rah.ttf new file mode 100644 index 0000000..0e92fe4 Binary files /dev/null and b/doc/user/static/LinBiolinum_Rah.ttf differ diff --git a/doc/user/static/LinLibertine_Rah.ttf b/doc/user/static/LinLibertine_Rah.ttf new file mode 100644 index 0000000..e1dc224 Binary files /dev/null and b/doc/user/static/LinLibertine_Rah.ttf differ diff --git a/doc/user/static/gears-down.png b/doc/user/static/gears-down.png new file mode 100644 index 0000000..01ecb39 Binary files /dev/null and b/doc/user/static/gears-down.png differ diff --git a/doc/user/static/gears-up.png b/doc/user/static/gears-up.png new file mode 100644 index 0000000..a98936d Binary files /dev/null and b/doc/user/static/gears-up.png differ diff --git a/doc/user/static/graphy.png b/doc/user/static/graphy.png new file mode 100644 index 0000000..e62346f Binary files /dev/null and b/doc/user/static/graphy.png 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 + + 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 diff --git a/web/static b/web/static new file mode 120000 index 0000000..e5f3c9b --- /dev/null +++ b/web/static @@ -0,0 +1 @@ +../doc/user/static \ No newline at end of file diff --git a/web/static/Hack-Regular.ttf b/web/static/Hack-Regular.ttf deleted file mode 100644 index a35ea2e..0000000 Binary files a/web/static/Hack-Regular.ttf and /dev/null differ diff --git a/web/static/LinBiolinum_Rah.ttf b/web/static/LinBiolinum_Rah.ttf deleted file mode 100644 index 0e92fe4..0000000 Binary files a/web/static/LinBiolinum_Rah.ttf and /dev/null differ diff --git a/web/static/LinLibertine_Rah.ttf b/web/static/LinLibertine_Rah.ttf deleted file mode 100644 index e1dc224..0000000 Binary files a/web/static/LinLibertine_Rah.ttf and /dev/null differ diff --git a/web/static/gears-down.png b/web/static/gears-down.png deleted file mode 100644 index 01ecb39..0000000 Binary files a/web/static/gears-down.png and /dev/null differ diff --git a/web/static/gears-up.png b/web/static/gears-up.png deleted file mode 100644 index a98936d..0000000 Binary files a/web/static/gears-up.png and /dev/null differ diff --git a/web/static/graphy.png b/web/static/graphy.png deleted file mode 100644 index e62346f..0000000 Binary files a/web/static/graphy.png and /dev/null differ diff --git a/web/static/main.css b/web/static/main.css deleted file mode 100644 index 7f4fdbe..0000000 --- a/web/static/main.css +++ /dev/null @@ -1,92 +0,0 @@ -@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/web/static/normalize.css b/web/static/normalize.css deleted file mode 100755 index 9bedce7..0000000 --- a/web/static/normalize.css +++ /dev/null @@ -1,424 +0,0 @@ -/*! 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 -- cgit v1.2.3