Different font sizes?

[ghost]

Would it be possible to adjust the size of different tokens?

For example, a level 1 header # Heading could be a larger font size than standard text.

Something like CodeMirror's implementation: http://codemirror.net/demo/variableheight.html

[ruddfawcett]

Yes! What you're looking for is to define "size" in a "font" for an element in your stylesheet.

"font:" {
    "size": 12
}

You can either edit an existing stylesheet, or create a new one to do this!

[ghost]

Legendary 👍 thanks for that!