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