Make font for LaTeX Syntax highlighting editor configurable and use a (more) unicode-capable default font