1a.summary-letter {
2    text-decoration: none;
3}
4
5a {
6    color: #2D6198;
7}
8
9a:visited {
10    color: #884488;
11}
12
13#banner {
14    background-color: white;
15    position: relative;
16    text-align: center;
17}
18
19#banner img {
20    margin-bottom: 1px;
21    margin-top: 5px;
22}
23
24#body {
25    margin-left: 1em;
26    margin-right: 1em;
27}
28
29body {
30    background-color: #313131;
31    margin: 0;
32    text-align: justify;
33}
34
35.center {
36    margin-left: auto;
37    margin-right: auto;
38    text-align: center;
39}
40
41#container {
42    background-color: white;
43    color: #202020;
44    margin-left: 1em;
45    margin-right: 1em;
46}
47
48#footer {
49    text-align: center;
50}
51
52h1 a, h2 a, h3 a, h4 a {
53    text-decoration: inherit;
54    color: inherit;
55}
56
57h1, h2, h3, h4 {
58    padding-left: 0.4em;
59    border-radius: 4px;
60    padding-bottom: 0.25em;
61    padding-top: 0.25em;
62    border: 1px solid #6A996A;
63}
64
65h1 {
66    background-color: #7BB37B;
67    color: #151515;
68    font-size: 1.2em;
69    padding-bottom: 0.3em;
70    padding-top: 0.3em;
71}
72
73h2 {
74    color: #313131;
75    font-size: 1.0em;
76    background-color: #ABE3AB;
77}
78
79h3 {
80    color: #313131;
81    font-size: 0.9em;
82    margin-bottom: -6px;
83    background-color: #BBF3BB;
84}
85
86h4 {
87    color: #313131;
88    font-size: 0.8em;
89    margin-bottom: -8px;
90    background-color: #D1FDD1;
91}
92
93img {
94    border: 0;
95}
96
97#navbar {
98    background-color: #738073;
99    border-bottom: 1px solid #5C665C;
100    border-top: 1px solid #5C665C;
101    margin-top: 12px;
102    padding: 0.3em;
103    position: relative;
104    text-align: center;
105}
106
107#navbar a, #navbar_secondary a {
108    color: white;
109    padding: 0.3em;
110    text-decoration: none;
111}
112
113#navbar a:hover, #navbar_secondary a:hover {
114    background-color: #313131;
115    color: white;
116    text-decoration: none;
117}
118
119#navbar_secondary {
120    background-color: #738073;
121    border-bottom: 1px solid #5C665C;
122    border-left: 1px solid #5C665C;
123    border-right: 1px solid #5C665C;
124    padding: 0.3em;
125    position: relative;
126    text-align: center;
127}
128
129p {
130    margin-left: 1em;
131    margin-right: 1em;
132}
133
134pre {
135    margin-left: 3em;
136    margin-right: 3em;
137    padding: 0.3em;
138    border: 1px solid #bbb;
139    background-color: #f7f7f7;
140}
141
142dl dt {
143    font-weight: bold;
144}
145
146#proj_desc {
147    font-size: 1.2em;
148}
149
150#repos {
151    margin-left: 1em;
152    margin-right: 1em;
153    border-collapse: collapse;
154    border: solid 1px #6A996A;
155}
156
157#repos th {
158    background-color: #7BB37B;
159    border: solid 1px #6A996A;
160}
161
162#repos td {
163    padding: 0.2em;
164    border: solid 1px #6A996A;
165}
166