I would like to suggest a small patch that makes the admin screen better. The problem is the second menu in `options'.
<b>wp-admin.css Lines 250-256:</b>
/* height: 20px;
Removed for better appearence in firefox and large fonts */
margin: 0 2px;