UI key-bindings and coloring; Tox for testing