*/* global reset */
 * { margin: 0 ; padding: 0 }
 html { height: 100% ; }
 body { height: 100% ; overflow: hidden ; }

 /* general styling */
 body { font-family: Arial, Helvetica, sans-serif ; font-size: 16px ; }
 input[type="text"] { height: 22px ; padding: 0 5px ; }
 button { height: 24px ; padding: 0 5px !important ; }

 /* notification balloons */
.growl .growl-close { position: absolute ; top: 0 ; right: 6px ; }
.growl .growl-title { display: none ; }
.growl .pre { font-family: monospace ; }
.growl div.pre { margin: 0 0 15px 15px ; font-size: 80% ; }