Reduce header and code size

Headers were entirely too large. Code/pre size shrunk slightly
in order to properly display 80-col formatted text without wrapping.