Added line numbering to theme, and to the Output class.