diff options
Diffstat (limited to 'docs/_static/custom.css')
-rw-r--r-- | docs/_static/custom.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/_static/custom.css b/docs/_static/custom.css index a5403c295..9d07edeaf 100644 --- a/docs/_static/custom.css +++ b/docs/_static/custom.css @@ -87,3 +87,13 @@ a:hover, a:focus { .highlight .m { color: #ba2121; } + +#c-api-class-hierarchy code { + font-size: 100%; + font-weight: normal; + font-family: "Lato","proxima-nova","Helvetica Neue","Arial","sans-serif"; +} + +.hide-toctree { + display: none; +} |