Multipliers for different font sizes

Syntaxes & Themes
1

Hi, just a couple questions about font sizes:

The documentation for creating themes notes that a multiplier is used to calculate the actual size of the different font size options based on the base font size.

Is there any documentation about what values are used for the different multipliers?

Also, is there any way to modify the values used?

Thanks!

2

They’re not published, but the factors are:

  • extraSmall: 0.6
  • small: 0.8
  • large: 1.2
  • extraLarge: 1.4

With the value rounded to the nearest point size.

No, they are not adjustable.

2 Likes
3

Ok. Thanks! That’s helpful.