Finished everything on the TODO list (yay!); several CSS cleanups; tons more changes in this commit - see the patch for details
#devkit {
position: absolute;
top: -385px; right: 0;
width: 640px; height: 390px;
border: 1px solid black;
z-index: 10000;
}
.devkitup {
top: -385px !important;
}
.devkitdown {
top: 0 !important;
}