TOC spacing after numbers

Author: davidfarmer

pretext.css

@@ -426,6 +426,9 @@ so that we can set our own later */
 .ptx-content section .para + .tabular-box {
     margin-top: 0.75em;
 }
+.ptx-content section .tabular-box + .tabular-box {
+    margin-top: 1.0em;
+}
 .ptx-content section .proof {
     margin-top: 0.75em;
 }

toc_default.css

@@ -32,10 +32,22 @@
     padding-left: 0.3rem;
     display: inline-block;
 }
+.ptx-toc .codenumber + .title {
+    padding-left: 0.3rem;
+}
+.ptx-toc .internal > .title:first-child {
+    padding-left: 1.0rem;
+}
+.ptx-toc .structural .structural .codenumber {
+    padding-top: 0.2em;
+    font-size: 80%;
+}
 
+/*
 .ptx-toc :is(.toc-frontmatter, .toc-backmatter) > .toc-title-box > a .title {
     margin-left: 1.5rem;
 }
+*/
 
 .ptx-toc .toc-part > .toc-title-box > a .codenumber {
     min-width: 1.5rem;
@@ -264,4 +276,4 @@ omitting, because it caused a "jump"
     :root {
         --parttoc: color-mix(in srgb, var(--chaptertoc), black 15%);
     }
-}
+}