diff --git a/index.html b/index.html
index ca64885..bcc9dc4 100644
--- a/index.html
+++ b/index.html
@@ -992,57 +992,92 @@
.toc > li li { font-weight: normal; }
.toc > li li li { font-size: 95%; }
.toc > li li li li { font-size: 90%; }
+ .toc > li li li li .secno { font-size: 85%; }
.toc > li li li li li { font-size: 85%; }
+ .toc > li li li li li .secno { font-size: 100%; }
- .toc > li { margin: 1.5rem 0; }
- .toc > li li { margin: 0.3rem 0; }
- .toc > li li li { margin-left: 2rem; }
+ /* @supports not (display:grid) { */
+ .toc > li { margin: 1.5rem 0; }
+ .toc > li li { margin: 0.3rem 0; }
+ .toc > li li li { margin-left: 2rem; }
- /* Section numbers in a column of their own */
- .toc .secno {
- float: left;
- width: 4rem;
- white-space: nowrap;
- }
- .toc > li li li li .secno {
- font-size: 85%;
- }
- .toc > li li li li li .secno {
- font-size: 100%;
- }
+ /* Section numbers in a column of their own */
+ .toc .secno {
+ float: left;
+ width: 4rem;
+ white-space: nowrap;
+ }
- :not(li) > .toc { margin-left: 5rem; }
- .toc .secno { margin-left: -5rem; }
- .toc > li li li .secno { margin-left: -7rem; }
- .toc > li li li li .secno { margin-left: -9rem; }
- .toc > li li li li li .secno { margin-left: -11rem; }
-
- /* Tighten up indentation in narrow ToCs */
- @media (max-width: 30em) {
- :not(li) > .toc { margin-left: 4rem; }
- .toc .secno { margin-left: -4rem; }
- .toc > li li li { margin-left: 1rem; }
- .toc > li li li .secno { margin-left: -5rem; }
- .toc > li li li li .secno { margin-left: -6rem; }
- .toc > li li li li li .secno { margin-left: -7rem; }
- }
- @media screen and (min-width: 78em) {
- body:not(.toc-inline) :not(li) > .toc { margin-left: 4rem; }
- body:not(.toc-inline) .toc .secno { margin-left: -4rem; }
- body:not(.toc-inline) .toc > li li li { margin-left: 1rem; }
- body:not(.toc-inline) .toc > li li li .secno { margin-left: -5rem; }
- body:not(.toc-inline) .toc > li li li li .secno { margin-left: -6rem; }
- body:not(.toc-inline) .toc > li li li li li .secno { margin-left: -7rem; }
- }
- body.toc-sidebar #toc :not(li) > .toc { margin-left: 4rem; }
- body.toc-sidebar #toc .toc .secno { margin-left: -4rem; }
- body.toc-sidebar #toc .toc > li li li { margin-left: 1rem; }
- body.toc-sidebar #toc .toc > li li li .secno { margin-left: -5rem; }
- body.toc-sidebar #toc .toc > li li li li .secno { margin-left: -6rem; }
- body.toc-sidebar #toc .toc > li li li li li .secno { margin-left: -7rem; }
-
- .toc li {
- clear: both;
+ .toc li {
+ clear: both;
+ }
+
+ :not(li) > .toc { margin-left: 5rem; }
+ .toc .secno { margin-left: -5rem; }
+ .toc > li li li .secno { margin-left: -7rem; }
+ .toc > li li li li .secno { margin-left: -9rem; }
+ .toc > li li li li li .secno { margin-left: -11rem; }
+
+ /* Tighten up indentation in narrow ToCs */
+ @media (max-width: 30em) {
+ :not(li) > .toc { margin-left: 4rem; }
+ .toc .secno { margin-left: -4rem; }
+ .toc > li li li { margin-left: 1rem; }
+ .toc > li li li .secno { margin-left: -5rem; }
+ .toc > li li li li .secno { margin-left: -6rem; }
+ .toc > li li li li li .secno { margin-left: -7rem; }
+ }
+ /* } */
+
+ @supports (display:grid) {
+ /* Use #toc over .toc to override non-@supports rules. */
+ #toc {
+ display: grid;
+ align-content: start;
+ grid-template-columns: auto 1fr;
+ grid-column-gap: 1rem;
+ column-gap: 1rem;
+ grid-row-gap: .6rem;
+ row-gap: .6rem;
+ }
+ #toc h2 {
+ grid-column: 1 / -1;
+ margin-bottom: 0;
+ }
+ #toc ol,
+ #toc li,
+ #toc a {
+ display: contents;
+ /* Switch to subgrid when supported */
+ }
+ #toc span {
+ margin: 0;
+ }
+ #toc > .toc > li > a > span {
+ /* The spans of the top-level list,
+ comprising the first items of each top-level section. */
+ margin-top: 1.1rem;
+ }
+ #toc .secno {
+ grid-column: 1;
+ width: auto;
+ }
+ #toc .content {
+ grid-column: 2;
+ width: auto;
+ margin-right: 1rem;
+ }
+ #toc .content:hover {
+ background: rgba(75%, 75%, 75%, .25);
+ border-bottom: 3px solid #054572;
+ margin-bottom: -3px;
+ }
+ #toc li li li .content {
+ margin-left: 1rem;
+ }
+ #toc li li li li .content {
+ margin-left: 2rem;
+ }
}
@@ -1176,9 +1211,9 @@
}
}
-
+
-
+
+
+.dfn-paneled { cursor: pointer; }
+