{"comment":{"url":"https://api.github.com/repos/leycec/pyinstaller/comments/12481828","html_url":"https://github.com/leycec/pyinstaller/commit/21aafa1f9b059a03b27703d455ef99e0dd9f30f6#commitcomment-12481828","id":12481828,"user":{"login":"leycec","id":217028,"avatar_url":"https://avatars.githubusercontent.com/u/217028?v=3","gravatar_id":"","url":"https://api.github.com/users/leycec","html_url":"https://github.com/leycec","followers_url":"https://api.github.com/users/leycec/followers","following_url":"https://api.github.com/users/leycec/following{/other_user}","gists_url":"https://api.github.com/users/leycec/gists{/gist_id}","starred_url":"https://api.github.com/users/leycec/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leycec/subscriptions","organizations_url":"https://api.github.com/users/leycec/orgs","repos_url":"https://api.github.com/users/leycec/repos","events_url":"https://api.github.com/users/leycec/events{/privacy}","received_events_url":"https://api.github.com/users/leycec/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"21aafa1f9b059a03b27703d455ef99e0dd9f30f6","created_at":"2015-08-02T04:14:19Z","updated_at":"2015-08-02T04:14:19Z","body":"> Well, but including these themes only make sense if they are used, right?\r\n\r\n**Absolutely.** Unfortunately, [line 29](https://github.com/sphinx-doc/sphinx/blob/6b8f29bb45e3cda4cbd38727cc6726286b50db0e/sphinx/theming.py#L29) of `sphinx/theming.py` unconditionally imports _both_ themes regardless of whether the Sphinx configuration actually uses those themes.\r\n\r\nIn other words, they're _always_ used – even if they're not."}}