]> gitweb.factorcode.org Git - factor.git/blob - extra/webapps/wiki/wiki.css
webapps.wiki: fix hamburger
[factor.git] / extra / webapps / wiki / wiki.css
1 #container {
2     max-width: 1000px;
3 }
4
5 #left {
6     width: 0;
7     z-index: 99;
8 }
9
10 #right {
11     max-width: 800px;
12 }
13
14 .comparison th {
15     border-width: 1px;
16     border-color: #666;
17     border-style: solid;
18     width: 50%;
19 }
20
21 .comparison table {
22     border-color: #666;
23     border-style: solid;
24     border-width: 1px;
25     border-spacing: 0;
26     border-collapse: collapse;
27 }
28
29 .insert {
30     background-color: #9f9;
31 }
32
33 .delete {
34     background-color: #f99;
35 }
36
37 .revisions table, .revisions td, .revisions th {
38     border-color: #666;
39     border-style: solid;
40 }
41
42 .revisions table {
43     border-width: 0 0 1px 1px;
44     border-spacing: 0;
45     border-collapse: collapse;
46 }
47
48 .revisions td, .revisions th {
49     margin: 0;
50     padding: 4px;
51     border-width: 1px 1px 0 0;
52 }
53
54 .contents {
55     font-size: 90%;
56     margin: 0;
57     padding: 0;
58     padding-left: 10px;
59     padding-right: 10px;
60     line-height: 130%;
61 }
62
63 .contents ul {
64     list-style-type: none;
65     margin: 0;
66     padding-left: 20px;
67 }
68
69 .page {
70     padding-left: 15px;
71     padding-right: 15px;
72     padding-bottom: 15px;
73 }
74
75 .page .navbar {
76     margin-left: -15px;
77     margin-right: -15px;
78     margin-bottom: -15px;
79     border-top: 1px solid #ccc;
80 }
81
82 .description {
83     line-height: 150%;
84 }
85
86 .description pre {
87     padding: 5px;
88     border: 1px dashed #ccc;
89     background-color: #f5f5f5;
90 }
91
92 .description h1 { font-size: 1.5em; }
93 .description h2 { font-size: 1.17em; }
94 .description h3 { font-size: 1.0em; }
95 .description h4 { font-size: 0.83em; }
96 .description h5 { font-size: 0.67em; }
97
98 .description p:first-child { margin-top: 0px; }
99 .description p:last-child { margin-bottom: 0px; }
100
101 .description table, .description td {
102     border-color: #666;
103     border-style: solid;
104 }
105
106 .description table {
107     border-width: 0 0 1px 1px;
108     border-spacing: 0;
109     border-collapse: collapse;
110 }
111
112 .description td {
113     margin: 0;
114     padding: 4px;
115     border-width: 1px 1px 0 0;
116 }
117
118 .footer {
119     padding-left: 15px;
120     font-size: smaller;
121 }