#header {
    margin-top: 10px;
}

#header img {
    margin-bottom: 5px;
}

button {
    float: right;
}

hr.close {
    margin-top: -15px;
}

#nav {
    background-color: #eee;
}

#nav ul {
    padding: 0px;
    margin: 0px;
}

#nav li {
    display: inline;
}
#nav a {
    display: inline-block;
    font-size: 1.4em;
    color: #222;
    text-decoration: none;
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 3px;
    padding-bottom: 3px;
}
#nav a:hover, #nav a.selected {
    color: #000;
    background-color: #fff;
}

table.form {
    width: 500px;
    margin-left: 0;
    margin-right: auto;
}


#description p {
    text-align: justify;
    font-size: 1.3em;
    font-family: "Helvetica Neue", Arial, Helvetica, sans-serif;
}

#description h1 {
    font-family: Times, serif;
}

#footer {
    text-align: center;
}

#register td, #register table, #login td, #login table {
    padding: 0;
    margin: 0;
}

.graybox {
    padding:.8em;
    margin-bottom:1em;
    border:2px solid #8A8A8A;
    background:#E1E1E1;
    color:#333;
    border-color:#8A8A8A;
}

.graybox a {
    color: #444;
}

.error, .notice, .success, graybox {
    text-align: center;
}


#repo .t {
    font-size: 1.5em;
}

ul.options {
    margin-top: -15px;
    margin-left: -35px;
}

ul.options li {
    padding-left: 10px;
    padding-right: 10px;
    display: inline;
}

.indent {
    padding-left: 15px;
}

#search form {
    padding-top: 4px;
    float: right;
}

#search table {
    margin: 0px;
}

#search td {
    padding: 0px;
    padding-left: 5px;
}

.right {
    text-align: right;
}

.gray {
    background-color: #f3f3f3;
}

ul.history span.subject {
    font-weight: bolder;
    margin-left: -20px;
}

ul.history {
    margin-left: 10px;
    list-style-type: none;
}

ul.history li {
    padding-bottom: 15px;
}

.big {
    font-size: 1.4em;
}

.path {
    margin-left: 5px;
    margin-bottom: 10px;
    margin-top: -10px;
}

#help {
    color: #666;
}

#help li {
    list-style-type: none;
    padding-bottom: 15px;
}

.url {
    font-family: courier;
}

.details {
    font-size: 0.8em;
    color: #666;
}

.center {
    text-align: center;
}