annotate site/css/windowmaker.css @ 2:380da6d0a7e9

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