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. --- 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 ---------------------------------------- 9 files changed, 1 insertion(+), 516 deletions(-) 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 (limited to 'web') 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