Misc gui fixes

Fixes #43, plus user interface colorizing, and misc fixes.