GUI related changes

* Set font
* Add line numbers
* Add a few new themes for try out