Erik Demaine 8984dd3eaf Fix line-height change from hover (#5449) ...

* Fix line-height change from hover

Partial solution to #5448.  Fixes changing `line-height`
but there are still tiny discrepancies in overall size.

* Rebuild for 2023

2023-05-11 10:11:31 -07:00

..

examples

Import assertions (#5391)

2022-01-20 11:40:13 -08:00

sections

2.7.0 (#5412)

2022-04-23 19:19:19 -07:00

site

Fix line-height change from hover (#5449)

2023-05-11 10:11:31 -07:00