annotate web/main.css @ 72:1d8dc3ed22cf

Restore the default size of the high score list. In an era of megabyte JavaScript libraries, ten lines of text is not too much.
author John "Elwin" Edwards
date Sun, 20 Mar 2016 07:59:22 -0400
parents 0037de90af8b
children 6830c5dba61d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
1 @import url("http://fonts.googleapis.com/css?family=Inconsolata");
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
2
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
3 html {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
4 background-color: #C0FFC0;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
5 color: #101040;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
6 font-family: sans-serif;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
7 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
8
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
9 h1 {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
10 text-align: center;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
11 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
12
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
13 h1, h2, h3 {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
14 font-family: Inconsolata, monospace;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
15 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
16
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
17 div.content {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
18 margin: 0 auto;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
19 width: 75%;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
20 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
21
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
22 div.nav {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
23 font-size: 0.8em;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
24 background-color: #E0FFE0;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
25 padding: 0.3em;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
26 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
27
59
0037de90af8b Add a screenshot on the front page.
John "Elwin" Edwards
parents: 34
diff changeset
28 p.cimage {
0037de90af8b Add a screenshot on the front page.
John "Elwin" Edwards
parents: 34
diff changeset
29 text-align: center;
0037de90af8b Add a screenshot on the front page.
John "Elwin" Edwards
parents: 34
diff changeset
30 }
0037de90af8b Add a screenshot on the front page.
John "Elwin" Edwards
parents: 34
diff changeset
31
7
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
32 ul {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
33 list-style-type: none;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
34 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
35
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
36 form {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
37 width: 90%;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
38 margin: 1.5em auto;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
39 border-top: 1px solid #101040;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
40 border-bottom: 1px solid #101040;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
41 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
42
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
43 form div {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
44 margin: 0.6em auto;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
45 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
46
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
47 span.metavar {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
48 font-style: italic;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
49 }
34
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
50
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
51 div.foot {
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
52 margin-top: 1em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
53 font-size: 0.8em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
54 background-color: #E0FFE0;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
55 padding: 0.3em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
56 text-align: center;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
57 }
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
58
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
59 div.foot a {
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
60 padding: 0 0.6em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
61 }