Re: OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-15 Thread Paul Rubin
Not sure how much help this will be, but pdfedit can convert a PDF file to XML format. Here's a sample font tag from the XML output of a PDF file: font basename=VYKOIK+NimbusRomNo9L-Regu origname=VYKOIK+NimbusRomNo9L-Regu embeddedfontname=VYKOIK+NimbusRomNo9L-Regu tag=F67 serif=false

Re: OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-15 Thread stefano franchi
Thanks Paul. For future reference: I ended up installing a demo version of a Windows-only Pdf editor (Infix Pdf Editor) in my VirtualBox environment. The demo is actually perfectly functional---you cannot save without getting the pdf files watermarked, but saving was useless to me. You can

Re: OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-15 Thread Paul Rubin
Not sure how much help this will be, but pdfedit can convert a PDF file to XML format. Here's a sample font tag from the XML output of a PDF file: font basename=VYKOIK+NimbusRomNo9L-Regu origname=VYKOIK+NimbusRomNo9L-Regu embeddedfontname=VYKOIK+NimbusRomNo9L-Regu tag=F67 serif=false

Re: OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-15 Thread stefano franchi
Thanks Paul. For future reference: I ended up installing a demo version of a Windows-only Pdf editor (Infix Pdf Editor) in my VirtualBox environment. The demo is actually perfectly functional---you cannot save without getting the pdf files watermarked, but saving was useless to me. You can

Re: OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-15 Thread Paul Rubin
Not sure how much help this will be, but pdfedit can convert a PDF file to XML format. Here's a sample font tag from the XML output of a PDF file: You can identify the font from the basename attribute, and weight/slant from obvious attributes. Size is tricky. The difference ascent-descent

Re: OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-15 Thread stefano franchi
Thanks Paul. For future reference: I ended up installing a demo version of a Windows-only Pdf editor (Infix Pdf Editor) in my VirtualBox environment. The demo is actually perfectly functional---you cannot save without getting the pdf files watermarked, but saving was useless to me. You can

OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-14 Thread stefano franchi
Dear LyXers, forgive the off-topic question, perhpas someone will know the answer. I would like to check the exact font size of the pdf text produced by LyX/Latex. I do believe you can do that with Adobe Acrobat Pro, which, however, I do not own (and it would not run on Linux, anyways). Does

OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-14 Thread stefano franchi
Dear LyXers, forgive the off-topic question, perhpas someone will know the answer. I would like to check the exact font size of the pdf text produced by LyX/Latex. I do believe you can do that with Adobe Acrobat Pro, which, however, I do not own (and it would not run on Linux, anyways). Does

OT: Checking the font size of text in pdf docs (in Linux)?

2010-12-14 Thread stefano franchi
Dear LyXers, forgive the off-topic question, perhpas someone will know the answer. I would like to check the exact font size of the pdf text produced by LyX/Latex. I do believe you can do that with Adobe Acrobat Pro, which, however, I do not own (and it would not run on Linux, anyways). Does