Open tong opened 7 years ago
https://github.com/abe33/atom-pigments/blob/916b836ae155f2f060bb9c36b3b18e2a383e9813/styles/pigments.less#L370
I think it is preferable to use the default font size (specified by user in editor settings), but this property overrides it.
https://github.com/abe33/atom-pigments/blob/916b836ae155f2f060bb9c36b3b18e2a383e9813/styles/pigments.less#L370
I think it is preferable to use the default font size (specified by user in editor settings), but this property overrides it.