Index: wp-admin/theme-editor.php
===================================================================
--- wp-admin/theme-editor.php	(revision 7291)
+++ wp-admin/theme-editor.php	(working copy)
@@ -92,7 +92,7 @@
 <div class="bordertitle">
 	<h2 style="border: none; padding-bottom: 0px;"><?php _e('Theme Editor'); ?></h2>
 	<form id="themeselector" name="theme" action="theme-editor.php" method="post">
-		<strong><?php _e('Select theme to edit: '); ?></strong>
+		<strong><?php _e('Select theme to edit:'); ?> </strong>
 		<select name="theme" id="theme" style="margin: 0; padding: 0;">
 <?php
 	foreach ($themes as $a_theme) {