/* default piggly style sheet */
-
{ margin: 0; padding: 0; }
body {
color: #000; background-color: #fff; margin: 50px;
}
a img { border: 0; }
.timestamp {
clear: both; font-family: "Consolas", "DejaVu Sans Mono", "Monaco", "Nimbus Mono L", "Courier New"; font-style: italic; font-size: 9pt; display: inline-block;
}
.return {
font-family: "Tahoma", "Trebuchet MS", "Arial", sans-serif; font-size: 9pt; font-weight: bold; display: inline-block; margin-left: 10px;
}
.container {
display: flex; flex-direction: row; flex-wrap: nowrap; justify-content: space-between; align-items: flex-start; align-content: flex-start; padding-bottom: 1rem;
}
.toc {
font-family: "Tahoma", "Trebuchet MS", "Arial", sans-serif; order: 2; flex-grow: 0; flex-shrink: 0; flex-basis: 180px; padding-top: 10px; padding-left: 10px;
}
.toc-fixed {
position: fixed; width: 180px; max-width: 180px; top: 0; right: 50px; max-height: 100vh; overflow-y: scroll;
} .toc-fixed ol { padding-bottom: 2rem; } .toc ol { margin-left: 1.6em; } .toc a { color: c00; } .toc li { font-size: 90%; margin-bottom: 0.5rem; line-height: 1.0; } /* .toc li.branch { } .toc li.block { } .toc li.loop { } */
/* main container for line numbers and code */ .listing {
background-color: #f9f9f9; border: 1px solid silver; overflow-x: auto; order: 1; flex-grow: 1; flex-shrink: 1; flex-basis: 100%;
} .listing-fixed { margin-right: 190px; }
.listing table { border-collapse: collapse; } .listing td.signature {
vertical-align: top; padding: 2px 4px; white-space: pre; margin: 0; overflow: visible; border-bottom: 1px solid silver; background-color: #ffffe0; color: #000; font-family: "Consolas", "DejaVu Sans Mono", "Monaco", "Nimbus Mono L", "Courier New"; font-size: 9pt;
} div.listing td.code {
vertical-align: top; padding: 2px 4px; white-space: pre; margin: 0; width: 100%; float: none; clear: none; overflow: visible; color: #000; font-family: "Consolas", "DejaVu Sans Mono", "Monaco", "Nimbus Mono L", "Courier New"; font-size: 9pt;
}
/* line numbers */ div.listing td.lines {
vertical-align: top; padding: 2px 4px; white-space: pre; text-align: right; overflow: visible; background-color: #def; font-size: 9pt; font-family: "Consolas", "DejaVu Sans Mono", "Monaco", "Nimbus Mono L", "Courier New";
} div.listing td.lines a { color: grey; text-decoration: none; }
p.summary {
font-weight: bold; font-family: "Tahoma", "Trebuchet MS", "Arial", sans-serif; margin-bottom: 1em;
}
table.summary { margin-bottom: 2em; } table.summary th { padding: 5px; border-bottom: 1px solid silver; font-weight: bold; font-size: 12px; background-color: eee; } table.summary td { padding: 5px; font-size: 10pt; }
table.summary tr.odd { border-bottom: 1px solid eee; } table.summary tr.even { border-bottom: 1px solid eee; } table.summary td.file { text-align: left; } table.summary td.fail { font-weight: bold; color: f00; } table.summary td.count { max-width: 50px; min-width: 50px; text-align: center; } table.summary td.pct { max-width: 100px; min-width: 100px; }
table.summary td.pct td.num { padding: 0; max-width: 50px; min-width: 50px; text-align: right; border: 0; font-size: 10px; } table.summary td.pct td.graph { padding: 0; max-width: 50px; min-width: 50px; text-align: right; border: 0; }
table.graph td.uncovered { border: 0; padding: 0; } table.low td.uncovered { background-color: c00; } table.mid td.uncovered { background-color: fc0; } table.high td.uncovered { background-color: #093; }
table.graph td.covered { border: 0; padding: 0; } table.low td.covered { background-color: f66; } table.mid td.covered { background-color: ffc; } table.high td.covered { background-color: #390; }
table.summary {
font-family: "Tahoma", "Trebuchet MS", "Arial", sans-serif; width: 100%; border-spacing: 0; border-collapse: collapse;
}
table.summary td.pct table {
font-size: 85%; font-family: "Tahoma", "Trebuchet MS", "Arial", sans-serif; padding: 0; border-spacing: 0; border-collapse: collapse;
}
table.graph {
min-width: 50px; max-width: 50px; padding: 0px; border: 1px solid #000; border-spacing: 0px; height: 10px;
}
/* SYNTAX HIGHLIGHTING */
/* identifier */
.tI { color: #666; }
/* data type */
.tD { color: #cc3; font-style: italic; }
/* keyword */
.tK { color: #f30; }
/* comment */
.tC { color: #66f; font-style: italic; }
/* sql statement */
.tQ { color: #6c3; font-style: italic; }
/* string literal */
.tS { color: #390; }
/* label */
.tL { color: #630; font-style: italic; }
/* dollar quote marker */
.tM { }
/* tagged code blocks */ .b { display: block; width: 100%; margin: 0; padding: 0; } .i { display: inline; }
/* line with incomplete coverage */ .lU {
display: block; background: #fdd; margin: 0px; padding: 0px; border: none; border-left: 2px solid #f00;
}
/* block execution: yes, no */ .c0 { font-weight: bold; } .c1 { }
/* loop coverage */ .l0000 { font-weight: bold; } .l0001 { font-weight: bold; } .l0010 { font-weight: bold; } .l0100 { font-weight: bold; } .l0011 { font-weight: bold; } .l0101 { font-weight: bold; } .l0110 { font-weight: bold; } .l0111 { font-weight: bold; } .l1000 { font-weight: bold; } .l1001 { font-weight: bold; } .l1010 { font-weight: bold; } .l1100 { font-weight: bold; } .l1011 { font-weight: bold; } .l1101 { font-weight: bold; } .l1110 { font-weight: bold; } .l1111 { }
/* branch decisions: true, false */ .b00 { font-weight: bold; } /* never evaluated */ .b01 { font-weight: bold; color: #060; } /* never evaluates true */ .b10 { font-weight: bold; color: #900; } /* never evaluates false */ .b11 { }