Slightly reduce the font size in pre
Begin work on the Developer Guide