Thomas Bruederli
2014-06-04 3412e50b54e3daac8745234e21ab6e72be0ed165
plugins/jqueryui/themes/classic/jquery-ui-1.9.2.custom.css
@@ -431,6 +431,10 @@
/* workarounds */
button.ui-button::-moz-focus-inner { border: 0; padding: 0; } /* reset extra padding in Firefox */
.ui-button.mainaction { font-weight: bold; border: 1px solid #999; }
/*
 * jQuery UI Dialog 1.8.18
 *