css/style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47


.site { width: 60em; }

#content.site { width: 59em; }

/*a { color: #008; }

#welcome h1 {
  padding: 20px;
  text-align: center;
  background: #834;
  color: #fff;
  }


#welcome { margin-bottom: 0.5em; }
#welcome p { font-size: 1.3em; color: #444; text-align:center; padding: 0 5em; }
#welcome p:last-child { margin-bottom: 0; }

#header { }
#footer { background: #ddd;}
#footer a { color: #444; }
*/
.category_index { float: left; margin: 0.25em; width:19em; }
.category_index h2 { background: #ddd; text-align: center; padding: 0.25em; margin-bottom: 0.5em; }
.category_index dt, .category_index dd { margin-right: 0.5em; }
.category_index dt { margin-left: 0.5em !important; }
.category_index dd { margin-left: 1.5em !important; }

/*.info, .fork { padding: 10px; }
.content { font-size: 1.2em; }
.content h3 { background: #fdd; font-size: 1.7em; padding: 6px 2px; margin-top: 1.5em; }
.content p { margin-top: 1.5em; }

pre { padding: 20px; background: #444; color: white; font-size: 0.9em; }

#links { padding: 10px; }

#header #links { text-align:right; }
#header #links a { color: #555; font-size: 1.2em; padding: 5px; margin: 10px; }

.button { text-align: center; padding: 10px; font-size: 1.2em; font-weight:bold; }
.red   { border: 3px solid #a88; background: #fee;}
.red a { color: #a44; }
.green { border: 3px solid #8a8; background: #efe;}
.blue  { border: 3px solid #88a; background: #eef;}
*/