padding: 3px;
width: 40em;
}
-.verbatim, .example {
+.verbatim, .example, .smallexample {
font-family: "Courier New",Courier,monospace;
}
hr {
div.header {
background-color: #E7EFE3;
- padding: 2;
+ padding: 2px;
border: #CCD3CC 1px solid;
text-align: center;
}
.footer {
background-color: #E7EFE3;
- padding: 5;
+ padding: 5px;
border: #CCD3CC 1px solid;
font-size: 80%;
}