Fix CSS font-size of .mono