Espruino Reference PDF

@Gordon, if it is a single html page, you do not need page numbers to work. It just needs the proper anchors and linking of anchors and the printed pdf will do it just right... (html in browser can though have some more convenience suggar: jumped-to heading is dynamically highlighted, which helps to direct reader's attention when more than one heading is shown on the 'page' / in the view port.

I'm working on the testing doc as html page and use a bit of js - how dare I ;) - to crate (client-side) the table of content and back-linking from the headings back to the table of content... and cross reference links (to headings, tables/images (captions))... something like that on the Espruino reference page would solve the issue (the 'missing' backlinking I mentioned in an earlier comment'). Im attaching the pdf - where you can check the linking - and I'm also attaching the source I'm using (html file and colocated image (sub-)directory for relatively addressing images... Opening the html in the unzipped dir and creating the pdf does it (I'm using chrome on OS X). I expect that pdf internal links are properly handled in reader devices, such as kindle and alike.

I know that your pages are created a bit diffent - including toc - actually server side, which should make some of the things even easier... just did not have the time / guts (yet) to get into that and propose a back linking solution...

Notes:

• I stayed on a very frugal side in regard of css... but that's all up for grabs to make a better looking job.
  
• The js code is pretty concise/terse - I had not planned to publish for use by others (yet), therefore the doc is rudimentary too...
  
• The only restriction for simple use is that headings have to be unique.
  

2 Attachments

• Testing.pdf
• testing_doc.zip