Add smartparens back and change theme