mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-04 05:53:43 +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.