|
|
c69f7c7bd8
|
Make tables scroll if they overflow.
|
2020-06-27 07:55:47 -04:00 |
|
|
|
8abd4e1357
|
Various RTD related fixes.
|
2020-06-25 03:57:58 -04:00 |
|
|
|
90596485a2
|
First pass at double header display
|
2020-05-31 09:12:26 -04:00 |
|
|
|
74bdd8485e
|
Use new HTML5 <section> instead of <div class="section">
|
2020-05-30 04:59:31 -04:00 |
|
|
|
ac00fcad77
|
Flatten genindex to not group names.
Also better width in the tables.
|
2019-06-30 18:59:19 -04:00 |
|
