+ border-top: 2px dotted #fff;
+}
+
+
+ul.pager {
+ background: #eee;
+ padding: 0.5em;
+ margin: 0;
+ clear: both;
+}
+
+ul.pager li {
+ list-style: none;
+ display: inline;
+ width: 3em;
+}
+
+ul.pager li.skip {
+ color: #888;
+}
+
+ul.pager li.current_page {
+ font-weight: bold;
+ color: #000;
+}
+
+.dump {
+ background-color: #efe;
+ clear: both;
+}
+
+div.dump > pre {
+ background-color: #eef;
+ margin: 0;