/* This is here to change the font size, which by default is kinda big for our purposes */
/* Component containers
----------------------------------*/
.ui-widget { font-family: Arial,sans-serif/*{ffDefault}*/; font-size: 100%/*{fsDefault}*/; }
.ui-widget .ui-widget { font-size: 100%; }

/* ... */