/**
 * Default CSS style for the trace2html utility by Olivier Grisel
 * This stylesheet is public domain content.
 */

/* Common style */

body {
  font-family: Lucida Grande, Verdana, Arial, Helvetica, sans-serif;
  font-size: 90%;
  color: #222;
  margin: 1.5em;
}

h1 {
  font-weight: bold;
  font-size: 100%;
  color: #444;
  border-bottom: 1px solid #f70;
}

p.footer {
  font-size: 80%;
  font-style: italic;
}

a, a:visited {
  font-weight: bold;
  text-decoration: none;
  color: #335;
}

a:hover {
  color: #339;
  text-decoration: underline;
}

table {
  border: 1px solid #ddd;
  background-color: #ddd;
  width: 100%;
  margin: 0.5em;
  font-size: 90%;
}

table tr {
  background-color: white;
}

table thead td,
table tbody tr.odd {
  background-color: #eee;
}

table thead td {
  text-align: center;
  font-weight: bold;
  font-size: 100%;
}

table td {
  padding: 0.05em 0.5em 0.05em 0.5em;
}


/* General modules index and coverage summary */

table.summary {
  border-spacing: 1px;
}

table.summary td.percent {
  width: 16em;
}

table.summary div.coveragePercent {
    float: left;
    width: 5em;
    text-align: right;
}

table.summary div.coverageBar {
  background-color: #f22;
  margin: 0.2em;
  width: 10em;
  float: left;
  border: 1px solid #444;
}

table.summary div.coverageBar div.inCoverageBar {
  background-color: #2f2;
  height: 1em;
}

/* Annotated source file */

table.srcCode {
  border-spacing: 0px;
}

table.srcCode pre {
  margin: 0
}

table.srcCode tr {
  background-color: white;
}

table.srcCode tr.uncovered {
  background-color: #f44;
  font-weight: bold;
}

table.srcCode td.nbLine,
table.srcCode td.nbHits {
  text-align: right;
  border-right: 1px solid #ddd;
  width: 3em;
}