Various bugfixes and cleanups, too much to remember... see the diffs for what got changed :-)
#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;
}