A few minor appearance changes

* Use ujelly theme
* Turn on global-linum-mode