Correct color and font issues on Ubuntu

* Fixed incorrect colors when using the solarized theme
* Replaced the `⁇` unicode character with an ordinary question mark (most fonts display that character with the wrong width, making it overflow).