.. |
documentation
|
a3507892e1
allow using interactive_image without image
|
vor 1 Jahr |
favicon
|
f1e8e63495
new primary color
|
vor 2 Jahren |
fonts
|
c3bbe4e0ff
new font for website
|
vor 2 Jahren |
static
|
22d29ec3ff
fix styling for editor and markdown content (#2045)
|
vor 1 Jahr |
__init__.py
|
1c531cab16
remove obsolete code
|
vor 1 Jahr |
anti_scroll_hack.py
|
ad533310be
split website pages into separate files
|
vor 1 Jahr |
example_card.py
|
57784797e5
start to adjust website for dark mode
|
vor 1 Jahr |
examples.py
|
58ccf3e15f
remove the old map example
|
vor 1 Jahr |
fly.py
|
ad533310be
split website pages into separate files
|
vor 1 Jahr |
header.py
|
4931a56ba2
adjust breakpoints for header icons
|
vor 1 Jahr |
main_page.py
|
45174bde45
code review
|
vor 1 Jahr |
search.py
|
f34f013bea
Merge branch '1.4' into run_javascript
|
vor 1 Jahr |
star.py
|
6de021ce78
#811 replace drawer and menu icons once again
|
vor 2 Jahren |
style.py
|
22d29ec3ff
fix styling for editor and markdown content (#2045)
|
vor 1 Jahr |
svg.py
|
21e197ab00
#919 add discord link to website
|
vor 2 Jahren |