diff options
author | Ludovic Courtès | 2008-01-22 17:09:45 +0100 |
---|---|---|
committer | Ludovic Courtès | 2008-01-22 17:09:45 +0100 |
commit | afc4870d9d13c217cfbbff2c68fa658fb3ef274e (patch) | |
tree | ac6a41d95dd0210cc979f2e0139f860bbdf6dac4 /doc/user/skribilo.css | |
parent | 5607c3d7c973fe2a63d346e891baf80b80b675ab (diff) | |
download | skribilo-afc4870d9d13c217cfbbff2c68fa658fb3ef274e.tar.gz skribilo-afc4870d9d13c217cfbbff2c68fa658fb3ef274e.tar.lz skribilo-afc4870d9d13c217cfbbff2c68fa658fb3ef274e.zip |
doc: Use CSS style sheet in HTML output.
* doc/modules/skribilo/documentation/manual.scm: Set `css' custom of the
HTML engine. Explicitly initialize the `chapter-file', etc., customs.
* doc/user/Makefile.am (dist_html_DATA): New.
* doc/user/skribilo.css: New file.
Diffstat (limited to 'doc/user/skribilo.css')
-rw-r--r-- | doc/user/skribilo.css | 185 |
1 files changed, 185 insertions, 0 deletions
diff --git a/doc/user/skribilo.css b/doc/user/skribilo.css new file mode 100644 index 0000000..8669663 --- /dev/null +++ b/doc/user/skribilo.css @@ -0,0 +1,185 @@ +/* -*- coding: utf-8; mode: C; -*- + + CSS style sheet for the Skribilo manual. + + Copyright 2007, 2008 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. */ + +/* FIXME: This file is messy and contains loads of useless stuff. */ + +pre { font-family: monospace } +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 } + + +.skribilo-title { + font-family: sans-serif; + font-weight: bolder; + font-size: large; + text-align: right; + background: #ee7777; /* #dddde0; */ + border-top-color: black; + border-top-style: solid; + border-top-width: 1px; +} + +.skribilo-body, .chapter { + /* Note: `.chapter' is used for chapters that are in a + separate file. */ + + font-family: sans-serif; + font-weight: normal; + font-size: normal; + text-align: left; + background: #ffffff; + padding: 0 5% 0 5% +} + +.small-toc { + text-align: left; + font-size: normal; + font-weight: bold; + background: #eeeef0; + border-radius: 2px; + -moz-border-radius: 2px; +} + +.skribilo-ending { + /* The Skribilo advertising message. */ + font-family: sans-serif; + font-weight: normal; + font-size: small; +} + +.section-title { + background: #eeeef0; + font-family: sans-serif; + text-align: right; +} + +.subsection-title { font-family: 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; +} + +/* 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; +} + |