DEV: update for core outlet change (#137)

* DEV: update for core outlet change * prettier
2026-05-22 18:33:15 +00:00 · 2026-02-02 10:55:10 -05:00
parent c769cff052
commit 97006d8aa3
1 changed files with 1 additions and 1 deletions
@@ -156,7 +156,7 @@ html.rtl SELECTOR {

 // END active line marker
 .d-toc-mini {
-  height: 100%;
+  align-self: stretch;

  button {
    height: 100%;