[toplinks] restyle

2 files changed, 4 insertions, 10 deletions

diff --git a/cgi/user.cgi b/cgi/user.cgi
index 5cbeed8..7336a15 100755
--- a/cgi/user.cgi
+++ b/cgi/user.cgi
@@ -72,10 +72,10 @@ def page(title, jumbotitle = title)
         $cgi.link(rel: "stylesheet", href: "styles.css")
       } +
       $cgi.body {
-        $cgi.div(class: "jumbo") {
-          $cgi.h1(class: "jumbo") { jumbotitle }
+        $cgi.div(class: "pagetop") {
+          $cgi.h1(class: "jumbo") { jumbotitle } +
+          toplinks
         } +
-        $cgi.div(class: "toplinks") { toplinks } +
         $page +
         $cgi.div(id: "quote") { rquote }
       }
diff --git a/static/styles.css b/static/styles.css
index 4af9f29..7e54bbd 100644
--- a/static/styles.css
+++ b/static/styles.css
@@ -6,7 +6,7 @@ h1 {
   margin: 0;
 }
 
-div.jumbo {
+div.pagetop {
   padding: 0;
   background-image: linear-gradient(darkgreen, #f5fff5);
 }
@@ -34,15 +34,9 @@ div {
   padding: 1em;
 }
 
-div.toplinks {
-  padding: 0;
-  background-color: #f5fff5;
-}
-
 table.toplinks {
   width: 100%;
   td {
-    padding: 0.5em;
     width: 1%;
     text-align: center;
     a {