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