Some ACE css tweaks