<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Tue, 21 Jul 2015 at 17:16 Ben Bacarisse <<a href="mailto:ben.usenet@bsb.me.uk">ben.usenet@bsb.me.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Christian Gollwitzer <<a href="mailto:auriocus@gmx.de" target="_blank">auriocus@gmx.de</a>> writes:<br>
<br>
> On 21.07.2015 04:55, Chris Angelico wrote:<br>
</blockquote><div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">>> Sounds like a flaw in the PDF - it creates indentation in some way<br>
>> other than leading spaces/tabs.<br>
><br>
> PDF never uses tabs and spaces for indentation. In a PDF file,<br>
> typically all words are placed using a drawing operator individually,<br>
> the space is made up by your eyes when see the file.<br>
<br>
It's not really a PDF issue.  It's to do with how the document is<br>
produced.  I've just looked at a few PDF files and I have found all<br>
three layout methods used for code: positioning, spaces and tabs.  Of<br>
course those that use spaces may be violating some PDF rule or other,<br>
but such files certainly exist in the wild.<br></blockquote><div><br></div><div>They're not violating any PDF rule. PDF as a format was not designed with this kind of usage in mind. The idea of a PDF is that contains as much information as is required to unambiguously represent the *appearance* of a document. It's really a vectorised image format (like SVG) but with a few extra document-like features (e.g. pages).<br><br>--<br></div><div>Oscar<br></div></div></div>