annotate site/css/windowmaker.css @ 3:21b2c131d8c7

Wallpapers take a long time to load, and the mobile ones were removed because of the same reason
author yakumo_izuru
date Sun, 08 Jun 2025 13:01:55 -0300
parents 380da6d0a7e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
1 @import "/css/font.css";
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
2
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
3 html {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
4 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
5 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
6 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
7
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
8 body {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
9 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
10 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
11 background-color: white;
2
380da6d0a7e9 Swapped fonts, return of the webring
yakumo_izuru
parents: 0
diff changeset
12 font-family: 'Ume UI Gothic';
0
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
13 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
14
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
15 header {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
16 padding: 1em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
17 margin-top: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
18 margin-bottom: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
19 padding-bottom: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
20 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
21
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
22 h1 {font-size: 1.7em}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
23 a:link {color: #1e527e}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
24 a:hover {color: #2c7abc}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
25 a:visited {color: #371e7e}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
26 a:visited {color: #574882}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
27 img {max-width: 100%}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
28
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
29 pre {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
30 color: #dddddd;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
31 overflow-x: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
32 padding: 0.3em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
33 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
34
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
35 .caption {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
36 font-style: italic;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
37 font-size: 0.8em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
38 line-height: 5px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
39 margin-bottom: 3em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
40 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
41
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
42 .caption {text-align: center}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
43
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
44 .center:not(.section), .center>h1, .center>h2{ text-align: center }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
45
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
46 p.screenshot a img {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
47 border: 1px solid black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
48 box-shadow: 3px 7px 7px #606060;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
49 top: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
50 bottom:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
51 left: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
52 right:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
53 margin: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
54 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
55
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
56 /* guided tour */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
57
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
58 #window-maker h1.title { text-align: center }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
59 #window-maker #guided-tour img {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
60 display:block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
61 margin-left: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
62 margin-right: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
63 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
64
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
65 /* gallery */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
66
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
67 p.gallery {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
68 float: left;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
69 margin: 5px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
70 width: 300px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
71 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
72
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
73 p.gallery a img {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
74 border: 1px solid black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
75 box-shadow: 3px 7px 7px #606060;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
76 top: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
77 bottom:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
78 left: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
79 right:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
80 margin: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
81 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
82
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
83 div.gallery img {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
84 width: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
85 height: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
86 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
87
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
88 .clear {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
89 clear: left;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
90 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
91
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
92 div.figure img {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
93 display: block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
94 border: 1px solid black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
95 box-shadow: 3px 7px 7px #606060;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
96 margin: 0 auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
97 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
98
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
99 div.figure.borderless img {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
100 border: 0
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
101 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
102
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
103 /* logo */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
104 header h1 a {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
105 font-family: "ArialPixel";
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
106 text-shadow: 0 4px 4px #666;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
107 display: block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
108 padding-left: 1.4em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
109 background-image: url(/img/yukari-sigil.png);
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
110 background-position: left center;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
111 background-repeat: no-repeat;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
112 background-size: auto 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
113 text-decoration: none;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
114 color: black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
115 font-size: 1.8em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
116 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
117
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
118 header h1 a:link {text-decoration: none}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
119 header h1 a span.second {color: white}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
120 header h1 a span.first {color: black}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
121 header h1 a.span.third {color: red}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
122
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
123 /* wrapper decorations */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
124 #minimize, #close {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
125 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
126 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
127 height: 20px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
128 width: 21px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
129 border-left: 1px solid #b6b6b6;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
130 border-top: 1px solid #b6b6b6;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
131 border-right: 1px solid #616161;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
132 border-bottom: 1px solid #616161;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
133 background-repeat: no-repeat;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
134 background-position: center center;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
135 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
136
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
137 #minimize {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
138 margin-right: 1px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
139 background-image: url(/img/minimize.png);
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
140 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
141
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
142 #close {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
143 margin-left: 1px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
144 background-image: url(/img/close.png);
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
145 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
146
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
147 #titlebar {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
148 position: absolute;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
149 top: 0px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
150 display: inline-flex;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
151 width: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
152 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
153 margin-top: 0px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
154 padding: 0;
3
21b2c131d8c7 Wallpapers take a long time to load, and the mobile ones were removed because of the same reason
yakumo_izuru
parents: 2
diff changeset
155 background: #800080;
0
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
156 height: 23px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
157 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
158
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
159 #titlebar-inner {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
160 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
161 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
162 margin-top: 0px;
3
21b2c131d8c7 Wallpapers take a long time to load, and the mobile ones were removed because of the same reason
yakumo_izuru
parents: 2
diff changeset
163 background: #800080;
0
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
164 height: 20px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
165 width: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
166 border-left: 1px solid #b6b6b6;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
167 border-top: 1px solid #b6b6b6;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
168 border-right: 1px solid #616161;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
169 border-bottom: 1px solid #616161;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
170 font-size: 0.8em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
171 color: white;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
172 font-weight: bold;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
173 text-align: center;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
174 line-height: 19px;
2
380da6d0a7e9 Swapped fonts, return of the webring
yakumo_izuru
parents: 0
diff changeset
175 font-family: 'Ume UI Gothic O5';
0
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
176 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
177
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
178 #wrapper {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
179 position: relative;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
180 width: 800px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
181 margin: 0 auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
182 margin-top: 1em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
183 margin-bottom: 1em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
184 box-shadow: 0 0 15px #0033aa;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
185 background-color: #ddddff;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
186 border: 1px solid black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
187 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
188
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
189 #resizel, #resizer {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
190 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
191 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
192 height: 6px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
193 width: 28px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
194 border-left: 1px solid white;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
195 border-top: 1px solid white;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
196 border-right: 1px solid #555555;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
197 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
198
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
199 #resizebar {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
200 position: absolute;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
201 bottom: 2px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
202 display: inline-flex;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
203 width: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
204 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
205 margin-top: 0px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
206 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
207 background: #aaaaaa;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
208 height: 5px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
209 border-top: 1px solid #555555;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
210 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
211
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
212 #resizebar-inner {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
213 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
214 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
215 margin-top: 0px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
216 height: 6px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
217 width: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
218 border-left: 1px solid white;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
219 border-top: 1px solid white;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
220 border-right: 1px solid #555555;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
221 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
222
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
223 /* TOC */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
224 .contents p {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
225 margin: 0.2em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
226 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
227
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
228 /* pre/code highlighted theme - taken from wombat256grf vim colorscheme */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
229 .highlight { background-color: #242424 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
230 .highlight .c { color: #99968b; font-style: italic} /* Comment */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
231 .highlight .err { color: #dddddd} /* Error */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
232 .highlight .g { color: #dddddd } /* Generic */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
233 .highlight .k { color: #87afff } /* Keyword */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
234 .highlight .l { color: #dddddd } /* Literal */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
235 .highlight .n { color: #dddddd } /* Name */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
236 .highlight .o { color: #dddddd } /* Operator */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
237 .highlight .x { color: #dddddd } /* Other */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
238 .highlight .p { color: #dddddd } /* Punctuation */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
239 .highlight .cm { color: #99968b; font-style: italic} /* Comment.Multiline */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
240 .highlight .cp { color: #e5786d } /* Comment.Preproc */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
241 .highlight .c1 { color: #99968b; font-style: italic} /* Comment.Single */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
242 .highlight .cs { color: #99968b; font-style: italic} /* Comment.Special */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
243 .highlight .gd { color: #dddddd } /* Generic.Deleted */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
244 .highlight .ge { color: #dddddd } /* Generic.Emph */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
245 .highlight .gr { color: #dddddd } /* Generic.Error */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
246 .highlight .gh { color: #f6f3e8; font-weight: bold} /* Generic.Heading */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
247 .highlight .gi { color: #dddddd } /* Generic.Inserted */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
248 .highlight .go { color: #888888 } /* Generic.Output */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
249 .highlight .gp { color: #dddddd } /* Generic.Prompt */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
250 .highlight .gs { color: #dddddd } /* Generic.Strong */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
251 .highlight .gu { color: #f6f3e8; font-weight: bold} /* Generic.Subheading */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
252 .highlight .gt { color: #dddddd } /* Generic.Traceback */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
253 .highlight .kc { color: #87afff } /* Keyword.Constant */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
254 .highlight .kd { color: #87afff } /* Keyword.Declaration */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
255 .highlight .kn { color: #87afff } /* Keyword.Namespace */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
256 .highlight .kp { color: #87afff } /* Keyword.Pseudo */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
257 .highlight .kr { color: #87afff } /* Keyword.Reserved */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
258 .highlight .kt { color: #caeb82 } /* Keyword.Type */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
259 .highlight .ld { color: #dddddd } /* Literal.Date */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
260 .highlight .m { color: #e5786d } /* Literal.Number */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
261 .highlight .s { color: #95e454; font-style: italic} /* Literal.String */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
262 .highlight .na { color: #caeb82 } /* Name.Attribute */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
263 .highlight .nb { color: #dddddd } /* Name.Builtin */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
264 .highlight .nc { color: #dddddd } /* Name.Class */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
265 .highlight .no { color: #e5786d } /* Name.Constant */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
266 .highlight .nd { color: #dddddd } /* Name.Decorator */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
267 .highlight .ni { color: #ffdead } /* Name.Entity */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
268 .highlight .ne { color: #dddddd } /* Name.Exception */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
269 .highlight .nf { color: #caeb82 } /* Name.Function */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
270 .highlight .nl { color: #dddddd } /* Name.Label */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
271 .highlight .nn { color: #dddddd } /* Name.Namespace */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
272 .highlight .nx { color: #dddddd } /* Name.Other */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
273 .highlight .py { color: #dddddd } /* Name.Property */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
274 .highlight .nt { color: #87afff } /* Name.Tag */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
275 .highlight .nv { color: #caeb82 } /* Name.Variable */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
276 .highlight .ow { color: #dddddd } /* Operator.Word */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
277 .highlight .w { color: #dddddd } /* Text.Whitespace */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
278 .highlight .mf { color: #e5786d } /* Literal.Number.Float */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
279 .highlight .mh { color: #e5786d } /* Literal.Number.Hex */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
280 .highlight .mi { color: #e5786d } /* Literal.Number.Integer */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
281 .highlight .mo { color: #e5786d } /* Literal.Number.Oct */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
282 .highlight .sb { color: #95e454; font-style: italic } /* Literal.String.Backtick */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
283 .highlight .sc { color: #95e454; font-style: italic } /* Literal.String.Char */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
284 .highlight .sd { color: #95e454; font-style: italic } /* Literal.String.Doc */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
285 .highlight .s2 { color: #95e454; font-style: italic } /* Literal.String.Double */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
286 .highlight .se { color: #95e454; font-style: italic } /* Literal.String.Escape */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
287 .highlight .sh { color: #95e454; font-style: italic } /* Literal.String.Heredoc */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
288 .highlight .si { color: #95e454; font-style: italic } /* Literal.String.Interpol */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
289 .highlight .sx { color: #95e454; font-style: italic } /* Literal.String.Other */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
290 .highlight .sr { color: #95e454; font-style: italic } /* Literal.String.Regex */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
291 .highlight .s1 { color: #95e454; font-style: italic } /* Literal.String.Single */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
292 .highlight .ss { color: #95e454; font-style: italic } /* Literal.String.Symbol */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
293 .highlight .bp { color: #dddddd } /* Name.Builtin.Pseudo */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
294 .highlight .vc { color: #caeb82 } /* Name.Variable.Class */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
295 .highlight .vg { color: #caeb82 } /* Name.Variable.Global */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
296 .highlight .vi { color: #caeb82 } /* Name.Variable.Instance */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
297 .highlight .il { color: #e5786d } /* Literal.Number.Integer.Long */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
298
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
299 .gutter{
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
300 background-color: black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
301 color: #857b6f;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
302 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
303
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
304 .post > .highlight .lineno {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
305 display:inline-block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
306 padding: 0 5px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
307 border-right:1px solid #ccc;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
308 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
309
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
310 .post > .highlight pre code {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
311 display: block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
312 white-space: pre;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
313 overflow-x: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
314 word-wrap: normal;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
315 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
316
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
317 /* To display a "Command Line" to be typed by user */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
318 code code.command {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
319 display: inline-block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
320 font-family: monospace;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
321 border: 1px solid #606085;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
322 width: 95%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
323 padding: 2mm 1em;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
324 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
325 /* To highlight arguments that user should adapt */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
326 code.command > i {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
327 font-style: italic;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
328 color: #40505A;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
329 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
330
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
331 /* ********** Table for a list of man pages ********** */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
332 table.manlist {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
333 border: 1px solid black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
334 background-color: #AEAAAE;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
335 margin-top: 0mm;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
336 margin-bottom: 5mm;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
337 margin-left: 10mm;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
338 margin-right: 10mm;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
339 padding: 1mm;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
340 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
341 table.manlist th {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
342 background-color: #545854;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
343 color: #E8E8E8;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
344 padding: 0.5mm 2mm;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
345 border: 1px inset;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
346 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
347 table.manlist tr:hover {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
348 /* When the mouse is over a line, we highlight the whole line
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
349 because it is very convenient for reading */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
350 background-color: #AECAAE;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
351 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
352 table.manlist td {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
353 color: #000000;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
354 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
355 table.manlist td.name {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
356 font-family: monospace;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
357 width: 1px; /* This prevents the column from stretching */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
358 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
359 table.manlist td.name a {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
360 display: inline-block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
361 width: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
362 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
363 table.manlist td.section {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
364 text-align: center;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
365 width: 1px; /* This prevents the column from stretching */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
366 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
367 table.manlist a {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
368 color: #000040;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
369 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
370
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
371 /* main content */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
372 article {padding: 1em}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
373
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
374 /*
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
375 * size specific styles
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
376 */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
377
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
378 /* large screens. size: 64 * 2 + width of the wrapper (800) == 928 + margin */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
379 @media screen and (min-width: 940px) {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
380
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
381 /* menu as a vertical dock */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
382 aside {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
383 position: fixed;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
384 right: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
385 top: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
386 width: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
387 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
388
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
389 nav.menu li#dock {background-image: url(/img/dock_dock.png)}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
390 nav.menu li#home {background-image: url(/img/dock_home.png)}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
391 nav.menu li#themes {background-image: url(/img/dock_themes.png)}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
392
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
393 nav.menu {padding: 0}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
394 nav.menu {background-color: #ddddff}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
395
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
396 nav.menu ul {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
397 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
398 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
399 list-style:none;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
400 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
401
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
402 nav.menu li {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
403 float: left;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
404 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
405 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
406 list-style: none;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
407 display: inline;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
408 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
409
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
410 nav.menu a {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
411 padding: 3px 12px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
412 text-decoration: none;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
413 color: #999;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
414 line-height: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
415 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
416
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
417 nav.menu a:hover {color: #BBB}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
418
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
419 nav.menu form {display: inline}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
420
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
421 nav.menu .current a {color: #fff}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
422
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
423 nav.menu li {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
424 display: block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
425 width: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
426 height: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
427 border: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
428 padding:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
429 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
430
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
431 nav.menu li a {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
432 display: block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
433 width: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
434 height: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
435 border: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
436 padding:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
437 line-height: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
438 font-size: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
439 color: transparent;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
440 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
441
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
442 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
443
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
444 /* small screens */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
445 @media screen and (max-width: 939px) {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
446
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
447 #wrapper {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
448 width: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
449 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
450 border: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
451 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
452
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
453 /* menu as a horizontal, scrollable icon list */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
454 article {width: auto}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
455
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
456 nav.menu {padding: 0 1em 0 1em}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
457
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
458 nav.menu ul {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
459 border: 3px groove black;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
460 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
461 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
462 list-style:none;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
463 display: flex;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
464 flex-wrap: nowrap;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
465 overflow-x: auto;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
466 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
467
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
468 nav.menu li {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
469 float: left;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
470 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
471 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
472 list-style: none;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
473 display: inline;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
474 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
475
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
476 nav.menu a {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
477 padding: 3px 12px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
478 text-decoration: none;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
479 color: #999;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
480 line-height: 100%;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
481 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
482
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
483 nav.menu a:hover {color: #BBB}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
484 nav.menu form {display: inline}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
485 nav.menu .current a {color: #fff}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
486
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
487 nav.menu li {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
488 display: block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
489 width: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
490 height: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
491 border: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
492 padding:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
493 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
494
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
495 nav.menu li a {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
496 display: block;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
497 width: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
498 height: 64px;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
499 border: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
500 padding:0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
501 line-height: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
502 font-size: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
503 color: transparent;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
504 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
505
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
506 nav.menu li#dock {display: none}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
507 nav.menu li#home {background-image: url(/img/prefs_home.png)}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
508 nav.menu li#themes {background-image: url(/img/prefs_themes.png})}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
509 .highlight {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
510 padding: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
511 margin: 0;
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
512 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
513 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
514
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
515 /* very small - usually mobile phone screens */
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
516 @media screen and (max-width: 600px) {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
517 header h1 a {font-size: 1.5em}
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
518 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
519 @media (prefers-color-scheme: dark) {
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
520 body {
3
21b2c131d8c7 Wallpapers take a long time to load, and the mobile ones were removed because of the same reason
yakumo_izuru
parents: 2
diff changeset
521 background-color: black;
0
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
522 }
edf035b5437a It starts with
yakumo_izuru
parents:
diff changeset
523 }