Update style overrides for latest Tocbot

mudge · mudge · commit fa90756a97ee · 2025-04-02T16:11:14.000+01:00
Tocbot 4.1.0 switched from using `&lt;ul&gt;` to `&lt;ol&gt;` for its markup so
update our custom style overrides accordingly.
diff --git a/jekyll-assets/css/style.css b/jekyll-assets/css/style.css
@@ -542,11 +542,11 @@ nav#mobile-contents {
 }
 
 @media screen{
-  #tocbot > ul.toc-list{
+  #tocbot > ol.toc-list{
     margin-bottom: 0.5em;
     margin-left: 0.125em
   }
-  #tocbot ul.sectlevel0, #tocbot a.toc-link.node-name--H1 + ul {
+  #tocbot ul.sectlevel0, #tocbot a.toc-link.node-name--H1 + ol {
     padding-left: 0;
   }
   #tocbot a.toc-link{

Original file line number	Diff line number	Diff line change
`@@ -542,11 +542,11 @@ nav#mobile-contents {`
`542`	`542`	`}`
`543`	`543`
`544`	`544`	`@media screen{`
`545`		`- #tocbot > ul.toc-list{`
	`545`	`+ #tocbot > ol.toc-list{`
`546`	`546`	`margin-bottom: 0.5em;`
`547`	`547`	`margin-left: 0.125em`
`548`	`548`	`}`
`549`		`- #tocbot ul.sectlevel0, #tocbot a.toc-link.node-name--H1 + ul {`
	`549`	`+ #tocbot ul.sectlevel0, #tocbot a.toc-link.node-name--H1 + ol {`
`550`	`550`	`padding-left: 0;`
`551`	`551`	`}`
`552`	`552`	`#tocbot a.toc-link{`