From bda4ec98e091f1fcdb17cc43e956f8053a37fb15 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 10 Feb 2019 16:49:06 +0100
Subject: try use manual.css instead of docstyle.css

---
 doc/handbook/Makefile.am |  4 ++--
 doc/handbook/manual.css  | 52 ++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 54 insertions(+), 2 deletions(-)
 create mode 100644 doc/handbook/manual.css

diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am
index 8be033f23..1be5d1da7 100644
--- a/doc/handbook/Makefile.am
+++ b/doc/handbook/Makefile.am
@@ -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
index 000000000..404525dc2
--- /dev/null
+++ b/doc/handbook/manual.css
@@ -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; }
-- 
cgit v1.2.3