doc: Use a 10pt font