Improved typography for quotes and other text in italics (font changed). Improved layout when printing (no pointless margin on the left were the menu is usually displayed). Source code formatting.