Decrease source code font size, fixes #8