10 Commits

Include renames

Author	SHA1	Message	Date
phundrak	a70bf19002	Adapted language dropdown to smaller devices	2020-05-02 16:38:22 +02:00
phundrak	7759dde4b6	Fixed position of dropdowns that overlapped with navbar	2020-05-02 15:54:03 +02:00
phundrak	70c1e8153e	Better display of images, especially generated trees ... Images now have a default maximum width of 100%. Generated tree images now must be marked with class `gentree' and will be color-inverted (i.e. their black parts will be white, while the transparent background remains transparent) with dark themes. The TOC and the language dropdown have been inverted.	2020-05-02 15:40:39 +02:00
phundrak	7b3e9f344e	Better styling	2020-05-01 23:09:03 +02:00
phundrak	b4efb4b56d	Better tables display, better light color, better image display	2020-04-29 21:25:28 +02:00
phundrak	56d6c5d1d0	made some functions async in Dart	2020-04-29 00:40:30 +02:00
phundrak	1ab53daa10	Added share buttons, styled urls, updated fontawesome script	2020-04-29 00:03:51 +02:00
phundrak	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
phundrak	05e374dd27	Theme changer works, now I have to make it permanent	2020-04-25 12:15:10 +02:00
phundrak	37d735cfdd	Beginning rewrite of dart and scss code, no more infojs for org ... New look for the website, rewrite and optimization of dart code. Infojs has been removed entirely.	2020-04-24 18:14:52 +02:00