path: root/rtems-coverage/style.css

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;
}

.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: 0.9em;
    font-weight: bold;
    padding-top: 5px;
    padding-left: 0px;
    text-align:  center;
    width: 100%;
}

.datetime {
    color: rgb(55,55,55);
    font-size: 0.8em;
    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%;
}
th.table-sortable {
  background-image:url("unsorted.gif");
  cursor: pointer;
  background-position: center left;
  background-repeat: no-repeat;
  padding-left: 15px;
}
th.table-sorted-asc {
  background-image:url("descending.gif");
}
th.table-sorted-desc {
  background-image:url("ascending.gif");
}