better font for <pre> tags
inconsistency in the dns instructions