Separate font size for pages list

merge-requests/30/head
Bob Mottram 2022-07-04 11:45:36 +01:00
parent 8ed4e73cf3
commit 498d556459
1 changed files with 4 additions and 3 deletions

View File

@ -62,6 +62,7 @@
--font-size-dropdown-header-tiny: 20px; --font-size-dropdown-header-tiny: 20px;
--font-size-mobile: 50px; --font-size-mobile: 50px;
--font-size-tiny: 25px; --font-size-tiny: 25px;
--font-size-pageslist: 32px;
--font-size: 26px; --font-size: 26px;
--font-size2: 20px; --font-size2: 20px;
--font-size3: 34px; --font-size3: 34px;
@ -1863,7 +1864,7 @@ h3 {
float: right; float: right;
} }
.pageslist { .pageslist {
font-size: var(--font-size); font-size: var(--font-size-pageslist);
} }
.pageslist mark { .pageslist mark {
} }
@ -2660,7 +2661,7 @@ h3 {
margin-right: 1vw; margin-right: 1vw;
} }
.pageslist { .pageslist {
font-size: var(--font-size); font-size: var(--font-size-pageslist);
} }
.pageslist mark { .pageslist mark {
} }
@ -3454,7 +3455,7 @@ h3 {
margin-right: 1vw; margin-right: 1vw;
} }
.pageslist { .pageslist {
font-size: var(--font-size); font-size: var(--font-size-pageslist);
} }
.pageslist mark { .pageslist mark {
} }