Plugins can now register their own custom actions for $_GET["do"]. (Backport from unstable)
#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;
}