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