#tabs { background-color: rgba(1,1,1,0.5) }
.tab { display: none }
.resize { overflow: auto }
.hidden { display: none }
#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_tooltip { position: fixed; color: black; background-color:#FFFFC0; border: 1px solid black; font-family: monospace }

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 }

ul { margin: 0; padding: 0 }

.expandable::before { content: "[+]"; font-family: monospace; color: yellow; margin-right: 5px; }
.expanded::before { content: "[-]"; color: orange }