diff --git a/cmd/fun/docsui/index.html b/cmd/fun/docsui/index.html index a618253..1816948 100644 --- a/cmd/fun/docsui/index.html +++ b/cmd/fun/docsui/index.html @@ -27,9 +27,6 @@ header{display:flex;align-items:center;gap:10px;height:52px;padding:0 18px;backg header .logo{font-family:var(--mono);font-weight:700;font-size:15px;letter-spacing:-.01em} header .logo b{color:var(--acc);font-weight:700} header .meta{color:var(--fg3);font-size:12.5px} -.dot{width:8px;height:8px;border-radius:50%;background:var(--ok);position:relative;flex-shrink:0} -.dot::after{content:'';position:absolute;inset:-4px;border-radius:50%;border:2px solid var(--ok);opacity:0;animation:pulse 2.4s ease-out infinite} -@keyframes pulse{0%{transform:scale(.4);opacity:.7}70%,100%{transform:scale(1.1);opacity:0}} .spacer{flex:1} #layout{flex:1;display:flex;min-height:0} @@ -175,8 +172,7 @@ pre.body{padding:15px 17px;font-family:var(--mono);font-size:12.5px;line-height: