--- a/doc/_static/style.css	Mon May 29 19:01:59 2023 -0400
+++ b/doc/_static/style.css	Mon May 29 19:28:38 2023 -0400
@@ -442,3 +442,15 @@
     background-size: 20px 100%, 20px 100%, 16px 100%, 16px 100%;
     background-attachment: local, local, scroll, scroll;
 }
+
+/* https://moderncss.dev/totally-custom-list-styles/ make a list
+   use multiple columns */
+ul.multicol {
+   display: grid;
+  /* adjust the `min` value to your context */
+  grid-template-columns: repeat(auto-fill, minmax(25ch, 1fr));
+  grid-gap: 0 1rem; /* no row gap */
+}
+ul.multicol > * {
+  margin-block-start: 0; /* remove spacing added by * + * here */
+}