cleaned up site

This commit is contained in:
Jeremy Long
2015-05-12 07:59:22 -04:00
parent 9194a42c93
commit 1359cc70b6
1855 changed files with 0 additions and 435840 deletions

View File

@@ -1,73 +0,0 @@
pre.src {
background: #ffffff;
margin-top: 0px;
margin-bottom: 0px;
}
table.src {
border: #dcdcdc 1px solid;
font-size: 16px;
}
td.numLine {
background: #f0f0f0;
border-right: #dcdcdc 1px solid;
padding-right: 3px;
text-align: right;
}
td.numLineCover {
background: #80ff80;
border-right: #dcdcdc 1px solid;
padding-right: 3px;
text-align: right;
}
td.nbHits {
background: #f0f0f0;
border-right: #dcdcdc 1px solid;
padding-right: 3px;
text-align: right;
}
td.nbHitsCovered {
background: #80ff80;
border-right: #dcdcdc 1px solid;
padding-right: 3px;
text-align: right;
}
td.nbHitsUncovered {
background: #ff9090;
border-right: #dcdcdc 1px solid;
font-weight: bold;
padding-right: 3px;
text-align: right;
}
td.src {
width: 100%;
}
span.comment {
color: #b22222;
font-style: italic;
}
span.keyword {
color: #2020bf;
font-weight: bold;
}
span.srcUncovered {
background: #ff9090;
}
span.string {
color: #2a00ff;
}
span.text_italic {
font-size: 12px;
font-style: italic;
}