@Snuffleupagus I thought the current formatting is better since it is more consistent with for example https://github.com/mozilla/pdf.js/blob/master/web/viewer.js#L1803. However, I do see that the PDF manager already had this kind of indenting, so it might be more consistent to do it that way. @biggert: sorry for the confusion, I didn't see the other formatting in pdf_manager.js!