aboutsummaryrefslogtreecommitdiff
path: root/web
diff options
context:
space:
mode:
Diffstat (limited to 'web')
l---------web/static1
-rw-r--r--web/static/Hack-Regular.ttfbin399724 -> 0 bytes
-rw-r--r--web/static/LinBiolinum_Rah.ttfbin657744 -> 0 bytes
-rw-r--r--web/static/LinLibertine_Rah.ttfbin806856 -> 0 bytes
-rw-r--r--web/static/gears-down.pngbin7655 -> 0 bytes
-rw-r--r--web/static/gears-up.pngbin7753 -> 0 bytes
-rw-r--r--web/static/graphy.pngbin166 -> 0 bytes
-rw-r--r--web/static/main.css92
-rwxr-xr-xweb/static/normalize.css424
9 files changed, 1 insertions, 516 deletions
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
--- a/web/static/Hack-Regular.ttf
+++ /dev/null
Binary files differ
diff --git a/web/static/LinBiolinum_Rah.ttf b/web/static/LinBiolinum_Rah.ttf
deleted file mode 100644
index 0e92fe4..0000000
--- a/web/static/LinBiolinum_Rah.ttf
+++ /dev/null
Binary files differ
diff --git a/web/static/LinLibertine_Rah.ttf b/web/static/LinLibertine_Rah.ttf
deleted file mode 100644
index e1dc224..0000000
--- a/web/static/LinLibertine_Rah.ttf
+++ /dev/null
Binary files differ
diff --git a/web/static/gears-down.png b/web/static/gears-down.png
deleted file mode 100644
index 01ecb39..0000000
--- a/web/static/gears-down.png
+++ /dev/null
Binary files differ
diff --git a/web/static/gears-up.png b/web/static/gears-up.png
deleted file mode 100644
index a98936d..0000000
--- a/web/static/gears-up.png
+++ /dev/null
Binary files differ
diff --git a/web/static/graphy.png b/web/static/graphy.png
deleted file mode 100644
index e62346f..0000000
--- a/web/static/graphy.png
+++ /dev/null
Binary files 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