A couple of JS tweaks for new admin theme.