Merge "Fix mono-font value in gerrit.css."