diff --git a/static/index.html b/static/index.html index 9594913..1c6a12c 100644 --- a/static/index.html +++ b/static/index.html @@ -117,6 +117,9 @@ #highlight .anno { color: #6a5f52; } #highlight .hdr { color: #8a7d6c; font-weight: 700; } #gutter { position: absolute; inset: 0; pointer-events: none; z-index: 3; overflow: hidden; } + #weave { position: absolute; inset: 0; pointer-events: none; z-index: 0; width: 100%; height: 100%; } + @keyframes weavedraw { to { stroke-dashoffset: 0; } } + @keyframes weavepop { 0% { opacity: 0; transform: scale(0); } 100% { opacity: .95; } } #gutter .bracket { position: absolute; left: 7px; width: 7px; border: 2.5px solid currentColor; border-right: 0; @@ -290,6 +293,7 @@