Port vividchalk to deftheme style and kill color-theme [fixes #77]