<?php

// Make the menu 10px wider
function ru_extend_menu() { ?>
	
<style type="text/css">
	#adminmenu {
		width: 155px; /* default 145px + 10px */
		margin-left: -170px; /* default 160px + 10px */
	}
	#wpbody {
		margin-left: 185px; /* default 175px + 10px */
	}
	* html #adminmenu { /* for IE6 only */
		margin-left: -85px; /* default 80px + 5px */
	}
</style>
<?php
}
add_action('admin_head', 'ru_extend_menu');
