body {
background: rgb(253,253,253);
color: rgb(0,0,0);
font-family: helvetica, sans-serif;
font-size: 1em;
line-height: 1.4;
margin: 5px, 5px, 5px, 5px;
padding: 0;
}
a:link {
color: rgb(180, 50, 50);
font-family: helvetica, sans-serif;
font-size: 1.0em;
}
a:visited {
color: purple;
font-family: helvetica, sans-serif;
font-size: 1.0em;
}
a:hover {
color: rgb(0, 0, 0);
font-family: helvetica, sans-serif;
font-size: 1.0em;
}
a:active {
color: red;
font-family: helvetica, sans-serif;
font-size: 1.0em;
}
.code {
background: rgb(255,255,255);
font-family: courier, sans-serif;
font-size: 0.9em;
font-weight: bold;
line-height: 0.9;
margin-top: 0.0;
margin-bottom: 0.4em;
text-align: left;
padding-right: 10px;
}
.codeExecuted {
background: rgb(255,255,255);
font-family: courier, sans-serif;
font-size: 0.9em;
line-height: 0.9;
margin-top: 0.0;
margin-bottom: 0.4em;
text-align: left;
padding-right: 10px;
}
.codeNotExecuted {
background: rgb(255,255,255);
color: red;
font-family: courier, sans-serif;
font-size: 0.9em;
line-height: 0.9;
margin-top: 0.0;
margin-bottom: 0.4em;
text-align: left;
padding-right: 10px;
}
.codeAlwaysTaken {
background: rgb(255,255,255);
color: green;
font-family: courier, sans-serif;
font-size: 0.9em;
line-height: 0.9;
margin-top: 0.0;
margin-bottom: 0.4em;
text-align: left;
padding-right: 10px;
}
.codeNeverTaken {
background: rgb(255,255,255);
color: blue;
font-family: courier, sans-serif;
font-size: 0.9em;
line-height: 0.9;
margin-top: 0.0;
margin-bottom: 0.4em;
text-align: left;
padding-right: 10px;
}
.branchesEven {
background: rgb(255,255,255);
font-family: courier, sans-serif;
font-size: 0.9em;
line-height: 0.9;
margin-top: 0.0;
margin-bottom: 0.4em;
text-align: left;
padding-right: 10px;
}
.branchesOdd {
background: yellow;
font-family: courier, sans-serif;
font-size: 0.9em;
line-height: 0.9;
margin-top: 0.0;
margin-bottom: 0.4em;
text-align: left;
padding-right: 10px;
}
.covoar-table {
border-collapse: none;
background:black;
border:1px solid black;
}
.covoar-th {
text-align: center;
}
table.covoar {
border:1px solid black;
border-collapse:collapse;
}
table.covoar th, table.covoar td {
border:1px solid #aaaaaa;
padding: 2px 15px 2px 15px;
}
table.covoar thead th {
background-color:#A4BC92;
}
table.covoar tfoot td {
background-color:#A4BC92;
}
table.covoar tr.tbody_header {
font-weight:bold;
text-align:center;
background-color:#dddddd;
}
table.covoar a.pagelink {
padding-left:5px;
padding-right:5px;
border:1px solid #666666;
margin:0px 5px 0px 5px;
}
table.covoar a.currentpage {
background-color:yellow;
}
/* Sorting */
th.table-sortable {
border:1px solid black;
color: #F8F8F8;
background: #A4BC92;
cursor:pointer;
background-image:url("05_unsorted.gif");
background-position:center left;
background-repeat:no-repeat;
padding-left:12px;
}
th.table-sorted-asc {
background-image:url("05_ascending.gif");
background-position:center left;
background-repeat:no-repeat;
}
th.table-sorted-desc {
background-image:url("05_descending.gif");
background-position:center left;
background-repeat:no-repeat;
}
th.table-filtered {
background-image:url("filter.gif");
background-position:center left;
background-repeat:no-repeat;
}
select.table-autofilter {
font-size:smaller;
}
/* Icons box */
.iconset {
margin:5px;
border:1px solid #cccccc;
border-color:#cccccc #666666 #666666 #cccccc;
text-align:center;
cursor:pointer;
width:100px;
}
.iconset img {
margin:3px;
}
.covoar-tr-first {
color: #F8F8F8;
background: #A4BC92;
}
tr.alternate {
background: #CBE4B1;
}
/* Examples which stray from the default */
table.altstripe tr.alternate2 {
background-color:#CBE4B1;
}
.covoar-tr-odd {
background: #CBE4B1;
}
.covoar-tr-even {
background: #DBE5C6;
}
.heading {
background: rgb(250,250,250);
background-image: url("http://www.rtems.org/logos/rtems_logo.jpg");
background-repeat: no-repeat;
color: rgb(55,55,55);
font-size: 1.5em;
height: 140px;
padding-top: 20px;
padding-left: 300px;
}
.heading-title {
text-align: center;
color: rgb(0,0,0);
font-size: 3.5em;
font-weight: bold;
line-height: 0.9;
padding-top: 5px;
padding-left: 0px;
text-align: center;
width: 100%;
}
.datetime {
color: rgb(55,55,55);
font-size: 1.0em;
padding-top: 5px;
padding-left: 0px;
text-align: center;
width: 100%;
}
.info {
color: rgb(55,55,55);
font-size: 0.6em;
padding-top: 5px;
padding-left: 00px;
text-align: center;
width: 100%;
}
.stats-table {
background: rgb(225,225,225);
font-size: 0.9em;
border: 1px solid rgb(200, 200, 200);
padding: 0;
margin-top: 3px;
margin-left: 10px;
width: 70%;
}
.stats-table-target {
background: rgb(243,243,243);
font-size: 1.2em;
padding-left: 10px;
text-align: left;
}
.stats-target-results {
background: rgb(243,243,243);
font-size: 0.9em;
text-align: right;
padding-right: 10px;
}
.stats-target-good {
background: rgb(30,230,30);
font-size: 0.9em;
text-align: right;
padding-right: 10px;
}
.stats-target-good {
background: rgb(50,180,50);
color: rgb(230,230,230);
font-size: 0.9em;
text-align: center;
padding-right: 10px;
}
.stats-target-bad {
background: rgb(180,50,50);
color: rgb(230,230,230);
font-size: 0.9em;
text-align: center;
padding-right: 10px;
}
.stats-table-top {
background: rgb(243,243,243);
color: rgb(0,0,0);
font-size: 0.9em;
padding-left: 2px;
}
.stats-table-row {
background: rgb(253,253,253);
font-size: 0.9em;
padding: 1px;
text-align: right;
}
.error-table {
font-size: 0.9em;
border: 1px solid rgb(200, 200, 200);
padding: 0;
margin-left: 10px;
width: 96%;
}
.error-table-top {
background: rgb(225,225,225);
color: rgb(0,0,0);
font-size: 0.9em;
padding-left: 2px;
}
.error-table-on {
background: rgb(225,225,225);
font-size: 0.9em;
padding-left: 2px;
}
.error-table-off {
background: rgb(253,253,253);
font-size: 0.9em;
padding-left: 2px;
}
.error-table-dups {
text-align: right;
padding-right: 2px;
}
.error-table-error {
background: rgb(255,150,150);
font-size: 0.9em;
padding-left: 2px;
}
.error-table-warning {
font-size: 0.9em;
padding-left: 2px;
}
.navbar {
margin-left: auto;
margin-right: auto;
margin-top: 10px;
width: 40%;
}