margin-bottom: 1em;
}
+#results li.z {
+ background: #eee;
+}
+
ul.pager {
background: #eee;
padding: 0.5em;
width: 3em;
}
-.pager .current_page {
+ul.pager li.skip {
+ color: #888;
+}
+
+ul.pager li.current_page {
font-weight: bold;
+ color: #000;
}
-.pager .skip {
- color: #888;
+.dump {
+ background-color: #efe;
+ clear: both;
}
-pre {
- border-top: 1px solid #888;
- clear: left;
- background-color: #eee;
+div.dump > pre {
+ background-color: #eef;
+ margin: 0;
}
.error {