diff --git a/doc.zih.tu-dresden.de/tud_theme/stylesheets/extra.css b/doc.zih.tu-dresden.de/tud_theme/stylesheets/extra.css index ff9786ea30c1880f43701e73e502f06fd8db029d..98c54afa6b64cd8b38b576f52ff6f8117a75cf16 100644 --- a/doc.zih.tu-dresden.de/tud_theme/stylesheets/extra.css +++ b/doc.zih.tu-dresden.de/tud_theme/stylesheets/extra.css @@ -110,7 +110,8 @@ strong { .md-typeset .admonition, .md-typeset details, -.md-typeset code { +.md-typeset code, +.highlighttable .linenos { font-size: 0.8rem; }