|
|
30c06bc55f
|
Always inject the HTML builder even in RTD builds
|
2021-02-02 03:01:12 -05:00 |
|
|
|
022a341476
|
Make tables scroll if they overflow.
|
2020-12-18 21:18:54 -05:00 |
|
|
|
1253a372d9
|
Various RTD related fixes.
|
2020-12-18 21:18:53 -05:00 |
|
|
|
33a4388e6e
|
First pass at double header display
|
2020-12-18 21:18:52 -05:00 |
|
|
|
c31b443f91
|
Use new HTML5 <section> instead of <div class="section">
|
2020-12-18 21:18:52 -05:00 |
|
|
|
ac00fcad77
|
Flatten genindex to not group names.
Also better width in the tables.
|
2019-06-30 18:59:19 -04:00 |
|
