Index: wp-admin/css/ie.dev.css
===================================================================
--- wp-admin/css/ie.dev.css	(revision 14991)
+++ wp-admin/css/ie.dev.css	(working copy)
@@ -451,14 +451,9 @@
 	zoom:100%;
 }
 
-#update-nav-menu {
-	border:1px solid #ccc;
+#update-nav-menu #post-body {
 	overflow:hidden;
 }
-#nav-menu-header,
-#update-nav-menu #post-body {
-	border:none;
-}
 
 .menu li {
 	min-width:100%;
Index: wp-admin/css/nav-menu.dev.css
===================================================================
--- wp-admin/css/nav-menu.dev.css	(revision 14991)
+++ wp-admin/css/nav-menu.dev.css	(working copy)
@@ -479,10 +479,8 @@
 .major-publishing-actions {
 	clear:both;
 	padding: 5px 10px;
-	zoom:1;
 }
 .major-publishing-actions .publishing-action {
-	clear: both;
 	text-align: right;
 	float: right;
 	line-height: 23px;
Index: wp-admin/nav-menus.php
===================================================================
--- wp-admin/nav-menus.php	(revision 14991)
+++ wp-admin/nav-menus.php	(working copy)
@@ -540,6 +540,7 @@
 									<label class="howto"><input type="checkbox"<?php checked( $auto_add ); ?> name="auto-add-pages" value="1" /> <?php printf( __('Automatically add new top-level pages to this menu' ), esc_url( admin_url( 'edit.php?post_type=page' ) ) ); ?></label>
 								</div>
 								<?php endif; ?>
+								<br class="clear">
 								<div class="publishing-action">
 									<input class="button-primary menu-save" name="save_menu" type="submit" value="<?php empty($nav_menu_selected_id) ? esc_attr_e('Create Menu') : esc_attr_e('Save Menu'); ?>" />
 								</div><!--END .publishing-action-->