24d0b50be1ae5a7e10da3936bb1132da62afdef3
kate
  Sun May 10 21:30:34 2020 -0700
Switch to dark blue for info icon (distinguish from controls).  Found this dark blue in another jquery theme (dot luv). refs #23365

diff --git src/hg/htdocs/style/jquery-ui.css src/hg/htdocs/style/jquery-ui.css
index fc457cd..7e79fec 100644
--- src/hg/htdocs/style/jquery-ui.css
+++ src/hg/htdocs/style/jquery-ui.css
@@ -208,31 +208,31 @@
 .ui-icon-plusthick { background-position: -32px -128px; }
 .ui-icon-minus { background-position: -48px -128px; }
 .ui-icon-minusthick { background-position: -64px -128px; }
 .ui-icon-close { background-position: -80px -128px; }
 .ui-icon-closethick { background-position: -96px -128px; }
 .ui-icon-key { background-position: -112px -128px; }
 .ui-icon-lightbulb { background-position: -128px -128px; }
 .ui-icon-scissors { background-position: -144px -128px; }
 .ui-icon-clipboard { background-position: -160px -128px; }
 .ui-icon-copy { background-position: -176px -128px; }
 .ui-icon-contact { background-position: -192px -128px; }
 .ui-icon-image { background-position: -208px -128px; }
 .ui-icon-video { background-position: -224px -128px; }
 .ui-icon-script { background-position: -240px -128px; }
 .ui-icon-alert { background-position: 0 -144px; }
-.ui-icon-info { background-position: -16px -144px; background-image: url(images/ui-icons_2e83ff_256x240.png); -webkit-transform: scale(1.1); -ms-transform: scale(1.1); transform: scale(1.1); }
+.ui-icon-info { background-position: -16px -144px; background-image: url(images/ui-icons_00498f_256x240.png); -webkit-transform: scale(1.1); -ms-transform: scale(1.1); transform: scale(1.1); }
 .ui-icon-notice { background-position: -32px -144px; }
 .ui-icon-help { background-position: -48px -144px; }
 .ui-icon-check { background-position: -64px -144px; }
 .ui-icon-bullet { background-position: -80px -144px; }
 .ui-icon-radio-off { background-position: -96px -144px; }
 .ui-icon-radio-on { background-position: -112px -144px; }
 .ui-icon-pin-w { background-position: -128px -144px; }
 .ui-icon-pin-s { background-position: -144px -144px; }
 .ui-icon-play { background-position: 0 -160px; }
 .ui-icon-pause { background-position: -16px -160px; }
 .ui-icon-seek-next { background-position: -32px -160px; }
 .ui-icon-seek-prev { background-position: -48px -160px; }
 .ui-icon-seek-end { background-position: -64px -160px; }
 .ui-icon-seek-start { background-position: -80px -160px; }
 /* ui-icon-seek-first is deprecated, use ui-icon-seek-start instead */