odoc/src/html_support_files/ at main · jon.recoil.org/odoc

jon.recoil.org / odoc

this repo has no description

odoc / src / html_support_files /

at main 1 folder 7 files

Add a few more font files

2 years ago

Add a few more font files

2 years ago

Add odoc-standalone package scaffolding

1 week ago

highlight.pack.js

Add common languages to highlightjs (#953)

2 years ago

Move all support files into src/html_support_files

3 years ago

Move all support files into src/html_support_files

3 years ago

Revert "Add admonition styling to odoc CSS and cleanup deprecated/dune"

1 month ago

Search bar navigation (#1088)

2 years ago

README.md

Fonts downloaded via https://gwfh.mranftl.com/fonts