Lars Eggert 60ba38defe fix: Nav links got broken in #3980 (#4032) ... Righthand-nav links were no longer clickable since #3980. Fix that.		2022-05-31 17:06:15 -05:00
..
css	fix: Nav links got broken in #3980 (#4032)	2022-05-31 17:06:15 -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	refactor: replace flot with highcharts (#4030)	2022-05-31 17:05:27 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00