Theme editor font sizing and layout fixes from ionfish. see #5890

git-svn-id: http://svn.automattic.com/wordpress/trunk@6890 1a063a9b-81f0-0310-95a4-ce76da25c4cd

wp-admin/css/theme-editor.css

@@ -1,5 +1,10 @@
 #template textarea {
-	font: small 'Courier New', Courier, monospace;
+	font-family: 'Courier New', Courier, monospace;
+	font-size: 12px;
+	width: 97%;
+}
+
+#template p {
 	width: 97%;
 }
 

wp-admin/theme-editor.php

@@ -152,8 +152,10 @@ if ($allowed_files) :
 		 <input type="hidden" name="file" value="<?php echo $file ?>" />
 		 <input type="hidden" name="theme" value="<?php echo $theme ?>" />
 		 </div>
+		
+		<div>
 <?php if ( is_writeable($real_file) ) : ?>
-	<p class="submit">
+			<p class="submit">
 <?php
 	echo "<input type='submit' name='submit' value='	" . __('Update File &raquo;') . "' tabindex='2' />";
 ?>
@@ -161,6 +163,7 @@ if ($allowed_files) :
 <?php else : ?>
 <p><em><?php _e('You need to make this file writable before you can save your changes. See <a href="http://codex.wordpress.org/Changing_File_Permissions">the Codex</a> for more information.'); ?></em></p>
 <?php endif; ?>
+		</div>
 	</form>
 	<?php
 	} else {