Use molokai as default theme