This repository has been archived on 2023-02-26. You can view files and clone it, but cannot push or open issues or pull requests.

Lucien Cartier-Tilet 7c9e8b1e5f Theme change made permanent, TOC and language changer work ... Replaced all text in navbar by icons, moved TOC to the right of Home button. TOC is now correctly displayed with small animation. Added black theme to light and dark themes.		2020-04-28 22:32:37 +02:00
..
main.dart	Theme change made permanent, TOC and language changer work	2020-04-28 22:32:37 +02:00
parse_sitemap.dart	Beginning rewrite of dart and scss code, no more infojs for org	2020-04-24 18:14:52 +02:00
reorganize_html.dart	Theme change made permanent, TOC and language changer work	2020-04-28 22:32:37 +02:00
theme.dart	Theme change made permanent, TOC and language changer work	2020-04-28 22:32:37 +02:00