Consistent arrow type rendering for solarized

[jtristan]

[MikaelMayer]

You might want to change your theme. Otherwise, I can give the following debug code.

The first "int" is classified as

storage.type.dafny
meta.type.formaldeclaration
text.dfy.dafny

The other int are classified as

keyword.type.dafny
text.dfy.dafny

which renders the same on the light/dark theme, but not the solarized theme.

[jtristan]

Ideally, shouldn't this be independent of what theme is used?

[MikaelMayer]

Yes, ideally :-)