doc/style.css: New. Use it in the core manuals.
authorMatt Birkholz <matt@birchwood-abbey.net>
Sat, 25 Mar 2017 18:41:32 +0000 (11:41 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Sat, 25 Mar 2017 18:41:32 +0000 (11:41 -0700)
doc/Makefile.in
doc/index.html
doc/make-common.in
doc/style.css [new file with mode: 0644]

index 6079ba457e8be7dcbdd8616b3776e99b0c755344..48c2d126e85b0676777e9214cc131d5a5e410840 100644 (file)
@@ -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;\
index c472f80474e0ff5ea1a3ecf3441fadcd17642916..d5bafd7d121031ab50a5264f7de30aeaec159dbe 100644 (file)
@@ -2,6 +2,7 @@
 <html>
 
 <head>
+  <link rel="stylesheet" href="style.css" type="text/css" charset="utf-8" media="all">
   <title>MIT/GNU Scheme Pucked Documentation</title>
 </head>
 <body>
 
 <p>
   The following MIT/GNU Scheme Pucked manuals are available.  New
-  users may want to begin
-  with <a href="mit-scheme-pucked-user/Running-Scheme.html"> Running
-  Scheme</a> in the user manual.  Experienced users may want to check
-  out the <a href="mit-scheme-pucked-user/Changes.html"> Changes</a>.
+  users may want to begin with <a href="user/index.html"> the user
+  manual</a>, and impatient users with
+  chapter <a href="user/Running-Scheme.html"> Running Scheme</a>.
+  Experienced users may want to check out
+  the <a href="user/Changes.html"> Changes</a>.
 </p>
 
 <h2> Core Manuals</h2>
index 3e4114448db54942f1b2113d503a84b7d7eeca21..a7dd97d3c26fb6993de99e80c0415faa8fd5a883 100644 (file)
@@ -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 (file)
index 0000000..d7be332
--- /dev/null
@@ -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 <dd> child is an anonymous box */
+dd { margin: .5em 3% 1em 3%; }
+/* separate anonymous box (used to be the first element in <dd>)
+   from subsequent <p> */
+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
+   <blockquote>.  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 <var>
+   inside <blockquote>.  Since <var> is also italic, it makes it
+   impossible to distinguish variables.  We could change <var> 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; }