Index: wp-admin/theme-editor.php
===================================================================
--- wp-admin/theme-editor.php	(revision 12527)
+++ wp-admin/theme-editor.php	(working copy)
@@ -140,7 +140,6 @@
 </div>
 <br class="clear" />
 </div>
-<br class="clear" />
 	<div id="templateside">
 	<h3><?php _e("Theme Files"); ?></h3>