Fix bug 948450 - font size for code samples is too small