blob: 8fb84408cd8b321e688303bd55409f3c6d2a95c1 [file] [log] [blame]
Davide Pesaventofa33f8d2020-09-19 18:48:42 -04001@import "agogo.css";
2@import "foundation.css";
3@import "named_data_style.css";
4
5body, h1, h2, h3, h4, p {
6 font-family: -apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Oxygen-Sans,Ubuntu,Cantarell,"Helvetica Neue",sans-serif;
7}
8
9h1 { font-size: 26px; }
10h2 { font-size: 20px; }
11h3 { font-size: 17px; }
12h4 { font-size: 15px; }
13
14h1, h2, h3, h4 {
15 font-weight: bold;
16}
17
18h2, h3, h4 {
19 line-height: 1.2;
20}
21
22blockquote {
23 border-left: none;
24 font-style: normal;
25}
26
27blockquote p {
28 color: #222;
29}
30
31p.logo {
32 float: left;
33 margin: 1px 0 0 0;
34 padding: 0;
35}
36
37table {
38 border-collapse: collapse;
39}
40
41th, td {
42 border: 1px solid #666;
43 padding: 5px;
44}
45
46div.document p {
47 margin: 0.5em 0;
48 padding: 0;
49}
50
51div.document ol,
52div.document ul {
53 margin: 0 0 0 2em;
54}
55
56div.document pre {
57 font-size: 13px;
58 line-height: 1.3;
59 margin: 0;
60 padding: 10px 20px;
61}
62
63div.document table p {
64 margin: 0;
65}
66
67div.document th p {
68 font-weight: bold;
69}
70
71div.bodywrapper a,
72div.header a:hover,
73div.sidebar a:hover {
74 text-decoration: none;
75}