diff --git a/docs/index.html b/docs/index.html index ef8b029d..0877bbb1 100644 --- a/docs/index.html +++ b/docs/index.html @@ -66,7 +66,7 @@ .markdown-section pre>code { font-family: Consolas, Roboto Mono, Monaco, courier, monospace !important; - /*font-size: .9rem !important;*/ + font-size: .9rem !important; } /*.anchor span {