[texhax] slight font size change

[Axel E. Retif]

On  17 Feb, 2010, at 04:01, Peter Johnston wrote:

> Dear All,
> 
>     This might seem like a very pedantic question, but is it possible to create a 12 point latex document
> where a point is 1/72 of an inch, instead of the usual 1/72.27 of an inch?
> 
>     As I said, this may seem like a trivial issue, but I have a bureaucrat at work complaining that my
> document is in 11.96pt font!!!!
> 
>     I have used the times package to get a Times Roman font.

Oh my God! These guys are really a plague! To think that a scientist has to comply to a parasite that, to start with, doesn't know anything about typography...!

Well..., there is a trick:

\documentclass[12pt]{book}%
\renewcommand{\normalsize}{\fontsize{12.045pt}{14pt}\selectfont}
\usepackage{times}
\begin{document}
This is a test.
\end{document}

With this, Acrobat identifies the size as exactly 12pt (at least my old Acrobat 6 does). The second argument of fontsize is the leading ---adjust that to the bureaucratic specifications.


Best,

Axel

P.S. I'm not scientist.