diff options
-rwxr-xr-x | cgi/user.cgi | 6 | ||||
-rw-r--r-- | static/styles.css | 8 |
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 { |