9 Commits

Author SHA1 Message Date
Rapptz
3aa3c36c4f Marginally speed up CI doc builds by using multiple jobs 2022-08-16 18:57:03 -04:00
Rapptz
74f3496a74 Add a bandaid fix for Sphinx bug involving admonitions in .pot files
Ref: https://github.com/sphinx-doc/sphinx/issues/10334
2022-05-27 04:30:38 -04:00
Rapptz
af311bff09 Change .pot files to only contain at most 5 context lines
Crowdin did not like having many comments which caused the upload to
fail.
2022-05-24 10:45:28 -04:00
Rapptz
30c06bc55f Always inject the HTML builder even in RTD builds 2021-02-02 03:01:12 -05:00
Rapptz
022a341476 Make tables scroll if they overflow. 2020-12-18 21:18:54 -05:00
Rapptz
1253a372d9 Various RTD related fixes. 2020-12-18 21:18:53 -05:00
Rapptz
33a4388e6e First pass at double header display 2020-12-18 21:18:52 -05:00
Rapptz
c31b443f91 Use new HTML5 <section> instead of <div class="section"> 2020-12-18 21:18:52 -05:00
Rapptz
ac00fcad77 Flatten genindex to not group names.
Also better width in the tables.
2019-06-30 18:59:19 -04:00