aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-02-10 16:49:06 +0100
committerChristian Grothoff <christian@grothoff.org>2019-02-10 16:49:06 +0100
commitbda4ec98e091f1fcdb17cc43e956f8053a37fb15 (patch)
tree1ed4fefd26287fcb3711e5ace09076188197595a
parentd974bae720beaea9223a8729f4e6c88c326c522b (diff)
downloadgnunet-bda4ec98e091f1fcdb17cc43e956f8053a37fb15.tar.gz
gnunet-bda4ec98e091f1fcdb17cc43e956f8053a37fb15.zip
try use manual.css instead of docstyle.css
-rw-r--r--doc/handbook/Makefile.am4
-rw-r--r--doc/handbook/manual.css52
2 files changed, 54 insertions, 2 deletions
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
9# $(DOT_FILES:%.dot=%.eps) \ 9# $(DOT_FILES:%.dot=%.eps) \
10# $(DOT_FILES:%.dot=%.pdf) 10# $(DOT_FILES:%.dot=%.pdf)
11 11
12AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css 12AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=manual.css
13 13
14dist_infoimage_DATA = \ 14dist_infoimage_DATA = \
15 images/gnunet-gtk-0-10-gns-a-done.png \ 15 images/gnunet-gtk-0-10-gns-a-done.png \
@@ -78,7 +78,7 @@ dist_infoimage_DATA = \
78 78
79 79
80info_TEXINFOS = \ 80info_TEXINFOS = \
81 gnunet.texi 81 gnunet.texi
82 82
83gnunet_TEXINFOS = \ 83gnunet_TEXINFOS = \
84 chapters/developer.texi \ 84 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 @@
1/* Style-sheet to use for manuals (copied from Emacs) */
2
3@import url('/style.css');
4
5/* makeinfo 6.5 converts @quotation to <blockquote>. Highlight them. */
6blockquote {
7 font-style: normal;
8 border-left: solid 10px red;
9 padding-left: 2.5%;
10 margin-left: 0px;
11}
12
13var { font-style: italic; }
14
15/* Lay out @lisp just like @example. Copied from what /style.css
16 does for the 'example' class. */
17div.lisp { padding: .8em 1.2em .4em; }
18pre.lisp { padding: .8em 1.2em; }
19div.lisp, pre.lisp {
20 margin: 1em 0 1em 3% ;
21 -webkit-border-radius: .3em;
22 -moz-border-radius: .3em;
23 border-radius: .3em;
24 border: 1px solid #d4cbb6;
25 background-color: #f2efe4;
26}
27div.lisp > pre.lisp {
28 padding: 0 0 .4em;
29 margin: 0;
30 border: none;
31}
32
33/* ----- coreutils specific styling ----- */
34
35/* layout.css indents "body p" when it should probably only indent "body > p"?
36 In any case, disable indenting of p in these sub elements. */
37dd p,li p {
38 margin-left: 0;
39 margin-right: 0;
40}
41
42/* underlined links are distracting, especially within outlined tables. */
43a { /*add :link for external links*/
44 text-decoration: none; /* don't underline links by default */
45 outline-style: none; /* don't put dotted box around clicked links */
46}
47a:hover {
48 text-decoration: underline;
49}
50
51/* The shadow around the body is distracting. */
52body { box-shadow: 0 0 0 0; }