yading@10: a {
yading@10:     color: #2D6198;
yading@10: }
yading@10: 
yading@10: a:visited {
yading@10:     color: #884488;
yading@10: }
yading@10: 
yading@10: #banner {
yading@10:     background-color: white;
yading@10:     position: relative;
yading@10:     text-align: center;
yading@10: }
yading@10: 
yading@10: #banner img {
yading@10:     padding-bottom: 1px;
yading@10:     padding-top: 5px;
yading@10: }
yading@10: 
yading@10: #body {
yading@10:     margin-left: 1em;
yading@10:     margin-right: 1em;
yading@10: }
yading@10: 
yading@10: body {
yading@10:     background-color: #313131;
yading@10:     margin: 0;
yading@10:     text-align: justify;
yading@10: }
yading@10: 
yading@10: .center {
yading@10:     margin-left: auto;
yading@10:     margin-right: auto;
yading@10:     text-align: center;
yading@10: }
yading@10: 
yading@10: #container {
yading@10:     background-color: white;
yading@10:     color: #202020;
yading@10:     margin-left: 1em;
yading@10:     margin-right: 1em;
yading@10: }
yading@10: 
yading@10: #footer {
yading@10:     text-align: center;
yading@10: }
yading@10: 
yading@10: h1, h2, h3 {
yading@10:     padding-left: 0.4em;
yading@10:     border-radius: 4px;
yading@10:     padding-bottom: 0.2em;
yading@10:     padding-top: 0.2em;
yading@10:     border: 1px solid #6A996A;
yading@10: }
yading@10: 
yading@10: h1 {
yading@10:     background-color: #7BB37B;
yading@10:     color: #151515;
yading@10:     font-size: 1.2em;
yading@10:     padding-bottom: 0.3em;
yading@10:     padding-top: 0.3em;
yading@10: }
yading@10: 
yading@10: h2 {
yading@10:     color: #313131;
yading@10:     font-size: 0.9em;
yading@10:     background-color: #ABE3AB;
yading@10: }
yading@10: 
yading@10: h3 {
yading@10:     color: #313131;
yading@10:     font-size: 0.8em;
yading@10:     margin-bottom: -8px;
yading@10:     background-color: #BBF3BB;
yading@10: }
yading@10: 
yading@10: img {
yading@10:     border: 0;
yading@10: }
yading@10: 
yading@10: #navbar {
yading@10:     background-color: #738073;
yading@10:     border-bottom: 1px solid #5C665C;
yading@10:     border-top: 1px solid #5C665C;
yading@10:     margin-top: 12px;
yading@10:     padding: 0.3em;
yading@10:     position: relative;
yading@10:     text-align: center;
yading@10: }
yading@10: 
yading@10: #navbar a, #navbar_secondary a {
yading@10:     color: white;
yading@10:     padding: 0.3em;
yading@10:     text-decoration: none;
yading@10: }
yading@10: 
yading@10: #navbar a:hover, #navbar_secondary a:hover {
yading@10:     background-color: #313131;
yading@10:     color: white;
yading@10:     text-decoration: none;
yading@10: }
yading@10: 
yading@10: #navbar_secondary {
yading@10:     background-color: #738073;
yading@10:     border-bottom: 1px solid #5C665C;
yading@10:     border-left: 1px solid #5C665C;
yading@10:     border-right: 1px solid #5C665C;
yading@10:     padding: 0.3em;
yading@10:     position: relative;
yading@10:     text-align: center;
yading@10: }
yading@10: 
yading@10: p {
yading@10:     margin-left: 1em;
yading@10:     margin-right: 1em;
yading@10: }
yading@10: 
yading@10: pre {
yading@10:     margin-left: 3em;
yading@10:     margin-right: 3em;
yading@10:     padding: 0.3em;
yading@10:     border: 1px solid #bbb;
yading@10:     background-color: #f7f7f7;
yading@10: }
yading@10: 
yading@10: dl dt {
yading@10:     font-weight: bold;
yading@10: }
yading@10: 
yading@10: #proj_desc {
yading@10:     font-size: 1.2em;
yading@10: }
yading@10: 
yading@10: #repos {
yading@10:     margin-left: 1em;
yading@10:     margin-right: 1em;
yading@10:     border-collapse: collapse;
yading@10:     border: solid 1px #6A996A;
yading@10: }
yading@10: 
yading@10: #repos th {
yading@10:     background-color: #7BB37B;
yading@10:     border: solid 1px #6A996A;
yading@10: }
yading@10: 
yading@10: #repos td {
yading@10:     padding: 0.2em;
yading@10:     border: solid 1px #6A996A;
yading@10: }