7b47af799470692a85fc71777d65a36fe777ebf7
max
  Tue Sep 3 05:25:29 2019 -0700
fixing merge a conflict in HGStyle.css

diff --git src/hg/htdocs/style/HGStyle.css src/hg/htdocs/style/HGStyle.css
index 70903d4..2572452 100644
--- src/hg/htdocs/style/HGStyle.css
+++ src/hg/htdocs/style/HGStyle.css
@@ -554,30 +554,47 @@
 body.oldStaticPage .nav {
 	margin: 6px 0 6px;
 }
 
 body.oldStaticPage .section h1 {
 	background-color: rgb(217,228,248); /* #d9e4f8 */
    	font-size: 1.1em;
 	padding: 3px 14px;
 	margin: 0;
 }
 	
 body.oldStaticPage .sectionContent {
 	padding: 0 14px;
 }
 
+input[type="submit" i] {
+        background-color: #FEFEFE;
+        height: 23px;
+        border-radius: 3px;
+}
+
+input[type="input"] {
+        background-color: #FEFEFE;
+        height: 23px;
+        border-radius: 3px;
+}
+
+input#hgt.jump {
+        height: 28px;
+        width: 50px
+}
+
 #hgFindResults {
         padding: 1em;
 }
 
 #warnBox {
     background-color: Beige;
     border: 3px ridge DarkRed;
     width:640px;
     padding:10px; 
     margin:10px;
     text-align:left;
 }
 
 #warnHead {
     color: DarkRed;