diff -r 902822492a68 -r fe660c52c48f includes/clientside/tinymce/plugins/devkit/css/devkit_ui.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/includes/clientside/tinymce/plugins/devkit/css/devkit_ui.css	Wed Jun 13 16:07:17 2007 -0400
@@ -0,0 +1,15 @@
+#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;
+}