diff options
author | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2019-05-16 15:16:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-16 15:16:53 +0200 |
commit | 412c6881c3d976a94f5376a83d119e562f573f48 (patch) | |
tree | e4c01812f4fd8b2610bf1d3c1915e76daf8d3a72 /docs/generator/custom | |
parent | 278f062dc12b481d1b0af5e9abf13e1efa70e8a9 (diff) |
Reduce HTML documentation font size (#6030)
* reducedocsfontsize
* reducedocsfontsize to 0.75rem
Diffstat (limited to 'docs/generator/custom')
-rw-r--r-- | docs/generator/custom/css/netdata.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/generator/custom/css/netdata.css b/docs/generator/custom/css/netdata.css index b3db108835..d9003be156 100644 --- a/docs/generator/custom/css/netdata.css +++ b/docs/generator/custom/css/netdata.css @@ -1,3 +1,7 @@ .md-nav__link { white-space: nowrap; } + +.md-typeset { + font-size: .75rem +} |