less width

Author: Py-mon

docs/_layouts/on-this-page.html

@@ -81,14 +81,14 @@
 @media (min-width: 801px) {
   .toc {
     order: 2;
-    width: 15rem;
+    width: 12rem;
     position: sticky;
     top: 4rem;
     max-height: 80vh;
     overflow: auto;
     padding: 1rem;
     border: 1px solid #444;
-    border-radius: 16px;
+    border-radius: 1px;
     background: #1f1f1f;
     color: #f8f8f8;
     flex-shrink: 0;