300c1dbee6
Added support in SCSS for code blocks
2020-05-05 10:39:54 +02:00
f329e2b8fb
Better styling of postamble
...
Less height calculation, more automation.
2020-05-04 20:46:59 +02:00
57dc7216cc
Better phone display for postamble
2020-05-04 16:14:50 +02:00
0ad05ea1c4
more maintainable SCSS code
2020-05-02 19:23:37 +02:00
e8e18d6084
Moved subtitle out of h1 tag, some more styling for mobile users
...
there has been also some code formatting
2020-05-02 19:00:39 +02:00
a70bf19002
Adapted language dropdown to smaller devices
2020-05-02 16:38:22 +02:00
7759dde4b6
Fixed position of dropdowns that overlapped with navbar
2020-05-02 15:54:03 +02:00
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
7b3e9f344e
Better styling
2020-05-01 23:09:03 +02:00
b4efb4b56d
Better tables display, better light color, better image display
2020-04-29 21:25:28 +02:00
56d6c5d1d0
made some functions async in Dart
2020-04-29 00:40:30 +02:00
1ab53daa10
Added share buttons, styled urls, updated fontawesome script
2020-04-29 00:03:51 +02:00
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
05e374dd27
Theme changer works, now I have to make it permanent
2020-04-25 12:15:10 +02:00
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
