Thomas Durieux 261eaa8d79 Polish website UX: unify dashboards, clean up layout, modernize styling (#668)

2026-04-15 09:30:19 +02:00

..

fonts

fix: add missing KaTeX fonts

2024-04-05 12:02:50 +01:00

all.min.css

Polish website UX: unify dashboards, clean up layout, modernize styling (#668)

2026-04-15 09:30:19 +02:00

bootstrap.min.css

v2 wip

2021-03-16 11:23:16 +01:00

font-awesome.min.css

core: update font awesome

2021-08-14 05:29:31 +02:00

github-markdown.min.css

fix(#251): fix notebook and code dark mode

2024-04-04 18:35:01 +01:00

katex.min.css

fix: add missing KaTeX fonts

2024-04-05 12:02:50 +01:00

notebook.css

v2 wip

2021-03-16 11:23:16 +01:00

prism-okaidia.css

fix(#251): fix notebook and code dark mode

2024-04-04 18:35:01 +01:00

prism.css

v2 wip

2021-03-16 11:23:16 +01:00

style.css

Polish website UX: unify dashboards, clean up layout, modernize styling (#668)

2026-04-15 09:30:19 +02:00