Mercurial > hg > rlgallery-misc

annotate web/main.css @ 50:4549b3c0cd28

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
rlgall.py: add time selection to Game.getHigh(). Optional inittime and finaltime parameters set the range of time over which to calculate high scores.
author John "Elwin" Edwards
date Fri, 28 Mar 2014 09:33:49 -0700
parents 86b616d88020
children 0037de90af8b
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
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
28 ul {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
29 list-style-type: none;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
30 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
31
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
32 form {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
33 width: 90%;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
34 margin: 1.5em auto;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
35 border-top: 1px solid #101040;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
36 border-bottom: 1px solid #101040;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
37 }
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
38
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
39 form div {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
40 margin: 0.6em auto;
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 span.metavar {
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
44 font-style: italic;
64272fc2350c Begin importing the website.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
45 }
34
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
46
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
47 div.foot {
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
48 margin-top: 1em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
49 font-size: 0.8em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
50 background-color: #E0FFE0;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
51 padding: 0.3em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
52 text-align: center;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
53 }
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
54
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
55 div.foot a {
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
56 padding: 0 0.6em;
86b616d88020 Add a footer with some links to the Web pages.
John "Elwin" Edwards
parents: 7
diff changeset
57 }