1 | /* oilshell/oil/web/blog-v4.css
|
2 | *
|
3 | * Blog style as of January 2021.
|
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 | }
|
48 |
|
49 | blockquote {
|
50 | font-family: sans-serif;
|
51 | font-size: medium; /* seems to look better */
|
52 | background: #EEE; /* same color as pre */
|
53 |
|
54 | margin: 0;
|
55 | border-left: 10px solid #ccc;
|
56 | /* Only 1px vertical because <blockquote><p> produces "bulge" */
|
57 | padding: 1px 1em;
|
58 | }
|
59 |
|
60 | .link-box {
|
61 | margin: 1em 0; /* div needs separation */
|
62 | padding: 1px 1em;
|
63 | background-color: #eee;
|
64 | }
|
65 |
|
66 | .title-without-link {
|
67 | color: darkgreen;
|
68 | }
|
69 |
|
70 | .footnotes {
|
71 | font-size: small;
|
72 | }
|
73 |
|
74 | .date {
|
75 | font-size: medium;
|
76 | color: #555;
|
77 | padding-left: 1em;
|
78 | padding-right: 1em;
|
79 | white-space: nowrap;
|
80 | }
|
81 |
|
82 | /* BEGIN blog/ */
|
83 |
|
84 | .sep-row {
|
85 | vertical-align: center;
|
86 | }
|
87 |
|
88 | .post-list tr {
|
89 | vertical-align: top;
|
90 | }
|
91 | .post-list a {
|
92 | text-decoration: none;
|
93 | }
|
94 | .post-list a:hover {
|
95 | text-decoration: underline;
|
96 | }
|
97 | /* Save space */
|
98 | .post-list .date {
|
99 | padding-left: 0em;
|
100 | }
|
101 |
|
102 | /* Subtly stand out */
|
103 | .alt-month .date {
|
104 | color: #000;
|
105 | }
|
106 |
|
107 | #all-posts tbody {
|
108 | /* NOTE: This seems to make the table background solid like border-collapse:
|
109 | * collapse, but doesn't mess with spacing.
|
110 | */
|
111 | display: block;
|
112 | }
|
113 |
|
114 | /* on blog/index.html */
|
115 | #blog-tag-list {
|
116 | /* text-align: justify; */
|
117 | color: gray;
|
118 | }
|
119 |
|
120 | .tag-count {
|
121 | white-space: nowrap;
|
122 | }
|
123 |
|
124 | /* END blog/ */
|
125 |
|
126 | /* For post bodies: */
|
127 |
|
128 | .blog-tag {
|
129 | font-family: sans-serif;
|
130 | }
|
131 |
|
132 | #post-footer {
|
133 | background-color: #DEE;
|
134 | padding: 0.5em;
|
135 | }
|
136 |
|
137 | .attention {
|
138 | text-align: center;
|
139 | background-color: #DEE;
|
140 | padding: 1px 0.5em;
|
141 | }
|
142 |
|
143 | /* anchors in cross-ref.html */
|
144 | a[name] {
|
145 | color: green;
|
146 | }
|
147 |
|
148 | /* Links to cross-ref.html. I copied color values from code.css for visual
|
149 | harmony. */
|
150 | a[href^="/cross-ref.html"] {
|
151 | color: #4070a0 /* Literal.String */
|
152 | }
|
153 |
|
154 | a[href^="/cross-ref.html"]:visited {
|
155 | /* color: #bb60d5 /* Name.Variable */
|
156 | color: purple;
|
157 | }
|
158 |
|
159 | /* Internal links. This is so that cross-ref.html is consistent. Technically
|
160 | we might want to exclude other internal links, but I don't have many of those
|
161 | right now. */
|
162 | a[href^="#"] {
|
163 | color: #4070a0 /* Literal.String (light blue) */
|
164 | }
|
165 |
|
166 | a[href^="#"]:visited {
|
167 | /* color: #bb60d5 /* Name.Variable (light purple) */
|
168 | color: purple;
|
169 | }
|
170 | .book-text-link-td {
|
171 | padding: 1em;
|
172 | border-top: solid 1px #BBB;
|
173 | }
|
174 |
|
175 | .book-image-td {
|
176 | width: 30%
|
177 | }
|
178 |
|
179 | .book-desc-td {
|
180 | vertical-align: top;
|
181 | }
|
182 |
|
183 | /* For books and others */
|
184 | hr {
|
185 | border: none;
|
186 | height: 1px;
|
187 | background-color: #BBB;
|
188 | }
|
189 |
|
190 | /* For blog release notes. Copied from web/changelog.css */
|
191 | .checksum {
|
192 | font-family: monospace;
|
193 | }
|
194 | .issue-num {
|
195 | font-family: monospace;
|
196 | width: 3em;
|
197 | }
|
198 | .issue-title {
|
199 | font-family: sans-serif;
|
200 | }
|
201 | .subject {
|
202 | font-family: sans-serif;
|
203 | }
|