aboutsummaryrefslogtreecommitdiff
path: root/doc/manual.css
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-11-24 19:53:15 +0000
committerng0 <ng0@n0.is>2019-11-24 19:53:15 +0000
commit1a3904ec8d6463451b3a6e22433dd2582637c56b (patch)
tree66fa5db13f3dfcd54ca585cfad08fa8df04b5553 /doc/manual.css
parentd5fe0553a3ba770946d135a64af8da4a1875d040 (diff)
downloadgnunet-1a3904ec8d6463451b3a6e22433dd2582637c56b.tar.gz
gnunet-1a3904ec8d6463451b3a6e22433dd2582637c56b.zip
style the index page of docs.gnunet.org a bit more.
Diffstat (limited to 'doc/manual.css')
-rw-r--r--doc/manual.css52
1 files changed, 52 insertions, 0 deletions
diff --git a/doc/manual.css b/doc/manual.css
new file mode 100644
index 000000000..0fe08b83c
--- /dev/null
+++ b/doc/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; }