#maximizer                 { position:relative; float:right; top:0px; left:5px; margin:0px; padding:0px; }
.notMaximized .maximize    { display:inline; }
.notMaximized .restoresize { display:none; }
.maximized    .maximize    { display:none; }
.maximized    .restoresize { display:inline; }

.compileFailure{margin-top:10px;padding:5px;font-size:10pt;font-weight:bold;color:#cc0000;border:1px solid #A7BDA7;width:600px;}
.compileSuccess{margin-top:10px;padding:5px;font-size:10pt;font-weight:bold;color:#3F8640;border:1px solid #A7BDA7;width:600px;}
.editEnabled{color:#BBBBBB;}
.editDisabledcolor:#000000;}