diff --git a/lib/docs/index.html b/lib/docs/index.html index a786e2879d6229c08eee5ce0bfb7e6e5f89b0c4b..b128daf4c683e31cc0924614d5ab9809dd380ae2 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -342,6 +342,13 @@ cursor: default; } + #listFns dt { + font-family: var(--mono); + } + .argBreaker { + display: none; + } + /* tokens */ .tok-kw { color: #333; @@ -613,9 +620,7 @@