rebaseline_server: cleanup of HTML/Javascript

gm/rebaseline_server/static/view.css

+/* Special alert areas at the top of the page. */
+.todo-div {
+    background-color: #bbffbb;
+}
+.warning-div {
+    background-color: #ffbb00;
+}
+
+/* Tab which has been selected. */
 .tab-true {
     background-color: #ccccff;
+    display: inline-block;
+    font-size: 20px;
 }
+/* All other tabs. */
 .tab-false {
     background-color: #8888ff;
+    display: inline-block;
+    font-size: 20px;
 }
+/* Spacers between tabs. */
+.tab-spacer {
+    display: inline-block;
+}
+/* The main working area (connected to the selected tab). */
+.tab-main {
+    background-color: #ccccff;
+}
+
+.update-results-button {
+    font-size: 30px;
+}