hydra.css

div.skip-topbar {
    padding-top: 40px;
    margin-bottom: 1.5em;
}

@media (max-width: 979px) {
    div.skip-topbar {
        padding-top: 0;
        margin-bottom: 0;
    }
}

.logo {
    margin-top: -10px;
    height: 25px;
}

th {
    text-align: left;
    vertical-align: top;
}

.template {
    display: none;
}

table.table-small {
    width: auto !important;
}

span:target > span.dep-tree-line {
    font-style: italic;
    font-weight: bold;
}

:target {
    padding-top: 40px;
    margin-top: -40px;
    display: inline-block; /* required for webkit browsers */
}

span.disabled-project, span.disabled-jobset, span.disabled-job {
    text-decoration: line-through;
}

span.hidden-project a, span.hidden-jobset a {
    color: gray;
}

table.info-table th {
    padding-right: 1.0em;
    padding-bottom: 0.2em;
}

/* Missing in bootstrap 2.0.2 */
.text-warning {
    color: #c09853;
}

table.clickable-rows > tbody > tr {
    cursor: pointer;
}

h2 {
    font-size: 150%;
    margin-bottom: 0em;
}

h3 {
    font-size: 120%;
    margin-top: 0.5em;
    margin-bottom: 0em;
}

div.page-header {
    margin-top: 1em;
    margin-bottom: 1em;
    padding-top: 0em;
    padding-bottom: 0.5em;
    color: #999999;
    font-size: 123.809%;
    font-weight: normal;
}

.shell-prompt {
    color: gray;
}

div.news-item:not(:first-child) {
    margin-top: 1em;
}

td.nowrap {
    white-space: nowrap;
}

.override-link a {
    color: inherit;
}

.actions {
    font-weight: bold;
}

.star {
    color: black;
    font-size: 110%;
}

.star:hover {
    cursor: pointer;
}

span.keep-whitespace {
    white-space: pre-wrap;
}

.build-status {
    max-width: none; /* don't apply responsive design to status images */
}

pre.log {
    line-height: 1.2em;
}

div.flot-tooltip {
    display: none;
    position: absolute;
    border: 1px solid #fdd;
    padding: 2px;
    background-color: #fee;
    opacity: 0.80;
    z-index: 100;
}

td.step-status span.error {
    color: red;
    font-weight: bold;
}

td.step-status span.warn {
    color: #aaaa00;
    font-weight: bold;
}

.date {
	cursor: help;
	border-bottom: 1px dotted #999;
}