Sat, 28 Oct 2017 15:43:51 +0200
modules documentation
1 a {
2 color: #2e2eaf;
3 text-decoration: none;
4 }
6 a:hover {
7 text-decoration: underline;
8 text-decoration-style: dotted; // not supported in IE / Edge
9 }
11 #header, h1, h2, h3, #sidebar {
12 font-family: sans-serif;
13 }
15 #header {
16 padding-top: 0.3em;
17 padding-bottom: 0.5em;
18 margin-bottom: 2em;
19 border: none;
20 border-bottom-width: 1pt;
21 border-bottom-style: solid;
22 border-bottom-color: #2e2e2e;
23 }
25 #header span {
26 font-size: 2em;
27 font-weight: bold;
28 margin-left: 1em;
29 }
31 #header img {
32 float: right;
33 }
35 #sidebar {
36 float: left;
37 width: 15em;
38 }
40 .nav {
41 color: black;
42 background-color: #e9ebec;
43 margin-bottom: 1em;
44 padding-bottom: 0.1em;
45 }
47 .nav h3 {
48 color: white;
49 background-color: #5b6f7a;
50 font-size: 1.2em;
51 padding-top: 0.2em;
52 padding-bottom: 0.2em;
53 padding-left: 0.5em;
54 margin-top: 0;
55 }
57 .nav ul {
58 margin-top: 0;
59 padding-top: 0;
60 font-size: 0.95em;
61 }
63 #content {
64 margin-left: 16em;
65 padding: 0;
66 font-family: serif;
67 font-size: 1em;
68 min-width: 16em;
69 }
71 #content h1 {
72 color: white;
73 background-color: #5b6f7a;
74 font-size: 1.2em;
75 padding-top: 0.2em;
76 padding-bottom: 0.2em;
77 padding-left: 0.5em;
78 padding-right: 0;
79 margin-top: 0;
80 }
82 #content h2 {
83 color: #2e2e2e;
84 font-size: 1.2em;
85 border-bottom-color: #5b6f7a;
86 border-bottom-style: solid;
87 border-bottom-width: 1pt;
88 width: 100%;
89 }
91 #content h3 {
92 font-size: 1.05em;
93 }