@CHARSET "UTF-8";
/*
Almost no styles here.  The main.css stylesheet contains all "web" styles with the jquery-ui
exception below.  If we're on a non-mobile device, those get used because there's nothing in 
this file to override them.  If we're on a mobile device, mobile.css (which gets included 
instead of this web.css) overrides some stuff.

/* These have to be here (despite applying to both mobile and web) because they need to override 
styles set in the jquery-ui css, which is imported before this but after main.css (yes, a bit
ugly): */
.ui-dialog .ui-dialog-title {font-size:2px;}
.ui-dialog .ui-dialog-titlebar {padding:5px 0 0 0;}
.ui-dialog-titlebar-close {display:none;}
.ui-dialog .ui-dialog-buttonpane {border-width:0px 0 0; padding:0; margin-top:4px;}
.ui-widget-content {border-width:3px;}