diff --git a/docs/extra.css b/docs/extra.css index b92fc8d..ad7c28e 100644 --- a/docs/extra.css +++ b/docs/extra.css @@ -2,14 +2,17 @@ body, input { color: #000; } + .md-nav { font-size: 14px; line-height: 1.4; } + .md-typeset { - font-size: 14px; + font-size: .7rem; line-height: 1.5; } + .md-typeset code, .md-typeset pre { white-space: pre-wrap;