diff options
| author | Nuno Alexandre <nuno@channable.com> | 2018-04-21 16:25:56 +0200 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-18 08:14:32 -0700 |
| commit | 365c77dfc39a28e4b5fd7eaeb802edcc9df196f4 (patch) | |
| tree | 839beb88171493e6522ea411ca8c5c21dfc8265a /latex-test/src/GadtConstructorArgs | |
| parent | 1f28a9a7964b92e30534f27724ee26fca87283f6 (diff) | |
Make package-header caption backward-compatible
The current html generator of this branch wraps the package-header
caption as a div, which does not work (without style adjustments) with
the old themes. Changing it from div to span does the trick, without
needing to adjust the old stylesheets.
Diffstat (limited to 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions