diff options
Diffstat (limited to 'covoar/covoar.css')
-rw-r--r-- | covoar/covoar.css | 372 |
1 files changed, 0 insertions, 372 deletions
diff --git a/covoar/covoar.css b/covoar/covoar.css deleted file mode 100644 index e5be14e..0000000 --- a/covoar/covoar.css +++ /dev/null @@ -1,372 +0,0 @@ -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%; -} |