tweaks to tab CSS for rebaseline server page; moar pretty

gm/rebaseline_server/static/view.css

Index: gm/rebaseline_server/static/view.css
diff --git a/gm/rebaseline_server/static/view.css b/gm/rebaseline_server/static/view.css
index 6520611e54379123f9b56197aad66b8624dfb91c..82eda618e09967e6b0cd6f9acbdaebd51a69c2f8 100644
--- a/gm/rebaseline_server/static/view.css
+++ b/gm/rebaseline_server/static/view.css
@@ -6,18 +6,36 @@
     background-color: #ffbb00;
 }
 
+.tab-wrapper {
+    margin-top: 10px;
+}
+
+.tab {
+    display: inline-block;
+    font-size: 20px;
+    padding: 5px;
+    border-top-left-radius: 5px;
+    border-top-right-radius: 5px;
+    position: relative;
+}
+
 /* Tab which has been selected. */
 .tab-true {
     background-color: #ccccff;
-    display: inline-block;
-    font-size: 20px;
+    border: 1px solid black;
+    border-bottom-width: 0px;
+    bottom: -1px;
 }
 /* All other tabs. */
 .tab-false {
     background-color: #8888ff;
-    display: inline-block;
-    font-size: 20px;
+    cursor: pointer;
 }
+
+.tab-false:hover {
+    background-color: #aa88ff;
+}
+
 /* Spacers between tabs. */
 .tab-spacer {
     display: inline-block;
@@ -25,6 +43,7 @@
 /* The main working area (connected to the selected tab). */
 .tab-main {
     background-color: #ccccff;
+    border: 1px solid black;
 }
 
 .update-results-button {