}
#nav {
+ float: left
+ width: 100%;
background: #e8e8e8;
border-bottom: 0.2em solid #786fb4;
font-size: 90%;
text-decoration: underline;
}
+#navleft {
+ float: left;
+}
+
+#navright {
+ float: right;
+}
#content {
padding: 1em;
div.filters {
}
+div.patchforms {
+ margin-top: 2em;
+}
+
/* list pagination */
.paginator { padding-bottom: 1em; padding-top: 1em; font-size: 80%; }