Back to the old layout

The web team found a way to keep the scroll bars limited to just the sections wrapped in <PRE> tags. So the old stylesheets are back. Looks good in the browsers we've tested. If it blows up for anyone, please let me know.