]> gitweb.factorcode.org Git - factor.git/blob - extra/webapps/wiki/wiki.css
webapps.wiki: more style
[factor.git] / extra / webapps / wiki / wiki.css
1 .comparison th {
2     border-width: 1px;
3     border-color: #666;
4     border-style: solid;
5     width: 50%;
6 }
7
8 .comparison table {
9     border-color: #666;
10     border-style: solid;
11     border-width: 1px;
12     border-spacing: 0;
13     border-collapse: collapse;
14 }
15
16 .insert {
17     background-color: #9f9;
18 }
19
20 .delete {
21     background-color: #f99;
22 }
23
24 .revisions table, .revisions td, .revisions th {
25     border-color: #666;
26     border-style: solid;
27 }
28
29 .revisions table {
30     border-width: 0 0 1px 1px;
31     border-spacing: 0;
32     border-collapse: collapse;
33 }
34
35 .revisions td, .revisions th {
36     margin: 0;
37     padding: 4px;
38     border-width: 1px 1px 0 0;
39 }
40
41 .contents {
42     font-size: 90%;
43     margin: 0;
44     padding: 15px;
45     padding-top: 0px;
46     line-height: 130%;
47 }
48
49 .contents ul {
50     list-style-type: none;
51     margin: 0;
52     padding-left: 20px;
53 }
54
55 .page {
56     padding: 15px;
57     padding-top: 0px;
58     width: calc(100vw - 200px);
59     max-width: 800px;
60 }
61
62 .page nav {
63     margin: -15px;
64     margin-top: 0px;
65     border-top: 1px dashed #ccc;
66     border-bottom: 1px dashed #ccc;
67     width: calc(100vw - 200px);
68     max-width: 800px;
69     background: none;
70 }
71
72 .page img {
73     max-width: 100%;
74 }
75
76 .page hr {
77     height: 1px;
78 }
79
80 .description {
81     line-height: 150%;
82 }
83
84 .description pre {
85     padding: 5px;
86     border: 1px dashed #ccc;
87     background-color: #f5f5f5;
88 }
89
90 .description h1 { font-size: 1.5em; }
91 .description h2 { font-size: 1.17em; }
92 .description h3 { font-size: 1.0em; }
93 .description h4 { font-size: 0.83em; }
94 .description h5 { font-size: 0.67em; }
95
96 .description p:first-child { margin-top: 0px; }
97 .description p:last-child { margin-bottom: 0px; }
98
99 .description table, .description td {
100     border-color: #666;
101     border-style: solid;
102 }
103
104 .description table {
105     border-width: 0 0 1px 1px;
106     border-spacing: 0;
107     border-collapse: collapse;
108 }
109
110 .description td {
111     margin: 0;
112     padding: 4px;
113     border-width: 1px 1px 0 0;
114 }
115
116 footer {
117     padding-left: 15px;
118     font-size: smaller;
119 }
120
121 #left {
122     position: absolute;
123     top: 0;
124     left: calc(min(100vw - 200px, 800px));
125     width: 200px;
126     z-index: 99;
127     border: none;
128     border-left: 1px dashed #ccc;
129 }
130
131 #right {
132     width: 100%;
133     max-width: calc(min(100vw - 230px, 770px));
134 }
135
136 nav img {
137     vertical-align: middle;
138     display: none;
139 }
140
141 .page nav {
142     width: calc(100vw - 200px);
143     max-width: 800px;
144     left: 0;
145     border-top: 1px dashed #ccc;
146     border-bottom: 1px dashed #ccc;
147 }
148
149 .page footer {
150     padding-left: 0;
151     padding-right: 0;
152 }
153
154 @media screen and (max-width: 600px) {
155     #left {
156         position: absolute;
157         display: none;
158         left: 0;
159         top: 0;
160         background: #f5f5f5;
161         border: none;
162         border-right: 1px solid #ccc;
163         border-bottom: 1px solid #ccc;
164         padding-top: 0px;
165         box-shadow: 5px 5px 10px #aaa;
166     }
167
168     #right {
169         width: 100%;
170         max-width: 100%;
171     }
172
173     nav img {
174         display: inline;
175     }
176
177     .page {
178         width: 100%;
179     }
180
181     .page nav {
182         width: 100vw;
183     }
184 }
185
186 /* Dark mode */
187 @media (prefers-color-scheme: dark) {
188     nav img {
189         filter: invert(80%);
190     }
191
192     #left {
193         border: none;
194         border-left: 1px dashed #666;
195     }
196
197     .description pre {
198         color: black;
199     }
200
201     .page nav {
202         border-top: 1px dashed #666;
203         border-bottom: 1px dashed #666;
204     }
205 }
206
207 @media screen and (max-width: 600px) and (prefers-color-scheme: dark) {
208
209     #left {
210         background-color: #373e48;
211         border: none;
212         border-right: 1px solid #666;
213         border-bottom: 1px solid #666;
214         box-shadow: 5px 5px 10px #333;
215     }
216 }