fix css typo; will make footer behave better with respect to ACE editor