add stop server
[blog.git] / css / main.css
1 html {
2     background:#fffbf8;
3     color:#585858;
4     padding:17px;
5 }
6
7 body {
8     max-width:45em;
9     line-height:1.333;
10     font-size:12pt;
11     font-family:"PT Serif", serif;
12     text-rendering:optimizeLegibility;
13     margin:0 auto;
14     padding:20px 60px;
15 }
16
17 #banner h1 {
18     font-family:"Open Sans","Deja Vu Sans", Georgia, sans;
19     font-size:300%;
20     line-height:.2;
21 }
22
23 #banner nav {
24     font-size:115%;
25     font-family:"Open Sans","Deja Vu Sans", Georgia, sans;
26     font-weight:600;
27     padding-bottom:30px;
28     text-align:center;
29 }
30
31 #banner nav ul {
32     list-style:none;
33     margin:0 auto;
34 }
35
36 #banner nav li {
37     float:right;
38     display:inline;
39     margin:0;
40 }
41
42 #banner nav a:link,#banner nav a:visited {
43     color:#585858;
44     display:inline-block;
45     height:30px;
46     text-decoration:none;
47     padding:0 .5em;
48 }
49
50 h1,h2,h3 {
51     font-family:"Open Sans","Deja Vu Sans", Georgia, sans;
52     color:#585858;
53     font-weight:600;
54     text-decoration:none;
55 }
56
57 h1 {
58     font-size:200%;
59     margin-bottom:.5em;
60     line-height:1;
61 }
62
63 h2 {
64     font-size:116%;
65     margin-top:.5em;
66     line-height:1.2;
67 }
68
69 h3 {
70     font-size:105%;
71     line-height:1.26;
72     margin-top:.5em;
73 }
74
75 h1 a,h2 a,h3 a {
76     color:#585858;
77     text-decoration:none;
78 }
79
80 b,strong {
81     font-weight:700;
82     color:#585858;
83 }
84
85 li,p,dd,blockquote {
86     text-align:justify;
87     -moz-hyphens:auto;
88     -webkit-hyphens:auto;
89     hyphens:auto;
90     margin:1em 0;
91 }
92
93 ul,ol {
94     padding-left:1.2em;
95     margin-top:.5em;
96 }
97
98 ol ol {
99     list-style-type:lower-latin;
100 }
101
102 blockquote {
103     margin:1.2em 1.5em;
104 }
105
106 dt {
107     font-weight:400;
108 }
109
110 pre {
111     overflow:auto;
112     color:#585858;
113     background-color:#f5ebe1;
114     font-size:10pt;
115     border-color:#585858;
116     border-style:solid;
117     border-width:1px;
118     margin:1em 0;
119     padding:.5em;
120 }
121
122 pre,code {
123     font-family:"Open Sans", Inconsolata, "Deja Vu Sans Mono", monospace;
124     white-space:pre;
125 }
126
127 img,table {
128     max-width:80%;
129     margin:1.5em auto;
130 }
131
132 .figure {
133     margin:1.5em auto;
134 }
135
136 .figure p {
137     text-align:center;
138     font-size:80%;
139     line-height:1.286;
140     margin:0;
141 }
142
143 .figure img,.figure svg {
144     margin-bottom:.5em;
145 }
146
147 iframe {
148     height:600px;
149     width:100%;
150     border:1px solid #585858;
151 }
152
153 #mypicture {
154     padding-left:25px;
155     padding-bottom:25px;
156 }
157
158 #footnotes {
159     margin-top:4.5em;
160 }
161
162 #footnotes p {
163     font-size:80%;
164     line-height:1.142;
165 }
166
167 .footdef sup {
168     float:left;
169     margin:0 1em;
170 }
171
172 .drawer {
173     background-color:#4a858c;
174     color:#585858;
175     margin:1em 0;
176     padding:20px;
177 }
178
179 .drawer h6 {
180     color:#bd745e;
181     font-size:14pt;
182     font-weight:700;
183     margin:0 0 1em;
184 }
185
186 .drawer :last-child {
187     margin-bottom:0;
188 }
189
190 .drawer.warning {
191     background-color:#a52a2a;
192 }
193
194 .drawer.warning h6 {
195     color:#a52a2a;
196 }
197
198 #postamble p {
199     font-size:75%;
200     line-height:.6;
201     text-align:right;
202     margin-top:.5em;
203 }
204
205 path {
206     stroke:#000;
207     stroke-width:2;
208     fill:none;
209 }
210
211 svg {
212     display:block;
213     margin:1.5em auto;
214 }
215
216 svg button {
217     position:absolute;
218     right:0;
219     bottom:0;
220 }
221
222 svg .plot {
223     display:none;
224     margin:1em;
225 }
226
227 svg .plot thead {
228     font-size:110%;
229     color:#888a85;
230 }
231
232 svg .plot em {
233     font-variant:small-caps;
234     font-style:normal;
235 }
236
237 svg .plot th {
238     padding-right:1em;
239     font-style:italic;
240 }
241
242 a,a:hover,#banner nav a:hover,#banner nav a:active,#banner nav .active a:link,#banner nav .active a:visited {
243     color:#bd745e;
244 }
245
246 @media print {
247 body {
248     font-size:9pt;
249     max-width:none;
250     width:auto;
251     column-count:2;
252     -moz-column-count:2;
253     -webkit-column-count:2;
254     widows:3;
255     margin:0;
256 }
257
258 pre {
259     font-size:8pt;
260     margin:6pt 0;
261     padding:0 6pt;
262 }
263
264 p,li,dd,blockquote {
265     margin:6pt 0;
266 }
267
268 h1,#table-of-contents {
269     column-span:all;
270     -webkit-column-span:2;
271 }
272
273 .drawer {
274     border:1pt solid #585858;
275     padding:3pt;
276 }
277
278 .drawer h6,.drawer p {
279     color:#000;
280     font-size:9pt;
281     display:inline;
282 }
283
284 a {
285     text-decoration:none;
286     color:#000;
287 }
288
289 #MathJax_Message,#taglist,svg button {
290     display:none;
291 }
292
293 }
294
295