diff options
author | ng0 <ng0@n0.is> | 2019-11-24 19:53:15 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-11-24 19:53:15 +0000 |
commit | 1a3904ec8d6463451b3a6e22433dd2582637c56b (patch) | |
tree | 66fa5db13f3dfcd54ca585cfad08fa8df04b5553 | |
parent | d5fe0553a3ba770946d135a64af8da4a1875d040 (diff) | |
download | gnunet-1a3904ec8d6463451b3a6e22433dd2582637c56b.tar.gz gnunet-1a3904ec8d6463451b3a6e22433dd2582637c56b.zip |
style the index page of docs.gnunet.org a bit more.
-rw-r--r-- | doc/docstyle.css | 76 | ||||
-rw-r--r-- | doc/index.html | 13 | ||||
-rw-r--r-- | doc/manual.css | 52 | ||||
-rw-r--r-- | doc/reset.css | 114 | ||||
-rw-r--r-- | doc/style.css | 174 |
5 files changed, 424 insertions, 5 deletions
diff --git a/doc/docstyle.css b/doc/docstyle.css new file mode 100644 index 000000000..8719248d0 --- /dev/null +++ b/doc/docstyle.css | |||
@@ -0,0 +1,76 @@ | |||
1 | html, body { | ||
2 | font-size: 1em; | ||
3 | text-align: left; | ||
4 | text-decoration: none; | ||
5 | } | ||
6 | html { background-color: #e7e7e7; } | ||
7 | |||
8 | body { | ||
9 | max-width: 74.92em; | ||
10 | margin: 0 auto; | ||
11 | padding: .5em 1em 1em 1em; | ||
12 | background-color: white; | ||
13 | border: .1em solid #c0c0c0; | ||
14 | } | ||
15 | |||
16 | h1, h2, h3, h4 { color: #333; } | ||
17 | h5, h6, dt { color: #222; } | ||
18 | |||
19 | |||
20 | a h3 { | ||
21 | color: #005090; | ||
22 | } | ||
23 | |||
24 | a[href] { color: #005090; } | ||
25 | a[href]:visited { color: #100070; } | ||
26 | a[href]:active, a[href]:hover { | ||
27 | color: #100070; | ||
28 | text-decoration: none; | ||
29 | } | ||
30 | |||
31 | .linkrow { | ||
32 | margin: 3em 0; | ||
33 | } | ||
34 | |||
35 | .linkrow { | ||
36 | text-align: center; | ||
37 | } | ||
38 | |||
39 | div.example { padding: .8em 1.2em .4em; } | ||
40 | pre.example { padding: .8em 1.2em; } | ||
41 | div.example, pre.example { | ||
42 | margin: 1em 0 1em 3% ; | ||
43 | -webkit-border-radius: .3em; | ||
44 | -moz-border-radius: .3em; | ||
45 | border-radius: .3em; | ||
46 | border: 1px solid #d4cbb6; | ||
47 | background-color: #f2efe4; | ||
48 | } | ||
49 | div.example > pre.example { | ||
50 | padding: 0 0 .4em; | ||
51 | margin: 0; | ||
52 | border: none; | ||
53 | } | ||
54 | |||
55 | |||
56 | /* This makes the very long tables of contents in Gnulib and other | ||
57 | manuals easier to read. */ | ||
58 | .contents ul, .shortcontents ul { font-weight: bold; } | ||
59 | .contents ul ul, .shortcontents ul ul { font-weight: normal; } | ||
60 | .contents ul { list-style: none; } | ||
61 | |||
62 | /* For colored navigation bars (Emacs manual): make the bar extend | ||
63 | across the whole width of the page and give it a decent height. */ | ||
64 | .header, .node { margin: 0 -1em; padding: 0 1em; } | ||
65 | .header p, .node p { line-height: 2em; } | ||
66 | |||
67 | /* For navigation links */ | ||
68 | .node a, .header a { display: inline-block; line-height: 2em; } | ||
69 | .node a:hover, .header a:hover { background: #f2efe4; } | ||
70 | |||
71 | table.cartouche { | ||
72 | border-collapse: collapse; | ||
73 | border-color: darkred; | ||
74 | border-style: solid; | ||
75 | border-width: 3px; | ||
76 | } | ||
diff --git a/doc/index.html b/doc/index.html index fa3159dc9..af7a72e22 100644 --- a/doc/index.html +++ b/doc/index.html | |||
@@ -4,17 +4,20 @@ | |||
4 | <meta charset="utf-8"> | 4 | <meta charset="utf-8"> |
5 | <meta name="keywords" content="gnunet,GNUnet,Manual,Manuals,preview,developer-preview,inofficial,GNU"> | 5 | <meta name="keywords" content="gnunet,GNUnet,Manual,Manuals,preview,developer-preview,inofficial,GNU"> |
6 | <meta name="description" content="The GNUnet Manuals"> | 6 | <meta name="description" content="The GNUnet Manuals"> |
7 | <link href="style.css" rel="stylesheet"> | ||
7 | <meta name="viewport" content="width=device-width, initial-scale=1"> | 8 | <meta name="viewport" content="width=device-width, initial-scale=1"> |
8 | </head> | 9 | </head> |
9 | 10 | ||
10 | <body> | 11 | <body> |
11 | <h2>GNUnet - GNUnet Manuals and Handbooks</h2> | 12 | <center> |
13 | <h1>GNUnet - GNUnet Manuals and Handbooks</h1> | ||
14 | </center> | ||
12 | 15 | ||
13 | <blockquote><address> | 16 | <blockquote><address> |
14 | GNUnet e.V.<br/> | 17 | GNUnet e.V.<br/> |
15 | Fakultät für Informatik -- I8<br/> | 18 | Fakultät für Informatik -- I8<br/> |
16 | Technische Universität München<br/> | 19 | Technische Universität München<br/> |
17 | Boltzmannstraße 3<br/> | 20 | Boltzmannstraße 3<br/> |
18 | 85748 Garching<br/> | 21 | 85748 Garching<br/> |
19 | GERMANY<br/> | 22 | GERMANY<br/> |
20 | </address></blockquote> | 23 | </address></blockquote> |
@@ -39,7 +42,7 @@ | |||
39 | to <a href="mailto:gnunet-developers@gnu.org"><gnunet-developers@gnu.org></a>.</p> | 42 | to <a href="mailto:gnunet-developers@gnu.org"><gnunet-developers@gnu.org></a>.</p> |
40 | </div> | 43 | </div> |
41 | 44 | ||
42 | <p>Copyright © 2001 - 2018 GNUnet e.V.</p> | 45 | <p>Copyright © 2001 - 2019 GNUnet e.V.</p> |
43 | 46 | ||
44 | <p> | 47 | <p> |
45 | <a rel="license" href="http://creativecommons.org/licenses/by-nd/4.0/"> | 48 | <a rel="license" href="http://creativecommons.org/licenses/by-nd/4.0/"> |
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. */ | ||
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; } | ||
diff --git a/doc/reset.css b/doc/reset.css new file mode 100644 index 000000000..9a6c3065f --- /dev/null +++ b/doc/reset.css | |||
@@ -0,0 +1,114 @@ | |||
1 | /* | ||
2 | Software License Agreement (BSD License) | ||
3 | |||
4 | Copyright (c) 2006, Yahoo! Inc. | ||
5 | All rights reserved. | ||
6 | |||
7 | Redistribution and use of this software in source and | ||
8 | binary forms, with or without modification, arepermitted | ||
9 | provided that the following conditions are met: | ||
10 | |||
11 | * Redistributions of source code must retain the above | ||
12 | copyright notice, this list of conditions and the | ||
13 | following disclaimer. | ||
14 | |||
15 | * Redistributions in binary form must reproduce the above | ||
16 | copyright notice, this list of conditions and the | ||
17 | following disclaimer in the documentation and/or other | ||
18 | materials provided with the distribution. | ||
19 | |||
20 | * Neither the name of Yahoo! Inc. nor the names of its | ||
21 | contributors may be used to endorse or promote products | ||
22 | derived from this software without specific prior | ||
23 | written permission of Yahoo! Inc. | ||
24 | |||
25 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND | ||
26 | CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, | ||
27 | INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF | ||
28 | MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | ||
29 | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR | ||
30 | CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | ||
31 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT | ||
32 | NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | ||
33 | LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | ||
34 | HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER | ||
35 | IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING | ||
36 | NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | ||
37 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | ||
38 | SUCH DAMAGE. | ||
39 | */ | ||
40 | |||
41 | html { | ||
42 | color: #000; | ||
43 | background: #FFF; | ||
44 | } | ||
45 | |||
46 | body, div, dl, dt, dd, ul, ol, li, h1, h2, h3, h4, | ||
47 | h5, h6, pre, code, form, fieldset, legend, input, | ||
48 | button, textarea, p, blockquote, th, td { | ||
49 | margin: 0; | ||
50 | padding: 0; | ||
51 | } | ||
52 | |||
53 | table { | ||
54 | border-collapse: collapse; | ||
55 | border-spacing: 0; | ||
56 | } | ||
57 | |||
58 | fieldset, img { | ||
59 | border: 0; | ||
60 | } | ||
61 | |||
62 | address, caption, cite, code, dfn, em, strong, | ||
63 | th, var, optgroup { | ||
64 | font-style: inherit; | ||
65 | font-weight: inherit; | ||
66 | } | ||
67 | |||
68 | del, ins { | ||
69 | text-decoration: none; | ||
70 | } | ||
71 | |||
72 | li { | ||
73 | list-style:none; | ||
74 | } | ||
75 | |||
76 | caption, th { | ||
77 | text-align: left; | ||
78 | } | ||
79 | |||
80 | h1, h2, h3, h4, h5, h6 { | ||
81 | font-size: 100%; | ||
82 | font-weight: normal; | ||
83 | } | ||
84 | |||
85 | q:before, q:after { | ||
86 | content:''; | ||
87 | } | ||
88 | |||
89 | abbr, acronym { | ||
90 | border: 0; | ||
91 | font-variant: normal; | ||
92 | } | ||
93 | |||
94 | sup { | ||
95 | vertical-align: baseline; | ||
96 | } | ||
97 | sub { | ||
98 | vertical-align: baseline; | ||
99 | } | ||
100 | |||
101 | legend { | ||
102 | color: #000; | ||
103 | } | ||
104 | |||
105 | input, button, textarea, select, optgroup, option { | ||
106 | font-family: inherit; | ||
107 | font-size: inherit; | ||
108 | font-style: inherit; | ||
109 | font-weight: inherit; | ||
110 | } | ||
111 | |||
112 | input, button, textarea, select { | ||
113 | *font-size: 100%; | ||
114 | } | ||
diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 000000000..e5271197b --- /dev/null +++ b/doc/style.css | |||
@@ -0,0 +1,174 @@ | |||
1 | /* This stylesheet is used by manuals and a few older resources. */ | ||
2 | |||
3 | @import url('reset.css'); | ||
4 | |||
5 | |||
6 | /*** PAGE LAYOUT ***/ | ||
7 | |||
8 | html, body { | ||
9 | font-size: 1em; | ||
10 | text-align: left; | ||
11 | text-decoration: none; | ||
12 | } | ||
13 | html { background-color: #e7e7e7; } | ||
14 | |||
15 | body { | ||
16 | max-width: 74.92em; | ||
17 | margin: 0 auto; | ||
18 | padding: .5em 1em 1em 1em; | ||
19 | background-color: white; | ||
20 | border: .1em solid #c0c0c0; | ||
21 | } | ||
22 | |||
23 | |||
24 | /*** BASIC ELEMENTS ***/ | ||
25 | |||
26 | /* Size and positioning */ | ||
27 | |||
28 | p, pre, li, dt, dd, table, code, address { line-height: 1.3em; } | ||
29 | |||
30 | h1 { font-size: 2em; margin: 1em 0 } | ||
31 | h2 { font-size: 1.50em; margin: 1.0em 0 0.87em 0; } | ||
32 | h3 { font-size: 1.30em; margin: 1.0em 0 0.87em 0; } | ||
33 | h4 { font-size: 1.13em; margin: 1.0em 0 0.88em 0; } | ||
34 | h5 { font-size: 1.00em; margin: 1.0em 0 1.00em 0; } | ||
35 | |||
36 | p, pre { margin: 1em 0; } | ||
37 | pre { overflow: auto; padding-bottom: .3em; } | ||
38 | |||
39 | ul, ol, blockquote { margin-left: 1.5%; margin-right: 1.5%; } | ||
40 | hr { margin: 1em 0; } | ||
41 | /* Lists of underlined links are difficult to read. The top margin | ||
42 | gives a little more spacing between entries. */ | ||
43 | ul li { margin: .5em 1em; } | ||
44 | ol li { margin: 1em; } | ||
45 | ol ul li { margin: .5em 1em; } | ||
46 | ul li p, ul ul li { margin-top: .3em; margin-bottom: .3em; } | ||
47 | ul ul, ol ul { margin-top: 0; margin-bottom: 0; } | ||
48 | |||
49 | /* Separate description lists from preceding text */ | ||
50 | dl { margin: 1em 0 0 0; } | ||
51 | /* separate the "term" from subsequent "description" */ | ||
52 | dt { margin: .5em 0; } | ||
53 | /* separate the "description" from subsequent list item | ||
54 | when the final <dd> child is an anonymous box */ | ||
55 | dd { margin: .5em 3% 1em 3%; } | ||
56 | /* separate anonymous box (used to be the first element in <dd>) | ||
57 | from subsequent <p> */ | ||
58 | dd p { margin: .5em 0; } | ||
59 | |||
60 | table { | ||
61 | display: block; overflow: auto; | ||
62 | margin-top: 1.5em; margin-bottom: 1.5em; | ||
63 | } | ||
64 | th { padding: .3em .5em; text-align: center; } | ||
65 | td { padding: .2em .5em; } | ||
66 | |||
67 | address { margin-bottom: 1em; } | ||
68 | caption { margin-bottom: .5em; text-align: center; } | ||
69 | sup { vertical-align: super; } | ||
70 | sub { vertical-align: sub; } | ||
71 | |||
72 | /* Style */ | ||
73 | |||
74 | h1, h2, h3, h4, h5, h6, strong, dt, th { font-weight: bold; } | ||
75 | |||
76 | /* The default color (black) is too dark for large text in | ||
77 | bold font. */ | ||
78 | h1, h2, h3, h4 { color: #333; } | ||
79 | h5, h6, dt { color: #222; } | ||
80 | |||
81 | a[href] { color: #005090; } | ||
82 | a[href]:visited { color: #100070; } | ||
83 | a[href]:active, a[href]:hover { | ||
84 | color: #100070; | ||
85 | text-decoration: none; | ||
86 | } | ||
87 | |||
88 | h1 a[href]:visited, h2 a[href]:visited, h3 a[href]:visited, | ||
89 | h4 a[href]:visited { color: #005090; } | ||
90 | h1 a[href]:hover, h2 a[href]:hover, h3 a[href]:hover, | ||
91 | h4 a[href]:hover { color: #100070; } | ||
92 | |||
93 | ol { list-style: decimal outside;} | ||
94 | ul { list-style: square outside; } | ||
95 | ul ul, ol ul { list-style: circle; } | ||
96 | li { list-style: inherit; } | ||
97 | |||
98 | hr { background-color: #ede6d5; } | ||
99 | table { border: 0; } | ||
100 | |||
101 | abbr,acronym { | ||
102 | border-bottom:1px dotted #000; | ||
103 | text-decoration: none; | ||
104 | cursor:help; | ||
105 | } | ||
106 | del { text-decoration: line-through; } | ||
107 | em { font-style: italic; } | ||
108 | small { font-size: .9em; } | ||
109 | |||
110 | img { max-width: 100%} | ||
111 | |||
112 | |||
113 | /*** SIMPLE CLASSES ***/ | ||
114 | |||
115 | .center, .c { text-align: center; } | ||
116 | .nocenter{ text-align: left; } | ||
117 | |||
118 | .underline { text-decoration: underline; } | ||
119 | .nounderline { text-decoration: none; } | ||
120 | |||
121 | .no-bullet { list-style: none; } | ||
122 | .inline-list li { display: inline } | ||
123 | |||
124 | .netscape4, .no-display { display: none; } | ||
125 | |||
126 | |||
127 | /*** MANUAL PAGES ***/ | ||
128 | |||
129 | /* This makes the very long tables of contents in Gnulib and other | ||
130 | manuals easier to read. */ | ||
131 | .contents ul, .shortcontents ul { font-weight: bold; } | ||
132 | .contents ul ul, .shortcontents ul ul { font-weight: normal; } | ||
133 | .contents ul { list-style: none; } | ||
134 | |||
135 | /* For colored navigation bars (Emacs manual): make the bar extend | ||
136 | across the whole width of the page and give it a decent height. */ | ||
137 | .header, .node { margin: 0 -1em; padding: 0 1em; } | ||
138 | .header p, .node p { line-height: 2em; } | ||
139 | |||
140 | /* For navigation links */ | ||
141 | .node a, .header a { display: inline-block; line-height: 2em; } | ||
142 | .node a:hover, .header a:hover { background: #f2efe4; } | ||
143 | |||
144 | /* Inserts */ | ||
145 | table.cartouche td { padding: 1.5em; } | ||
146 | |||
147 | div.display, div.lisp, div.smalldisplay, | ||
148 | div.smallexample, div.smalllisp { margin-left: 3%; } | ||
149 | |||
150 | div.example { padding: .8em 1.2em .4em; } | ||
151 | pre.example { padding: .8em 1.2em; } | ||
152 | div.example, pre.example { | ||
153 | margin: 1em 0 1em 3% ; | ||
154 | -webkit-border-radius: .3em; | ||
155 | -moz-border-radius: .3em; | ||
156 | border-radius: .3em; | ||
157 | border: 1px solid #d4cbb6; | ||
158 | background-color: #f2efe4; | ||
159 | } | ||
160 | div.example > pre.example { | ||
161 | padding: 0 0 .4em; | ||
162 | margin: 0; | ||
163 | border: none; | ||
164 | } | ||
165 | |||
166 | pre.menu-comment { padding-top: 1.3em; margin: 0; } | ||
167 | |||
168 | |||
169 | /*** FOR WIDE SCREENS ***/ | ||
170 | |||
171 | @media (min-width: 40em) { | ||
172 | body { padding: .5em 3em 1em 3em; } | ||
173 | div.header, div.node { margin: 0 -3em; padding: 0 3em; } | ||
174 | } | ||