I'm wanting to use printable version to print reviewable hard-copy editions that must be double spaced. This can be a configuration change, I have no need to make this selectable each time. Is there something in OutputPage.php that would set this?