diff options
-rw-r--r-- | doc/handbook/Makefile.am | 4 | ||||
-rw-r--r-- | doc/handbook/manual.css | 52 |
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 | ||
12 | AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css | 12 | AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=manual.css |
13 | 13 | ||
14 | dist_infoimage_DATA = \ | 14 | dist_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 | ||
80 | info_TEXINFOS = \ | 80 | info_TEXINFOS = \ |
81 | gnunet.texi | 81 | gnunet.texi |
82 | 82 | ||
83 | gnunet_TEXINFOS = \ | 83 | gnunet_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. */ | ||
6 | blockquote { | ||
7 | font-style: normal; | ||
8 | border-left: solid 10px red; | ||
9 | padding-left: 2.5%; | ||
10 | margin-left: 0px; | ||
11 | } | ||
12 | |||
13 | var { font-style: italic; } | ||
14 | |||
15 | /* Lay out @lisp just like @example. Copied from what /style.css | ||
16 | does for the 'example' class. */ | ||
17 | div.lisp { padding: .8em 1.2em .4em; } | ||
18 | pre.lisp { padding: .8em 1.2em; } | ||
19 | div.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 | } | ||
27 | div.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. */ | ||
37 | dd p,li p { | ||
38 | margin-left: 0; | ||
39 | margin-right: 0; | ||
40 | } | ||
41 | |||
42 | /* underlined links are distracting, especially within outlined tables. */ | ||
43 | a { /*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 | } | ||
47 | a:hover { | ||
48 | text-decoration: underline; | ||
49 | } | ||
50 | |||
51 | /* The shadow around the body is distracting. */ | ||
52 | body { box-shadow: 0 0 0 0; } | ||