version 1.2.3 of the documentation

This commit is contained in:
Jeremy Long
2014-06-28 06:33:21 -04:00
parent f79d7926fb
commit 15b03aed0c
1073 changed files with 27334 additions and 7440 deletions

View File

@@ -0,0 +1,73 @@
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;
}