diff --git a/cmd/tools/vdoc-resources/doc.css b/cmd/tools/vdoc-resources/doc.css index 394ff870d5..657cd92c26 100644 --- a/cmd/tools/vdoc-resources/doc.css +++ b/cmd/tools/vdoc-resources/doc.css @@ -411,7 +411,7 @@ body { pre, code, pre code { color: #5c6e74; color: var(--code-default-text-color); - font-size: 0.9rem; + font-size: 0.948em; text-shadow: none; font-family: monospace; background-color: #edf2f7; @@ -573,4 +573,4 @@ pre { .doc-toc { top: 0; } -} \ No newline at end of file +}