526 lines
9.3 KiB
CSS
526 lines
9.3 KiB
CSS
|
span.cross-ref-title {
|
||
|
font-size: 140%;
|
||
|
}
|
||
|
span.cross-ref a {
|
||
|
text-decoration: none;
|
||
|
}
|
||
|
span.cross-ref {
|
||
|
background-color:#f3f7fa;
|
||
|
border: 1px dashed #333;
|
||
|
margin: 1em;
|
||
|
padding: 0.5em;
|
||
|
overflow: hidden;
|
||
|
}
|
||
|
a.crossref-toggle {
|
||
|
text-decoration: none;
|
||
|
}
|
||
|
span.marked0 {
|
||
|
background-color: rgb(185, 210, 200);
|
||
|
display: block;
|
||
|
}
|
||
|
span.marked1 {
|
||
|
background-color: rgb(190, 215, 205);
|
||
|
display: block;
|
||
|
}
|
||
|
span.inferred0 {
|
||
|
background-color: rgb(175, 200, 200);
|
||
|
display: block;
|
||
|
}
|
||
|
span.inferred1 {
|
||
|
background-color: rgb(180, 205, 205);
|
||
|
display: block;
|
||
|
}
|
||
|
span.uncovered0 {
|
||
|
background-color: rgb(225, 110, 110);
|
||
|
display: block;
|
||
|
}
|
||
|
span.uncovered1 {
|
||
|
background-color: rgb(235, 120, 120);
|
||
|
display: block;
|
||
|
}
|
||
|
span.overview {
|
||
|
border-bottom: 8px solid black;
|
||
|
}
|
||
|
div.overview {
|
||
|
border-bottom: 8px solid black;
|
||
|
}
|
||
|
#content div.footer {
|
||
|
font-size: 68%;
|
||
|
margin-top: 1.5em;
|
||
|
}
|
||
|
#content h1, h2, h3, h4, h5, h6 {
|
||
|
margin-bottom: 0.5em;
|
||
|
}
|
||
|
h5 {
|
||
|
margin-top: 0.5em;
|
||
|
}
|
||
|
.hidden {
|
||
|
display: none;
|
||
|
}
|
||
|
div.separator {
|
||
|
height: 10px;
|
||
|
}
|
||
|
/* Commented out for better readability, esp. on IE */
|
||
|
/*
|
||
|
table tr td, table tr th {
|
||
|
font-size: 68%;
|
||
|
}
|
||
|
td.value table tr td {
|
||
|
font-size: 11px;
|
||
|
}
|
||
|
*/
|
||
|
table.percent_graph {
|
||
|
height: 12px;
|
||
|
border: #808080 1px solid;
|
||
|
empty-cells: show;
|
||
|
}
|
||
|
table.percent_graph td.covered {
|
||
|
height: 10px;
|
||
|
background: #00f000;
|
||
|
}
|
||
|
table.percent_graph td.uncovered {
|
||
|
height: 10px;
|
||
|
background: #e00000;
|
||
|
}
|
||
|
table.percent_graph td.NA {
|
||
|
height: 10px;
|
||
|
background: #eaeaea;
|
||
|
}
|
||
|
table.report {
|
||
|
border-collapse: collapse;
|
||
|
width: 100%;
|
||
|
}
|
||
|
table.report td.heading {
|
||
|
background: #dcecff;
|
||
|
border: #d0d0d0 1px solid;
|
||
|
font-weight: bold;
|
||
|
text-align: center;
|
||
|
}
|
||
|
table.report td.heading:hover {
|
||
|
background: #c0ffc0;
|
||
|
}
|
||
|
table.report td.text {
|
||
|
border: #d0d0d0 1px solid;
|
||
|
}
|
||
|
table.report td.value,
|
||
|
table.report td.lines_total,
|
||
|
table.report td.lines_code {
|
||
|
text-align: right;
|
||
|
border: #d0d0d0 1px solid;
|
||
|
}
|
||
|
table.report tr.light {
|
||
|
background-color: #f6f7f8;
|
||
|
}
|
||
|
table.report tr.dark {
|
||
|
background-color: #fff;
|
||
|
}
|
||
|
span.run0 {
|
||
|
background-color: rgb(178, 204, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run1 {
|
||
|
background-color: rgb(178, 206, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run2 {
|
||
|
background-color: rgb(178, 209, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run3 {
|
||
|
background-color: rgb(178, 211, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run4 {
|
||
|
background-color: rgb(178, 214, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run5 {
|
||
|
background-color: rgb(178, 218, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run6 {
|
||
|
background-color: rgb(178, 220, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run7 {
|
||
|
background-color: rgb(178, 223, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run8 {
|
||
|
background-color: rgb(178, 225, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run9 {
|
||
|
background-color: rgb(178, 228, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run10 {
|
||
|
background-color: rgb(178, 232, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run11 {
|
||
|
background-color: rgb(178, 234, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run12 {
|
||
|
background-color: rgb(178, 237, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run13 {
|
||
|
background-color: rgb(178, 239, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run14 {
|
||
|
background-color: rgb(178, 242, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run15 {
|
||
|
background-color: rgb(178, 246, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run16 {
|
||
|
background-color: rgb(178, 248, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run17 {
|
||
|
background-color: rgb(178, 251, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run18 {
|
||
|
background-color: rgb(178, 253, 255);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run19 {
|
||
|
background-color: rgb(178, 255, 253);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run20 {
|
||
|
background-color: rgb(178, 255, 249);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run21 {
|
||
|
background-color: rgb(178, 255, 247);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run22 {
|
||
|
background-color: rgb(178, 255, 244);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run23 {
|
||
|
background-color: rgb(178, 255, 242);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run24 {
|
||
|
background-color: rgb(178, 255, 239);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run25 {
|
||
|
background-color: rgb(178, 255, 235);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run26 {
|
||
|
background-color: rgb(178, 255, 233);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run27 {
|
||
|
background-color: rgb(178, 255, 230);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run28 {
|
||
|
background-color: rgb(178, 255, 228);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run29 {
|
||
|
background-color: rgb(178, 255, 225);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run30 {
|
||
|
background-color: rgb(178, 255, 221);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run31 {
|
||
|
background-color: rgb(178, 255, 219);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run32 {
|
||
|
background-color: rgb(178, 255, 216);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run33 {
|
||
|
background-color: rgb(178, 255, 214);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run34 {
|
||
|
background-color: rgb(178, 255, 211);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run35 {
|
||
|
background-color: rgb(178, 255, 207);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run36 {
|
||
|
background-color: rgb(178, 255, 205);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run37 {
|
||
|
background-color: rgb(178, 255, 202);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run38 {
|
||
|
background-color: rgb(178, 255, 200);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run39 {
|
||
|
background-color: rgb(178, 255, 197);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run40 {
|
||
|
background-color: rgb(178, 255, 193);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run41 {
|
||
|
background-color: rgb(178, 255, 191);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run42 {
|
||
|
background-color: rgb(178, 255, 188);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run43 {
|
||
|
background-color: rgb(178, 255, 186);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run44 {
|
||
|
background-color: rgb(178, 255, 183);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run45 {
|
||
|
background-color: rgb(178, 255, 179);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run46 {
|
||
|
background-color: rgb(179, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run47 {
|
||
|
background-color: rgb(182, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run48 {
|
||
|
background-color: rgb(184, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run49 {
|
||
|
background-color: rgb(187, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run50 {
|
||
|
background-color: rgb(191, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run51 {
|
||
|
background-color: rgb(193, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run52 {
|
||
|
background-color: rgb(196, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run53 {
|
||
|
background-color: rgb(198, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run54 {
|
||
|
background-color: rgb(201, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run55 {
|
||
|
background-color: rgb(205, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run56 {
|
||
|
background-color: rgb(207, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run57 {
|
||
|
background-color: rgb(210, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run58 {
|
||
|
background-color: rgb(212, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run59 {
|
||
|
background-color: rgb(215, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run60 {
|
||
|
background-color: rgb(219, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run61 {
|
||
|
background-color: rgb(221, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run62 {
|
||
|
background-color: rgb(224, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run63 {
|
||
|
background-color: rgb(226, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run64 {
|
||
|
background-color: rgb(229, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run65 {
|
||
|
background-color: rgb(233, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run66 {
|
||
|
background-color: rgb(235, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run67 {
|
||
|
background-color: rgb(238, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run68 {
|
||
|
background-color: rgb(240, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run69 {
|
||
|
background-color: rgb(243, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run70 {
|
||
|
background-color: rgb(247, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run71 {
|
||
|
background-color: rgb(249, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run72 {
|
||
|
background-color: rgb(252, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run73 {
|
||
|
background-color: rgb(255, 255, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run74 {
|
||
|
background-color: rgb(255, 252, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run75 {
|
||
|
background-color: rgb(255, 248, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run76 {
|
||
|
background-color: rgb(255, 246, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run77 {
|
||
|
background-color: rgb(255, 243, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run78 {
|
||
|
background-color: rgb(255, 240, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run79 {
|
||
|
background-color: rgb(255, 238, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run80 {
|
||
|
background-color: rgb(255, 234, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run81 {
|
||
|
background-color: rgb(255, 232, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run82 {
|
||
|
background-color: rgb(255, 229, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run83 {
|
||
|
background-color: rgb(255, 226, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run84 {
|
||
|
background-color: rgb(255, 224, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run85 {
|
||
|
background-color: rgb(255, 220, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run86 {
|
||
|
background-color: rgb(255, 218, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run87 {
|
||
|
background-color: rgb(255, 215, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run88 {
|
||
|
background-color: rgb(255, 212, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run89 {
|
||
|
background-color: rgb(255, 210, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run90 {
|
||
|
background-color: rgb(255, 206, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run91 {
|
||
|
background-color: rgb(255, 204, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run92 {
|
||
|
background-color: rgb(255, 201, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run93 {
|
||
|
background-color: rgb(255, 198, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run94 {
|
||
|
background-color: rgb(255, 196, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run95 {
|
||
|
background-color: rgb(255, 192, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run96 {
|
||
|
background-color: rgb(255, 189, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run97 {
|
||
|
background-color: rgb(255, 187, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run98 {
|
||
|
background-color: rgb(255, 184, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run99 {
|
||
|
background-color: rgb(255, 182, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
span.run100 {
|
||
|
background-color: rgb(255, 178, 178);
|
||
|
display: block;
|
||
|
}
|
||
|
pre {
|
||
|
white-space: pre-wrap; /* CSS2.1 compliant */
|
||
|
white-space: -moz-pre-wrap; /* Mozilla-based browsers */
|
||
|
white-space: -o-pre-wrap; /* Opera 7+ */
|
||
|
}
|