Odoc plugins for jon.recoil.org
Remove CSS rules that hid sidebar package links
The old CSS hid top-level sidebar toggles/links to collapse wrapper nodes,
but the JS now handles flattening. These rules were hiding package names
inside groups, making the sidebar unnavigable.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+2
-26
+2
-26
src/odoc_jons_plugins_css.ml
+2
-26
src/odoc_jons_plugins_css.ml
···
152
152
display: none;
153
153
}
154
154
155
-
/* Collapse the top two wrapper levels so content aligns with header */
156
-
.jon-shell-sidebar > ul > li > ul,
157
-
.jon-shell-sidebar > ul > li > ul > li > ul {
158
-
padding-left: 0;
159
-
margin-left: 0;
160
-
border-left: none;
161
-
}
155
+
/* Remove indentation from the top-level sidebar list */
162
156
163
157
.jon-shell-sidebar ul ul {
164
158
padding-left: 12px;
···
259
253
display: none;
260
254
}
261
255
262
-
/* Hide the top-level wrapper entries (e.g. "OCaml package documentation" >
263
-
"reference") — they waste space and add confusing nesting. Show their
264
-
children directly. Also force their child lists to always be visible
265
-
regardless of collapsed state, so package groups at level 3 are shown. */
266
-
.jon-shell-sidebar > ul > li > .sidebar-toggle,
267
-
.jon-shell-sidebar > ul > li > a,
268
-
.jon-shell-sidebar > ul > li > .sidebar-label,
269
-
.jon-shell-sidebar > ul > li > ul > li > .sidebar-toggle,
270
-
.jon-shell-sidebar > ul > li > ul > li > a,
271
-
.jon-shell-sidebar > ul > li > ul > li > .sidebar-label {
272
-
display: none;
273
-
}
274
-
.jon-shell-sidebar > ul > li > ul,
275
-
.jon-shell-sidebar > ul > li > ul > li > ul {
276
-
display: block !important;
277
-
padding-left: 0;
278
-
margin-left: 0;
279
-
border-left: none;
280
-
}
256
+
/* Collapse the top-level wrapper padding so content aligns with header */
281
257
282
258
/* Group headings in the sidebar — static section headers, not collapsible */
283
259
.jon-shell-sidebar .sidebar-group {