@-moz-document domain("studport.uni-erlangen.de") {
input[type="button"]
{
   border-style:solid !important;
   border-width:1px !important;
   font-size:1em !important;
   padding:3px 4px !important;
}
div.spEditor{
   width:480px !important;
}
div.spEditor ul.panel {
   width:101% !important;
}
}