From d7f0e2090fcfdc207c2cb002c7ae6eded7da3637 Mon Sep 17 00:00:00 2001
From: Loc Nguyen <loc.nguyen_dang_duc@tu-dresden.de>
Date: Fri, 4 Mar 2022 14:34:59 +0100
Subject: [PATCH] match linenum fontsize to codeblocks fontsize

---
 doc.zih.tu-dresden.de/tud_theme/stylesheets/extra.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 ff9786ea3..98c54afa6 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;
 }
 
-- 
GitLab