pre {tab-size: 4;width: 60em;}
div.document {width: 80em; margin-top: 0px; margin-bottom: 0px; margin-right: 0px; margin-left: 5em;}