Tweak the sphinx theme