#sphinx-doc

Hello folks. I'm hoping someone can answer a silly question about themes.

The page at http://www.sphinx-doc.org/en/stable/theming.html states "sphinxdoc – The theme used for this documentation"

… but looking at the CSS to the page I see css called `sphinx13`

is that a different theme?

[02sphinx] 07tk0miya pushed 033 commits to 03master [+0/-0/±4] 13https://github.com/sphinx-doc/sphinx/compare/...

[02sphinx] 07danwos 034ce6da9 - Unknow html_theme_options throw warnings instead of errors. New behavior: a sphinx build does not stop, if for the configured theme an unknown but also unneeded html_theme_options is provided. Fixed #3884

[02sphinx] 07danwos 03aecb008 - Changed test case "test_theme_api" to check, if a not needed html_theme_option is not part of the returned, final configuration of theme.get_options(). PR #3893

[02sphinx] 07tk0miya 032e7cc4c - Merge pull request #3893 from useblocks/master Unknown html_theme_options throw warnings instead of errors.

[02sphinx] 07tk0miya pushed 031 commit to 03master [+0/-0/±1] 13https://github.com/sphinx-doc/sphinx/compare/...

[02sphinx] 07tk0miya 032d5e05a - Update CHANGES for PR #3893