Bumps down the <code> font size.