e318a262fe4f44d261b12eaab18c5dbb957094b1
max
  Fri Oct 7 13:02:47 2022 -0700
tiny css tweak suggested by clay, refs #29676

diff --git src/hg/htdocs/style/HGStyle.css src/hg/htdocs/style/HGStyle.css
index a59b40d..9fa4c8b 100644
--- src/hg/htdocs/style/HGStyle.css
+++ src/hg/htdocs/style/HGStyle.css
@@ -39,30 +39,41 @@
 
 input[type="submit"]:hover, input[type="button"]:hover, button:hover {
     background-color: #E8E8E8;
 }
 
 
 .moveButtonText {
         font-size: 80%
 }
 
 .infoText { 
         font-size: 90%;
         text-align: center;
 }
 
+.infoText > input {
+    margin-left: 3px;
+    margin-right: 3px;
+    padding-left: 8px;
+    padding-right: 8px;
+}
+
+.controlButtons {
+    margin-bottom: 6px;
+}
+
 .blueLink {
         color: #121E9A !important; 
         cursor: pointer;
 }
 
 span.link {
         color: #121E9A; 
         text-decoration: underline; 
         cursor: pointer
 }
 
 td.hotkey {
      font-family: courier;
    }