OILS / web / install.css View on Github | oilshell.org

41 lines, 32 significant
1/* For INSTALL.txt as HTML */
2
3@media screen and (min-width: 801px) {
4 body {
5 font-size: large;
6 }
7}
8
9body {
10 font-family: monospace;
11}
12
13p, ul, ol {
14 margin-left: 2em;
15}
16
17h1 {
18 font-size: 1.5em; /* reduce to what browsers apparently use for h2 */
19 font-family: serif;
20}
21
22h2 {
23 font-size: 1.2em; /* reduce to what browsers apparently use for h3 */
24 font-family: serif;
25}
26
27pre {
28 margin-left: 2em;
29}
30
31code {
32 color: darkgreen;
33}
34
35#home-link {
36 font-family: serif;
37}
38
39#build-timestamp {
40 font-family: serif;
41}