Ben Rohlfs 04e1ae8739 Add css vars for line-height ...

Also remove shady usages of line-height.

Change-Id: I7e95d7cc1a44cf202e9c999215dcf5ef6b70520a

2019-10-28 20:16:34 +09:00

..

gr-syntax-theme.html

Add css vars for line-height

2019-10-28 20:16:34 +09:00