mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 13:33:24 +00:00
The readthedocs theme overrides a few settings in their layout template. We might want to change some settings back to their default values. This commit copies the original readthedocs layout file from https://github.com/rtfd/sphinx_rtd_theme/blob/master/sphinx_rtd_theme/layout.html to _templates/layout.html, and excludes it from lint and template checks. Addresses #7417.