diff options
| -rw-r--r-- | doc/modules/skribilo/documentation/manual.scm | 12 | ||||
| -rw-r--r-- | doc/user/Makefile.am | 1 | ||||
| -rw-r--r-- | doc/user/skribilo.css | 185 |
3 files changed, 196 insertions, 2 deletions
diff --git a/doc/modules/skribilo/documentation/manual.scm b/doc/modules/skribilo/documentation/manual.scm index beb6cc6..01d2bda 100644 --- a/doc/modules/skribilo/documentation/manual.scm +++ b/doc/modules/skribilo/documentation/manual.scm @@ -1,6 +1,6 @@ ;;; manual.scm -- Skribilo manuals and documentation style. ;;; -;;; Copyright 2007 Ludovic Courtès <ludo@gnu.org> +;;; Copyright 2007, 2008 Ludovic Courtès <ludo@gnu.org> ;;; Copyright 2003, 2004 Manuel Serrano ;;; ;;; @@ -125,7 +125,15 @@ :action (lambda (n e) (output n e bd)) :after "</font>") (engine-custom-set! he 'web-book-main-browsing-extra html-browsing-extra) - (engine-custom-set! he 'favicon "lambda.gif")) + (engine-custom-set! he 'favicon "lambda.gif") + + ;; One chapter per file, starting with a partial table of contents. + (engine-custom-set! he 'chapter-file #t) + (engine-custom-set! he 'section-file #f) + (engine-custom-set! he 'subsection-file #f) + (engine-custom-set! he 'subsubsection-file #f) + + (engine-custom-set! he 'css "skribilo.css")) ;*---------------------------------------------------------------------*/ ;* LaTeX */ diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index d71c5a4..4f0e16f 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -25,6 +25,7 @@ EXTRA_DIST += src/api1.skb \ BUILT_SOURCES = doc-config.scm html_DATA = user.html +dist_html_DATA = skribilo.css CLEANFILES = $(BUILT_SOURCES) $(html_DATA) skribilo = $(top_builddir)/src/pre-inst-skribilo 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; +} + |