quicker pagination interface

[serve0] / static / common.css

diff --git a/static/common.css b/static/common.css
index 2189498da5aa6ce0b78722f305fc9d94df89fc51..9b32b52cdccfa7759de017e8656e4b2d4b2ea57e 100644 (file)
--- a/static/common.css
+++ b/static/common.css
@@ -70,13 +70,16 @@ textarea {
   text-decoration: none;
 }
 
+.pagination_nav a.previous,
+.pagination_nav a.current,
+.pagination_nav a.next { display: inline; }
 .pagination_nav a.current {
-  display: inline;
   color: #F66;
   font-weight: bold;
 }
 .pagination_nav:hover {
   position: fixed;
+  padding-top: 2.5em;
   bottom: auto;
   text-align: right;
   background-color: #333;