Lars Eggert 525ce6bc68 fix: Correctly scroll to URL fragment after augmenting tables (#4040) ... * fix: Correctly scroll to URL fragment after augmenting tables * feat: Only add search field to longer tables * Tweak vertical whitespace around search field Co-authored-by: Robert Sparks <rjsparks@nostrum.com>		2022-06-01 11:56:25 -05:00
..
css	fix: Fix include of bootstrap-icons (#4039)	2022-06-01 10:55:01 -05:00
images	feat: Switch to SVG logo; use it (and new bitmaps) in more places (#4035)	2022-05-31 17:03:43 -05:00
js	fix: Correctly scroll to URL fragment after augmenting tables (#4040)	2022-06-01 11:56:25 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00