doc: improve the look of the documentation with better fonts