/* default piggly style sheet */

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 { }