Lukas Schulte Pelkum 90f25ec220 Improve the web frontend (#9) ... * Fix line flowing out of div * Revert line highlighting * Fix tab key behaviour * Move links and version information to a footer * Fix footer hiding last code line * Calculate line number offset based on line overflow * Refactor some code		2021-06-20 15:58:36 +02:00
..
assets	Improve the web frontend (#9)	2021-06-20 15:58:36 +02:00
index.html	Improve the web frontend (#9)	2021-06-20 15:58:36 +02:00