static DocumentController() { FixedWidthCodeFont = new Font { Name = "Courier New", Size = 7.0f, }; }