#tabs { background-color: rgba(1,1,1,0.5) }
.tab { display: none }
.resize { overflow: auto }
#control_panel { position: absolute; top: 0; }
#control_panel * { position: static }
#control_panel fieldset { clear: left }
#button_panel button { float: left; border: none; outline: none; cursor: pointer; }
button.current_tab { background-color:#B8B8B8; }
#dbg_perf_ms { position: fixed; color: black; background-color:#FFFFC0; border: 1px solid black }

textarea, input, select, button {background-color:rgba(190,190,190,0.5); color:black}
*:disabled { background-color:rgba(100,100,100,0.5) }
button:hover:not(:disabled) { background-color:lightgrey }