Hide settings by default in Sphinx
Fix styling on Sphinx shell
Fix URL button on Sphinx