4
font: 100% Georgia, Times, serif;
6
margin: 0px 20px 0px 20px;
11
padding: 10px 40px 10px 40px;
21
border: 1px solid #084;
22
padding: 10px 4px 4px 4px;
26
border: 1px solid #000;
27
float: right; clear: right;
31
margin: 0px -25px 10px 0px;
41
font: 100% "Courier New", Courier, Monaco, monospace;
42
color: #042; margin-left: 20px;
46
font-family: Georgia, Times, serif;
47
color: #084; margin-top: 30px;
50
H1, H2, { border-top: 1px solid #084; }
53
font-family: Georgia, Times, serif;
54
color: #084; margin-top: 15px;
57
A:link, A:hover { color: #084; }
58
A:visited { color: #404040; }
60
UL LI { list-style-type: square; }
62
.title { margin-bottom: 2px; color: #084; }
63
.info { font-size: 80%; color: #084; margin-top: 0px; }
65
.bluebox { color: #084; margin-top: 10px; }
67
.highlight { background: #cfc; }
68
.mark { color: #084; }
69
.small { font-size: 80%; }
70
.display { background: #eee; padding: 20px; }
74
border-top: 1px solid #084;
75
border-bottom: 1px solid #084;
80
border-top: medium solid #084;
81
border-bottom: medium solid #084;
86
border-top: medium solid #084;
87
border-bottom: medium solid #084;
93
border: 1px solid #084;
98
border: 1px solid #084;
99
border-collapse: collapse;
105
border: 1px solid #084;
111
border: 1px solid #084;
117
.new { text-decoration: underline; color: red; background: #fff0f0; }
118
.old { text-decoration: line-through; color: blue; background: #f0f0ff; }