How to get the font size of a cell?
Hi everyone,
I'm currently trying to find a way to scale font sizes relatively to each other, so the size difference between them stays the same when I set a diffferent font size in the editor. For that, I would like to get some kind of reference value (e. g. the default font size for cells) and scale the font size of a cell in relation to that. Is there any way to do this from a query in the style sheet?
Please sign in to leave a comment.
I guess this one holds the answer - https://mps-support.jetbrains.com/hc/en-us/community/posts/206625245-Defining-header-styles-with-font-size-proportional-to-the-font-size-defined-in-the-settings-