Skip to content

docs: Change font and make it dark mode#576

Merged
wolfv merged 5 commits intoprefix-dev:mainfrom ruben-arts:misc/change_doc_styleDec 18, 2023