1 | /* Style for checksum, file size, etc.
|
2 | * Included dynamically from release/$VERSION/index.html, and statically
|
3 | * built into /releases.html.
|
4 | */
|
5 |
|
6 | h1 {
|
7 | font-size: 1.5em; /* reduce to what browsers apparently use for h2 */
|
8 | }
|
9 |
|
10 | h2 {
|
11 | font-size: 1.2em; /* reduce to what browsers apparently use for h3 */
|
12 |
|
13 | padding-top: 1em; /* separate sections */
|
14 | }
|
15 |
|
16 | h3 {
|
17 | font-size: 1.0em;
|
18 | margin-left: 1em;
|
19 | color: darkgreen; /* different than blog */
|
20 | }
|
21 |
|
22 | pre {
|
23 | color: green;
|
24 | margin-left: 4em;
|
25 | }
|
26 |
|
27 | code {
|
28 | color: green;
|
29 | }
|
30 |
|
31 | /* END COMMON */
|
32 |
|
33 |
|
34 | /* Download links are in both releases.html and /release/$VERSION/index.html */
|
35 |
|
36 | .release-table {
|
37 | padding: 1em;
|
38 | }
|
39 |
|
40 | .file-table {
|
41 | padding: 1em;
|
42 | background-color: oldlace;
|
43 | }
|
44 |
|
45 | .file-table table {
|
46 | width: 100%
|
47 | }
|
48 |
|
49 | .file-table-heading {
|
50 | color: darkgreen;
|
51 | }
|
52 |
|
53 | .filename {
|
54 | font-size: large;
|
55 | font-family: monospace;
|
56 | }
|
57 |
|
58 | .size {
|
59 | text-align: right;
|
60 | }
|
61 | .checksum {
|
62 | font-family: monospace;
|
63 | font-size: small;
|
64 | color: #444;
|
65 | }
|
66 |
|
67 | /* for releases.html */
|
68 | .version-number {
|
69 | font-size: large;
|
70 | font-weight: bold;
|
71 | }
|
72 |
|
73 | .date {
|
74 | font-size: medium;
|
75 | color: #555;
|
76 | padding-left: 1em;
|
77 | padding-right: 1em;
|
78 | }
|