This repository has been archived on 2025-02-11. You can view files and clone it. You cannot open issues or pull requests or push a commit.

phundrak fc1556128c Fixes #4 ...

Also put in common some code between TOC and Pages dropdown, made style
more mobile-friendly.

2020-05-09 15:16:42 +02:00

..

dart

Fixes bug introduced in e819866

2020-05-09 14:45:26 +02:00

style

Fixes #4

2020-05-09 15:16:42 +02:00