Merge branch 'main' into dev

This commit is contained in:
Giulio 2022-03-16 11:11:00 +01:00
commit 8cace87776

View File

@ -176,6 +176,13 @@ html {
margin-top: -16pt; margin-top: -16pt;
zoom: 0.75; zoom: 0.75;
} }
#lang,#theme{
max-width: 26pt;
min-width: 0;
padding: 0;
padding-left: 4px;
word-spacing: 20pt;
}
} }
h1,h2,h3,h4,p,span,b,label{ h1,h2,h3,h4,p,span,b,label{
font-family: Avenir, Helvetica, Arial, sans-serif; font-family: Avenir, Helvetica, Arial, sans-serif;