diff options
| author | Armand Philippot <git@armandphilippot.com> | 2022-02-10 19:15:21 +0100 |
|---|---|---|
| committer | Armand Philippot <git@armandphilippot.com> | 2022-02-10 19:36:39 +0100 |
| commit | f8cfa5e6e3ae74b84bb94ca3f982554709d2f7d0 (patch) | |
| tree | e4ac7e11e8016cbb323b26a0c44c785249464ea4 /commitlint.config.js | |
| parent | dd0081f361b97abf54b958d4e04840cf84b9be3b (diff) | |
chore: improve widgets
* Make all widgets expanded by default. This way, without Javascript,
thematics and topics are still available.
* Improve collapse/expand transition.
* Remove widget scrollbar: the height was sometimes weird because of
that. Except for ToC on large devices.
Diffstat (limited to 'commitlint.config.js')
0 files changed, 0 insertions, 0 deletions
