David Smith be534348f5 Fixed #16300 -- Improved singlehtml docs formatting with headers CSS.		2020-06-22 21:05:13 +02:00
..
static	Fixed #16300 -- Improved singlehtml docs formatting with headers CSS.	2020-06-22 21:05:13 +02:00
genindex.html	Added newlines to the ends of CSS, HTML, and JavaScript files missing them.	2014-08-12 19:22:09 -04:00
layout.html	Fixed #31080 -- Removed redundant type="text/javascript" attribute from <script> tags.	2019-12-11 09:49:54 +01:00
modindex.html	Added newlines to the ends of CSS, HTML, and JavaScript files missing them.	2014-08-12 19:22:09 -04:00
search.html	Added newlines to the ends of CSS, HTML, and JavaScript files missing them.	2014-08-12 19:22:09 -04:00
theme.conf	…