odoc-scrollycode-extension/src/ at main · jon.recoil.org/odoc-scrollycode-extension

jon.recoil.org / odoc-scrollycode-extension

this repo has no description

odoc-scrollycode-extension / src /

at main 4 files

Refactor scrollycode themes into CSS custom properties and add odoc shell plugins

1 week ago

scrollycode_css.ml

Refactor scrollycode themes into CSS custom properties and add odoc shell plugins

1 week ago

scrollycode_extension.ml

Fix doc comments

1 week ago

scrollycode_themes.ml

Add Copy_from support file variant and configurable x-ocaml URLs

1 week ago