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