10-25-2019, 02:38 AM
There’s kind of a half implemented font size setting in panels.css around line 46, something like
--pbfont:calc(.75em + 1vmin);
changing the .75 number will make the font size larger or smaller in some parts of the interface.
Manually creating a new rule set based on your particular screen is probably the safer bet. In general 1em is the current font size so a number relative to that like .9em is 90% of that. If the font is set in a parent element then the values will be relative to that value (so like the base level the font size is 20px and there’s a div element (a grouping mechanism) sets the font size to .9em then any child elements contained within that set a em based value will use the altered value set by their parent (the div) rather than any document level value. To get around that there’s rem so 1rem will be the default font size for the document. The vmin value here is kind of a trick used to set the font in a way that lets it scale based on screen resolution so that the font displays more legibly on larger screens.
--pbfont:calc(.75em + 1vmin);
changing the .75 number will make the font size larger or smaller in some parts of the interface.
Manually creating a new rule set based on your particular screen is probably the safer bet. In general 1em is the current font size so a number relative to that like .9em is 90% of that. If the font is set in a parent element then the values will be relative to that value (so like the base level the font size is 20px and there’s a div element (a grouping mechanism) sets the font size to .9em then any child elements contained within that set a em based value will use the altered value set by their parent (the div) rather than any document level value. To get around that there’s rem so 1rem will be the default font size for the document. The vmin value here is kind of a trick used to set the font in a way that lets it scale based on screen resolution so that the font displays more legibly on larger screens.
