MIT/GNU Scheme Pucked Documentation

From d9006557cb12c7b6d7b816af988dbb3d4822ba95 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Sat, 25 Mar 2017 11:41:32 -0700 Subject: [PATCH] doc/style.css: New. Use it in the core manuals. --- doc/Makefile.in | 2 +- doc/index.html | 10 +- doc/make-common.in | 5 +- doc/style.css | 245 +++++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 255 insertions(+), 7 deletions(-) create mode 100644 doc/style.css diff --git a/doc/Makefile.in b/doc/Makefile.in index 6079ba457..48c2d126e 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -129,7 +129,7 @@ install-man: install-html: $(mkinstalldirs) $(DESTDIR)$(htmldir) - $(INSTALL_DATA) index.html $(DESTDIR)$(htmldir)/. + $(INSTALL_DATA) index.html style.css $(DESTDIR)$(htmldir)/. @for D in $(SUBDIRS); do \ echo "making $@ in $${D}";\ ( cd $${D} && $(MAKE) $@ ) || exit 1;\ diff --git a/doc/index.html b/doc/index.html index c472f8047..d5bafd7d1 100644 --- a/doc/index.html +++ b/doc/index.html @@ -2,6 +2,7 @@ + MIT/GNU Scheme Pucked Documentation @@ -13,10 +14,11 @@

The following MIT/GNU Scheme Pucked manuals are available. New - users may want to begin - with Running - Scheme in the user manual. Experienced users may want to check - out the Changes. + users may want to begin with the user + manual, and impatient users with + chapter Running Scheme. + Experienced users may want to check out + the Changes.

Core Manuals

