tools to construct a nested view of mathematical proofs (using latex, pdfjs and ruby)