}
.listing {
- font-family:Courier,monospace;
+ font-family:monospace;
margin: 0px;
padding: 6px;
border: 1px solid;
background-color:#EEE;
}
+.navbar {
+ width: 40%;
+ float: none;
+ padding: 5px;
+ border: 5px solid gray;
+ margin: 10px;
+ background-color:#EEE;
+}
+
.subhead {
font-family:"Verdana", "Trebuchet", "Helvetica", sans-serif;
font-size:150%;
.left {
text-align:left;
}
+
+.tight {
+ margin-top: 0.25em;
+ margin-bottom: 0.5em;
+}