diff --git a/Doc/paper-a4/pypaper.sty b/Doc/paper-a4/pypaper.sty index 10b22f889ed..2415aad02f1 100644 --- a/Doc/paper-a4/pypaper.sty +++ b/Doc/paper-a4/pypaper.sty @@ -3,3 +3,15 @@ % \newcommand{\py@paper}{a4paper} \newcommand{\py@ptsize}{10pt} + +% These set up the fonts for the documents. +% +% The "times" package makes the default font the PostScript Times +% font, which makes for smaller PostScript and a font that more people +% like. +% +% The "avant" package causes the AvantGarde font to be used for +% sans-serif text, instead of the uglier Helvetica set up by the "times" +% package. +% +\RequirePackage{times}\typeout{Using Times instead of Computer Modern.}