blob: 481af36d7d60c09c326626884b19034c6f3d8e45 [file] [log] [blame]
body {
font-family: sans-serif;
margin: 0;
padding: 0;
}
h1, h2, h3, ul.menu, table, p {
padding: 0 0.5em;
}
h1, h2 {
margin: 0;
background: #eee;
}
h1 {
border-bottom: 1px solid #ccc;
font-size: 1em;
padding: 0.5em;
margin-bottom: 0.5em;
text-align: right;
}
h2 {
border-top: 1px solid #ccc;
padding-left: 0.2em;
}
.submit {
float: right;
border: 1px solid #ccc;
width: 350px;
padding-bottom: 1em;
margin: 0.5em;
background: #eee;
}
.submit table {
width: 100%;
}
.submit input[type=text] {
width: 200px;
}
.submit .msg {
text-align: center;
color: red;
}
table.alternate {
white-space: nowrap;
margin: 0.5em 0;
}
table.alternate td,
table.alternate th {
padding: 0.1em 0.25em;
font-size: small;
}
table.alternate tr td:last-child {
padding-right: 0;
}
table.alternate tr:nth-child(2n) {
background-color: #f8f8f8;
}
span.hash {
font-family: monospace;
font-size: small;
color: #aaa;
}
td.date {
color: #aaa;
}
td.result {
text-align: center;
}
th.builder {
font-weight: bold;
}
a.fail {
color: #F00;
}
a.fail:visited {
color: #900;
}
ul.menu {
margin: 0;
padding: 0;
list-style-type: none;
}
ul.menu li {
float: left;
display: block;
font-size: 1em;
padding: 0.5em;
background: #EEF;
margin-left: 0.5em;
border-left: 1px solid #999;
border-right: 1px solid #999;
}
div.paginate {
padding: 0.5em;
}
div.paginate a {
padding: 0.5em;
margin-right: 0.5em;
background: #eee;
color: blue;
}
div.paginate a.inactive {
color: #999;
}
td.time {
font-family: monospace;
}