formatting of documentation

- minor typeface changes