this repo has no description
Merge branch 'cmstatefield' (revert search)
+18
-5
+2
doc/index.mld
+2
doc/index.mld
···
1
1
{0 Scrollycode Extension for odoc}
2
2
3
+
@admonition.warning This extension was vibe-coded with AI assistance and has not been thoroughly reviewed or tested. Use at your own risk and expect breaking changes.
4
+
3
5
Scroll-driven code tutorials for odoc. Authored as [.mld] files using
4
6
[@@scrolly] custom tags — each step reveals new code alongside an
5
7
explanation.
+14
src/scrollycode_css.ml
+14
src/scrollycode_css.ml
···
14
14
let structural_css =
15
15
{|
16
16
/* === Container === */
17
+
18
+
/* odoc wraps tag extension output in <ul class="at-tags"><li class="scrolly">
19
+
— remove the bullet and list padding. */
20
+
ul.at-tags:has(> li.scrolly) {
21
+
list-style: none;
22
+
padding: 0;
23
+
margin: 0;
24
+
}
25
+
li.scrolly {
26
+
list-style: none;
27
+
padding: 0;
28
+
margin: 0;
29
+
}
30
+
17
31
.sc-container {
18
32
font-family: var(--sc-font-body);
19
33
background: var(--sc-bg);
+2
-5
src/scrollycode_extension.ml
+2
-5
src/scrollycode_extension.ml
···
627
627
(* Container — no theme class, CSS custom properties handle theming *)
628
628
Buffer.add_string buf "<div class=\"sc-container\">\n";
629
629
630
-
(* Hero *)
631
-
Buffer.add_string buf "<div class=\"sc-hero\">\n";
632
-
Buffer.add_string buf
633
-
(Printf.sprintf " <h1>%s</h1>\n" (html_escape title));
634
-
Buffer.add_string buf "</div>\n";
630
+
(* The page's {0} heading serves as the title — no hero needed. *)
631
+
ignore title;
635
632
636
633
(* Progress pips *)
637
634
Buffer.add_string buf "<nav class=\"sc-progress\">\n";