try use manual.css instead of docstyle.css
authorChristian Grothoff <christian@grothoff.org>
Sun, 10 Feb 2019 15:49:06 +0000 (16:49 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 10 Feb 2019 15:49:06 +0000 (16:49 +0100)
doc/handbook/Makefile.am
doc/handbook/manual.css [new file with mode: 0644]

index 8be033f23961294ae63d807512e27ed663423bc5..1be5d1da7bac29466d3504c103773c12dfe733f3 100644 (file)
@@ -9,7 +9,7 @@ infoimagedir = $(infodir)/images
 #      $(DOT_FILES:%.dot=%.eps)                                                \
 #      $(DOT_FILES:%.dot=%.pdf)
 
-AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css
+AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=manual.css
 
 dist_infoimage_DATA =                                          \
        images/gnunet-gtk-0-10-gns-a-done.png                   \
@@ -78,7 +78,7 @@ dist_infoimage_DATA =                                         \
 
 
 info_TEXINFOS =                                                \
-       gnunet.texi     
+       gnunet.texi
 
 gnunet_TEXINFOS =                                              \
        chapters/developer.texi                                 \
diff --git a/doc/handbook/manual.css b/doc/handbook/manual.css
new file mode 100644 (file)
index 0000000..404525d
--- /dev/null
@@ -0,0 +1,52 @@
+/* Style-sheet to use for manuals (copied from Emacs) */
+
+@import url('/style.css');
+
+/* makeinfo 6.5 converts @quotation to <blockquote>.  Highlight them.  */
+blockquote {
+    font-style: normal;
+    border-left: solid 10px red;
+    padding-left: 2.5%;
+    margin-left: 0px;
+}
+
+var { font-style: italic; }
+
+/* Lay out @lisp just like @example.  Copied from what /style.css
+   does for the 'example' class.  */
+div.lisp { padding: .8em 1.2em .4em; }
+pre.lisp { padding: .8em 1.2em; }
+div.lisp, pre.lisp {
+   margin: 1em 0 1em 3% ;
+   -webkit-border-radius: .3em;
+   -moz-border-radius: .3em;
+   border-radius: .3em;
+   border: 1px solid #d4cbb6;
+   background-color: #f2efe4;
+}
+div.lisp > pre.lisp {
+   padding: 0 0 .4em;
+   margin: 0;
+   border: none;
+}
+
+/* ----- 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; }