You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sure. The issue is that the CSS used for v3.ocaml.org comes partly from tailwind's typography plugin with some extra rules - and so is missing some of the rules declared in odoc's css. We need to port the rules relating to include blocks into v3's CSS file.
Odoc usually shows a border on the right to show which sections come from included signatures. See the right-hand side of the include here:
and the bottom of the included section here:
The text was updated successfully, but these errors were encountered: