Reduce text size inside sidebars

diff --git a/src/jvmMain/resources/static/style.css b/src/jvmMain/resources/static/style.css
index af0ac5076644dadbb3357e76c5804c5ca6728d6b..a8758da5a4d6d147761eb5998c81cdf1a65d0e3a 100644 (file)
--- a/src/jvmMain/resources/static/style.css
+++ b/src/jvmMain/resources/static/style.css
@@ -515,12 +515,12 @@ aside.mobile img {
 
        /*noinspection CssOverwrittenProperties*/
        main > section, nav.desktop, aside.desktop {
-               border: 0.125em solid var(--panel-stroke);
-               border-radius: 0.75em;
+               border: 0.125rem solid var(--panel-stroke);
+               border-radius: 0.75rem;
                background-color: var(--panel-fill);
 
                box-sizing: border-box;
-               padding: 1.25em 1.5em;
+               padding: 1.25rem 1.5rem;
 
                position: relative;
                z-index: 1;
@@ -551,24 +551,24 @@ aside.mobile img {
                display: unset;
        }
 
-       nav.desktop {
+       nav.desktop, aside.desktop {
                width: 12vw;
                margin: 2vh 2vw;
+               font-size: 0.833rem;
 
+               max-height: 96vh;
+       }
+
+       nav.desktop {
                position: fixed;
                top: 0;
                left: 0;
-               max-height: 96vh;
        }
 
        aside.desktop {
-               width: 12vw;
-               margin: 2vh 2vw;
-
                position: fixed;
                top: 0;
                right: 0;
-               max-height: 96vh;
        }
 
        aside.desktop img {