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