• Files
• Commits
• Log
• Graph
• Stats

body {
    margin: 20px;
    padding: 10px;
    font-family: "Lucida Grande", "Bitstream Vera Sans", "Verdana";
    font-size: 13px;
    color: #333;
}

h1 {
    font-size: 28px;
    color: #000;
}

a { color: #03c }
a:hover {
    background-color: #b3ecff;
    /* color: #fff; */
    text-decoration: none;
}
a.logo { background-color: #fff } /* suppress default hover behaviour */

h1, h2, h3, h4, h5 {
    font-family: sans-serif;
    margin: 1.2em 0 0.6em 0;
}

p {
    line-height: 1.5em;
    margin: 1.6em 0;
}

#footer {
    clear: both;
    margin-top: 10px;
    padding-top: 2em;
    text-align: center;
    padding-right: 160px;
    font-family: sans-serif;
    font-size: 10px;
    border-top: solid 1px #f0f0f0;
}

/* from bootstrap alert-danger: */
.alert-error {
  color: #a94442;
  background-color: #f2dede;
  border-color: #ebccd1;
}
.alert-error hr {
  border-top-color: #e4b9c0;
}
.alert-error .alert-link {
  color: #843534;
}

.indent {
    margin-left: 2em;
}

.text-danger {
    padding: 10px 5px;
    font-weight: bold;
}

.text-normal { color: #000 }
#form-params {
    border: solid 1px #fff;
    padding: 10px;
}

table.gitlog { width: 80% }
.pre { white-space: pre-wrap; }
.nowrap { white-space: nowrap; }

table.stats { width: 90%; margin: 20px }