CSS fix for XMLDB editor