I didn't want to change this in Aloha yet because the same CSS is somewhere else (and is out-of-scope for the Aloha PR).