server (css): increased body font to 15px, decreased pre font to 12px