moved server theme into oh-my-zsh