add ace, showdown, and prettify themes