1 | /* oilshell/oil/web/blog.css
|
2 | *
|
3 | * Old blog posts use this. Newer ones use web/blog-v3.css.
|
4 | */
|
5 |
|
6 | @media screen and (min-width: 801px) {
|
7 | body {
|
8 | font-size: large;
|
9 | }
|
10 | }
|
11 |
|
12 | #latch-status {
|
13 | text-align: center;
|
14 | color: grey;
|
15 | }
|
16 |
|
17 | h1 {
|
18 | text-align: center;
|
19 | }
|
20 |
|
21 | .blog-post-title {
|
22 | text-align: left;
|
23 | font-size: 1.3em;
|
24 | }
|
25 |
|
26 | h2 {
|
27 | /* x-large is too big; causes most titles to wrap badly (on Chrome/Firefox desktop). */
|
28 | font-size: 1.2em;
|
29 | }
|
30 |
|
31 | h3 {
|
32 | margin: 0em;
|
33 | color: darkgreen;
|
34 | font-size: 1.0em; /* Similar to default h4 */
|
35 | }
|
36 |
|
37 | /* Same as h4, but doesn't appear in TOC */
|
38 | h4 {
|
39 | margin: 0em;
|
40 | color: darkgreen;
|
41 | font-size: 1.0em;
|
42 | }
|
43 |
|
44 | /* Exclude <pre><code>. Is there a better way to do this? */
|
45 | p code, div code, li code, h2 code, h3 code {
|
46 | color: green;
|
47 | /* makes size more consistent with pre in Chrome, but not Firefox, sigh */
|
48 | /* font-size: medium; */
|
49 | }
|
50 |
|
51 | blockquote {
|
52 | background-color: papayawhip;
|
53 | padding: 1.0em;
|
54 | }
|
55 |
|
56 | pre {
|
57 | /* TODO: It would be nice to remove this, but many code blocks wrap.
|
58 | Other solutions: A skinny font. Make the whole page 35em? (not great) */
|
59 | font-size: medium;
|
60 | }
|
61 |
|
62 | .footnotes {
|
63 | font-size: small;
|
64 | }
|
65 |
|
66 | .date {
|
67 | font-size: medium;
|
68 | color: #555;
|
69 | padding-left: 1em;
|
70 | padding-right: 1em;
|
71 | white-space: nowrap;
|
72 | }
|
73 |
|
74 | /* BEGIN blog/ */
|
75 |
|
76 | .sep-row {
|
77 | vertical-align: center;
|
78 | }
|
79 |
|
80 | .post-list tr {
|
81 | vertical-align: top;
|
82 | }
|
83 | .post-list a {
|
84 | text-decoration: none;
|
85 | }
|
86 | .post-list a:hover {
|
87 | text-decoration: underline;
|
88 | }
|
89 | /* Save space */
|
90 | .post-list .date {
|
91 | padding-left: 0em;
|
92 | }
|
93 |
|
94 | /* Subtly stand out */
|
95 | .alt-month .date {
|
96 | color: #000;
|
97 | }
|
98 |
|
99 | #all-posts tbody {
|
100 | /* NOTE: This seems to make the table background solid like border-collapse:
|
101 | * collapse, but doesn't mess with spacing.
|
102 | */
|
103 | display: block;
|
104 | }
|
105 |
|
106 | /* on blog/index.html */
|
107 | #blog-tag-list {
|
108 | /* text-align: justify; */
|
109 | color: gray;
|
110 | }
|
111 |
|
112 | .tag-count {
|
113 | white-space: nowrap;
|
114 | }
|
115 |
|
116 | /* END blog/ */
|
117 |
|
118 | /* For post bodies: */
|
119 |
|
120 | .blog-tag {
|
121 | font-family: sans-serif;
|
122 | }
|
123 |
|
124 | #post-footer {
|
125 | background-color: #DEE;
|
126 | padding: 0.5em;
|
127 | }
|
128 |
|
129 | .attention {
|
130 | text-align: center;
|
131 | background-color: #DEE;
|
132 | padding: 0.5em;
|
133 | }
|
134 |
|
135 | /* anchors in cross-ref.html */
|
136 | a[name] {
|
137 | color: green;
|
138 | }
|
139 |
|
140 | /* Links to cross-ref.html. I copied color values from code.css for visual
|
141 | harmony. */
|
142 | a[href^="/cross-ref.html"] {
|
143 | color: #4070a0 /* Literal.String */
|
144 | }
|
145 |
|
146 | a[href^="/cross-ref.html"]:visited {
|
147 | /* color: #bb60d5 /* Name.Variable */
|
148 | color: purple;
|
149 | }
|
150 |
|
151 | /* Internal links. This is so that cross-ref.html is consistent. Technically
|
152 | we might want to exclude other internal links, but I don't have many of those
|
153 | right now. */
|
154 | a[href^="#"] {
|
155 | color: #4070a0 /* Literal.String (light blue) */
|
156 | }
|
157 |
|
158 | a[href^="#"]:visited {
|
159 | /* color: #bb60d5 /* Name.Variable (light purple) */
|
160 | color: purple;
|
161 | }
|
162 | .book-text-link-td {
|
163 | padding: 1em;
|
164 | border-top: solid 1px #BBB;
|
165 | }
|
166 |
|
167 | .book-image-td {
|
168 | width: 30%
|
169 | }
|
170 |
|
171 | .book-desc-td {
|
172 | vertical-align: top;
|
173 | }
|
174 |
|
175 | /* For books and others */
|
176 | hr {
|
177 | border: none;
|
178 | height: 1px;
|
179 | background-color: #BBB;
|
180 | }
|
181 |
|
182 | /* Hack to override language.css. Not in manual.css because pre blocks are
|
183 | * bigger, sigh */
|
184 | .sh-command {
|
185 | font-weight: bold;
|
186 | }
|