diff --git a/doc/make-common.in b/doc/make-common.in index 3e4114448..a7dd97d3c 100644 --- a/doc/make-common.in +++ b/doc/make-common.in @@ -83,7 +83,7 @@ $(INFO_TARGET): $(SOURCES) $(HTML_TARGET)/index.html: $(SOURCES) rm -rf $(HTML_TARGET) - makeinfo --html $(TEXINFO_ROOT).texinfo + makeinfo --html --css-ref=style.css $(TEXINFO_ROOT).texinfo $(PDF_TARGET): $(SOURCES) texi2dvi --pdf $(TEX_OPTIONS) --output=$@ $(TEXINFO_ROOT).texinfo @@ -125,7 +125,8 @@ install-info-gz: install-info install-html: $(HTML_TARGET)/index.html -rm -rf $(DESTDIR)$(htmldir)/$(HTML_TARGET) $(mkinstalldirs) $(DESTDIR)$(htmldir)/$(HTML_TARGET) - $(INSTALL_DATA) $(HTML_TARGET)/* $(DESTDIR)$(htmldir)/$(HTML_TARGET)/. + $(INSTALL_DATA) ../style.css $(HTML_TARGET)/* \ + $(DESTDIR)$(htmldir)/$(HTML_TARGET)/. install-pdf: $(PDF_TARGET) $(INSTALL_DATA) $(PDF_TARGET) $(DESTDIR)$(pdfdir)/. diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 000000000..d7be3326a --- /dev/null +++ b/doc/style.css @@ -0,0 +1,245 @@ + + + +/**** www.gnu.org/reset.css ****/ +/* +Copyright (c) 2009, Yahoo! Inc. All rights reserved. +Code licensed under the BSD License: +http://developer.yahoo.net/yui/license.txt +version: 2.8.0r4 +*/ +html{color:#000;background:#FFF;} +body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,code,form,fieldset,legend,input,button,textarea,p,blockquote,th,td{margin:0;padding:0;} +table{border-collapse:collapse;border-spacing:0;} +fieldset,img{border:0;} +address,caption,cite,code,dfn,em,strong,th,var,optgroup{font-style:inherit;font-weight:inherit;} +del,ins{text-decoration:none;} +li{list-style:none;} +caption,th{text-align:left;} +h1,h2,h3,h4,h5,h6{font-size:100%;font-weight:normal;} +q:before,q:after{content:'';} +abbr,acronym{border:0;font-variant:normal;} +sup{vertical-align:baseline;} +sub{vertical-align:baseline;} +legend{color:#000;} +input,button,textarea,select,optgroup,option{font-family:inherit;font-size:inherit;font-style:inherit;font-weight:inherit;} +input,button,textarea,select{*font-size:100%;} + + + +/**** www.gnu.org/style.css ****/ +/* This stylesheet is used by manuals and a few older resources. */ + +/**** @import url('/reset.css'); ****/ + + +/*** PAGE LAYOUT ***/ + +html, body { + font-size: 1em; + text-align: left; + text-decoration: none; +} +html { background-color: #e7e7e7; } + +body { + max-width: 74.92em; + margin: 0 auto; + padding: .5em 1em 1em 1em; + background-color: white; + border: .1em solid #c0c0c0; +} + + +/*** BASIC ELEMENTS ***/ + +/* Size and positioning */ + +p, pre, li, dt, dd, table, code, address { line-height: 1.3em; } + +h1 { font-size: 2em; margin: 1em 0 } +h2 { font-size: 1.50em; margin: 1.0em 0 0.87em 0; } +h3 { font-size: 1.30em; margin: 1.0em 0 0.87em 0; } +h4 { font-size: 1.13em; margin: 1.0em 0 0.88em 0; } +h5 { font-size: 1.00em; margin: 1.0em 0 1.00em 0; } + +p, pre { margin: 1em 0; } +pre { overflow: auto; padding-bottom: .3em; } + +ul, ol, blockquote { margin-left: 1.5%; margin-right: 1.5%; } +hr { margin: 1em 0; } +/* Lists of underlined links are difficult to read. The top margin + gives a little more spacing between entries. */ +ul li { margin: .5em 1em; } +ol li { margin: 1em; } +ol ul li { margin: .5em 1em; } +ul li p, ul ul li { margin-top: .3em; margin-bottom: .3em; } +ul ul, ol ul { margin-top: 0; margin-bottom: 0; } + +/* Separate description lists from preceding text */ +dl { margin: 1em 0 0 0; } +/* separate the "term" from subsequent "description" */ +dt { margin: .5em 0; } +/* separate the "description" from subsequent list item + when the final

child is an anonymous box */ +dd { margin: .5em 3% 1em 3%; } +/* separate anonymous box (used to be the first element in

) + from subsequent

*/ +dd p { margin: .5em 0; } + +table { + display: block; overflow: auto; + margin-top: 1.5em; margin-bottom: 1.5em; +} +th { padding: .3em .5em; text-align: center; } +td { padding: .2em .5em; } + +address { margin-bottom: 1em; } +caption { margin-bottom: .5em; text-align: center; } +sup { vertical-align: super; } +sub { vertical-align: sub; } + +/* Style */ + +h1, h2, h3, h4, h5, h6, strong, dt, th { font-weight: bold; } + +/* The default color (black) is too dark for large text in + bold font. */ +h1, h2, h3, h4 { color: #333; } +h5, h6, dt { color: #222; } + +a[href] { color: #005090; } +a[href]:visited { color: #100070; } +a[href]:active, a[href]:hover { + color: #100070; + text-decoration: none; +} + +h1 a[href]:visited, h2 a[href]:visited, h3 a[href]:visited, + h4 a[href]:visited { color: #005090; } +h1 a[href]:hover, h2 a[href]:hover, h3 a[href]:hover, + h4 a[href]:hover { color: #100070; } + +ol { list-style: decimal outside;} +ul { list-style: square outside; } +ul ul, ol ul { list-style: circle; } +li { list-style: inherit; } + +hr { background-color: #ede6d5; } +table { border: 0; } + +abbr,acronym { + border-bottom:1px dotted #000; + text-decoration: none; + cursor:help; +} +del { text-decoration: line-through; } +em { font-style: italic; } +small { font-size: .9em; } + +img { max-width: 100%} + + +/*** SIMPLE CLASSES ***/ + +.center, .c { text-align: center; } +.nocenter{ text-align: left; } + +.underline { text-decoration: underline; } +.nounderline { text-decoration: none; } + +.no-bullet { list-style: none; } +.inline-list li { display: inline } + +.netscape4, .no-display { display: none; } + + +/*** MANUAL PAGES ***/ + +/* This makes the very long tables of contents in Gnulib and other + manuals easier to read. */ +.contents ul, .shortcontents ul { font-weight: bold; } +.contents ul ul, .shortcontents ul ul { font-weight: normal; } +.contents ul { list-style: none; } + +/* For colored navigation bars (Emacs manual): make the bar extend + across the whole width of the page and give it a decent height. */ +.header, .node { margin: 0 -1em; padding: 0 1em; } +.header p, .node p { line-height: 2em; } + +/* For navigation links */ +.node a, .header a { display: inline-block; line-height: 2em; } +.node a:hover, .header a:hover { background: #f2efe4; } + +/* Inserts */ +table.cartouche td { padding: 1.5em; } + +div.display, div.lisp, div.smalldisplay, + div.smallexample, div.smalllisp { margin-left: 3%; } + +div.example { padding: .8em 1.2em .4em; } +pre.example { padding: .8em 1.2em; } +div.example, pre.example { + margin: 1em 0 1em 3% ; + -webkit-border-radius: .3em; + -moz-border-radius: .3em; + border-radius: .3em; + border: 1px solid #d4cbb6; + background-color: #f2efe4; +} +div.example > pre.example { + padding: 0 0 .4em; + margin: 0; + border: none; +} + +pre.menu-comment { padding-top: 1.3em; margin: 0; } + + +/*** FOR WIDE SCREENS ***/ + +@media (min-width: 40em) { + body { padding: .5em 3em 1em 3em; } + div.header, div.node { margin: 0 -3em; padding: 0 3em; } +} + + + +/**** www.gnu.org/software/gnulib/manual.css ****/ +/* Style-sheet to use for manuals (copied from Emacs) */ + +/**** @import url('/style.css'); ****/ + +/* makeinfo convert @deffn and similar functions to something inside +

. style.css uses italic for blockquote. This looks poor + in the Emacs manuals, which make extensive use of @defun (etc). + In particular, references to function arguments appear as + inside . Since is also italic, it makes it + impossible to distinguish variables. We could change to + e.g. bold-italic, or normal, or a different color, but that does + not look as good IMO. So we just override blockquote to be non-italic. + */ +blockquote { font-style: normal; } + +var { font-style: italic; } + +/* ----- coreutils specific styling ----- */ + +/* layout.css indents "body p" when it should probably only indent "body > p"? + In any case, disable indenting of p in these sub elements. */ +dd p,li p { + margin-left: 0; + margin-right: 0; +} + +/* underlined links are distracting, especially within outlined tables. */ +a { /*add :link for external links*/ + text-decoration: none; /* don't underline links by default */ + outline-style: none; /* don't put dotted box around clicked links */ +} +a:hover { + text-decoration: underline; +} + +/* The shadow around the body is distracting. */ +body { box-shadow: 0 0 0 0; } -- 2.25.1