Make header more compact.

pages/support/header.mako

@@ -21,7 +21,11 @@
         <body onload="update_screen_size()" style="background-image: url('${set_background(cookies, selected) | h}'); background-size: cover;">
     % endif
         <div id="header">
-            <p id="heading"><a class="dark" href="${root}">Earwig's Copyvio Detector</a></p>
-            <p id="links"><a class="mid" href="${root}/settings">Settings</a></p>
+            <table id="heading">
+                <tr>
+                    <td id="head-main"><a class="dark" href="${root}">Earwig's Copyvio Detector</a></td>
+                    <td id="head-settings"><a class="mid" href="${root}/settings">Settings</a></td>
+                </tr>
+            </table>
         </div>
         <div id="container">

static/style.css

@@ -17,6 +17,8 @@ h1, h2, h3, h4, h5, h6 {
 }
 
 div#header {
+    font-size: 2.5em;
+    font-weight: bold;
     margin: 30px 60px 30px 60px;
     padding: 2px 15px 2px 15px;
     border: 1px solid #777;
@@ -66,16 +68,8 @@ div#cv-result-detail {
     border: 1px solid #AAA;
 }
 
-p#heading {
-    font-size: 2.5em;
-    font-weight: bold;
-    margin: 8px 0 8px 0;
-}
-
-p#links {
-    font-size: 1.5em;
-    font-weight: bold;
-    margin: 8px 0 10px 0;
+table#heading {
+    width: 100%;
 }
 
 table#cv-form {
@@ -87,6 +81,10 @@ table#cv-chain-table {
     border-spacing: 10px;
 }
 
+td#head-settings {
+    text-align: right;
+}
+
 td#cv-col1 {
     width: 15%;
 }