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;
}
font-size: 220%;
}
+div.subheader {
+ text-align: center;
+}
+
+#navigation {
+ margin: 0 auto;
+}
+
.nav_table {
width: 100%;
background-color: #CCD3CC;
font-size: 0.8em;
}
+.title {
+ font-weight: bold;
+}
+
.footer {
background-color: #E7EFE3;
- padding: 5;
+ padding: 5px;
border: #CCD3CC 1px solid;
font-size: 80%;
}