diff --git a/doc/index.html b/doc/index.html index 42e075f..54533e2 100644 --- a/doc/index.html +++ b/doc/index.html @@ -55,7 +55,7 @@ td:first-child { font-family: "SF Mono", Monaco, monospace; font-size: 13px; }