td.CoverValue
{
    text-align: right;
    white-space: nowrap;
}

td.coveredLine,
span.coveredLine
{
    background-color: var(--covered_color) !important;
}

td.uncoveredLine,
span.uncoveredLine
{
    background-color: var(--uncovered_color) !important;
}

td.excludedLine,
span.excludedLine
{
    background-color: var(--excluded_color) !important;
}

.linebranch, .linedecision, .linecall, .linecount
{
    font-family: monospace;
    border-right: 1px gray solid;
    background-color: lightgray;
    text-align: right;
}


.linebranchDetails, .linedecisionDetails, .linecallDetails
{
    position: relative;
}
.linebranchSummary, .linedecisionSummary, .linecallSummary
{
    cursor: help;
}
.linebranchContents, .linedecisionContents, .linecallContents
{
    font-family: sans-serif;
    font-size: small;
    text-align: left;
    position: absolute;
    width: 15em;
    padding: 1em;
    background: white;
    border: solid gray 1px;
    box-shadow: 5px 5px 10px gray;
    z-index: 1; /* show in front of the table entries */
}

.takenBranch
{
    color: var(--takenBranch_color) !important;
}

.notTakenBranch
{
    color: var(--notTakenBranch_color) !important;
}

.takenDecision
{
    color: var(--takenDecision_color) !important;
}

.notTakenDecision
{
    color: var(--notTakenDecision_color) !important;
}

.uncheckedDecision
{
    color: var(--uncheckedDecision_color) !important;
}

.invokedCall
{
    color: var(--invokedCall_color) !important;
}

.notInvokedCall
{
    color: var(--notInvokedCall_color) !important;
}

.src
{
    padding-left: 12px;
    text-align: left;

    font-family: monospace;
    white-space: pre;

    tab-size: var(--tab_size);
    -moz-tab-size: var(--tab_size);
}

span.takenBranch,
span.notTakenBranch,
span.takenDecision,
span.notTakenDecision,
span.uncheckedDecision
{
    font-family: monospace;
    font-weight: bold;
}

pre
{
    height : 15px;
    margin-top: 0;
    margin-bottom: 0;
}

.listOfFunctions td, .listOfFunctions th {
    padding: 0 10px;
}
.listOfFunctions th
{
    text-align: center;
    color: white;
    background-color: SteelBlue;
}
.listOfFunctions tr > td {
    background: aliceblue;
}
.listOfFunctions tr:nth-child(even) > td {
    background: LightSteelBlue
}
.listOfFunctions tr:hover > td
{
    background-color: #ddd;
}
.listOfFunctions tr > td > a
{
    text-decoration: none;
    color: inherit;
}

.source-line
{
    height : 15px;
    margin-top: 0;
    margin-bottom: 0;
}

.lineno
{
    background-color: #EFE383;
    border-right: 1px solid #BBB15F;
    text-align: right;
    unicode-bidi: embed;
    font-family: monospace;
    white-space: pre;
}

.lineno > a
{
    text-decoration: none;
    color: inherit;
}

.file-list
{
    margin: 1em auto;
    border: 0;
    border-spacing: 1px;
}

.file-source table
{
    border-spacing: 0;
}

.file-source table td,
.file-source table th
{
    padding: 1px 10px;
}

.file-source table th
{
    font-family: monospace;
    font-weight: bold;
}

.file-source table td:last-child
{
    width: 100%;
}
