Changed from StyledTextBox to RichTextBox for more flexibility in text highlighting and such.
Provided newnly designed mono iconset.