doc: smaller fixed font