Adjust padding on jQuery UI selectmenu optgroup

Author: philwareham

dist/textpattern/jquery-ui.css

@@ -1578,7 +1578,7 @@ label.ui-state-active.ui-button:active {
 .ui-selectmenu-menu .ui-menu .ui-selectmenu-optgroup {
   height: auto;
   margin: 0.5em 0 0;
-  padding: 2px 0.30769230769231em;
+  padding: 2px 0.61538461538462em;
   border-top: 1px solid #cccccc;
   font-size: 13px;
   font-weight: bold;