blob: aec427a73dcd2c7d2f5da2acb75064a9ffe5d319 (
plain) (
blame)
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
/* see the tail end of index.html
* for license information */
body {
background-color: #000000;
font-family: monospace;
font: Noto Mono;
color: green;
padding-right: 0px;
margin-top: 10px;
margin-bottom: 10px;
margin-right: auto;
margin-left: auto;
width: 850px;
font-size: 1.15em;
}
.date {
font-weight: bold;
}
#logo {
margin-left: 40px;
margin-bottom: 10px;
font-size: 2.5em;
}
#logobyline {
margin-left: 80px;
margin-top: -20px;
}
#navigation {
margin-left: auto;
margin-right: 40px;
width: 850px;
text-align: center;
}
#content {
width: 750px;
margin-left: 50px;
}
#container {
width: 850px;
margin-bottom: 100px;
}
#news {
width: 550px;
margin-left: 100px;
}
#code {
width: 500px;
margin-left: auto;
margin-right: auto;
background-color: #999999;
color: #000000;
}
.code {
width: 500px;
margin-left: auto;
margin-right: auto;
background-color: #999999;
color: #000000;
}
a:link {
text-decoration: none;
color:#cccccc;
}
a:visited {
color:#999999;
text-decoration: none;
}
a:hover {
color:#ffffff;
font-weight: bold;
}
p {
text-indent: 15px;
}
code {
text-indent: 30px;
font-family: monospace;
font: DejaVu Sans Mono;
color: #000000;
background-color: #999999;
padding-left: 4px;
padding-right: 4px;
}
em {
font-style: bold;
}
h1 {
font-size: 1.75em;
text-align: center;
margin-left: auto;
margin-right: auto;
}
h2 {
font-size: 1.5em;
}
h3 {
font-size: 1.35em;
margin-bottom: 5px;
}
h4 {
font-size: 1.25em;
margin-top: 5px;
}
|