Merge pull request #348 from return42/no-arial

[theme] simple: do not prefer arial over user's sans-serif font
This commit is contained in:
Alexandre Flament 2021-09-27 18:30:17 +02:00 committed by GitHub
commit a1a53859c2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 7 additions and 7 deletions

View file

@ -2194,7 +2194,7 @@ td:hover .engine-tooltip,
font-family: "ion";
}
html {
font-family: arial, sans-serif;
font-family: sans-serif;
font-size: 0.9em;
-webkit-text-size-adjust: 100%;
-ms-text-size-adjust: 100%;

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View file

@ -2194,7 +2194,7 @@ td:hover .engine-tooltip,
font-family: "ion";
}
html {
font-family: arial, sans-serif;
font-family: sans-serif;
font-size: 0.9em;
-webkit-text-size-adjust: 100%;
-ms-text-size-adjust: 100%;

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View file

@ -37,7 +37,7 @@
// Main LESS-Code
html {
font-family: arial, sans-serif;
font-family: sans-serif;
font-size: 0.9em;
.text-size-adjust;