jon.recoil.org
Testing of the @doc-json output
Revert scrollycode theming from docsite shell
The scrollycode theme support (scrollycode_theme_links helper and
--config scrollycode.theme=warm in dune-workspace) belongs in a
dedicated scrollycode shell, not in the generic docsite shell.
The generic --config infrastructure (config_values on Config.t and
the --config CLI arg) is retained for use by any shell.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
-16
src/odoc_docsite_shell.ml
-16
src/odoc_docsite_shell.ml
···
33
let page = Url.Path.{ kind = `File; parent = uri; name = file } in
34
Odoc_html.Link.href ~config ~resolve:(Current url) (Url.from_path page)
35
36
-
let scrollycode_theme_links ~config ~url =
37
-
match
38
-
List.assoc_opt "scrollycode.theme"
39
-
(Odoc_html.Config.config_values config)
40
-
with
41
-
| None -> []
42
-
| Some theme ->
43
-
let support_uri = Odoc_html.Config.support_uri config in
44
-
let css_url =
45
-
file_uri ~config ~url support_uri
46
-
("extensions/scrollycode-" ^ theme ^ ".css")
47
-
in
48
-
[ Html.link ~rel:[ `Stylesheet ] ~href:css_url () ]
49
-
50
(* TyXML helper for generating TOC *)
51
let html_of_toc toc =
52
let open Odoc_html.Types in
···
241
base_url current_url));
242
]
243
@ katex_elements @ extension_head_elements
244
-
@ scrollycode_theme_links ~config ~url
245
@ sidebar_json_script sidebar_data
246
in
247
Html.head (Html.title (Html.txt title_string)) meta_elements
···
403
(Printf.sprintf "window.BASE_URL = %S; window.CURRENT_URL = %S;"
404
base_url current_url));
405
]
406
-
@ scrollycode_theme_links ~config ~url
407
@ sidebar_json_script sidebar_data
408
in
409
Html.head (Html.title (Html.txt title_string)) meta_elements
···
33
let page = Url.Path.{ kind = `File; parent = uri; name = file } in
34
Odoc_html.Link.href ~config ~resolve:(Current url) (Url.from_path page)
35
36
(* TyXML helper for generating TOC *)
37
let html_of_toc toc =
38
let open Odoc_html.Types in
···
227
base_url current_url));
228
]
229
@ katex_elements @ extension_head_elements
230
@ sidebar_json_script sidebar_data
231
in
232
Html.head (Html.title (Html.txt title_string)) meta_elements
···
388
(Printf.sprintf "window.BASE_URL = %S; window.CURRENT_URL = %S;"
389
base_url current_url));
390
]
391
@ sidebar_json_script sidebar_data
392
in
393
Html.head (Html.title (Html.txt title_string)) meta_elements