Ben Rohlfs 0fa868fd73 Add css vars for line-height ...

Also remove shady usages of line-height.

Change-Id: I7e95d7cc1a44cf202e9c999215dcf5ef6b70520a

2019-10-28 08:54:13 +01:00

..

gr-syntax-theme.html

Add css vars for line-height

2019-10-28 08:54:13 +01:00