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

..

body.html

2.7.0 (#5412)

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

code.coffee

2.0.0 (#4701)

2017-09-18 08:19:19 -07:00

code.css

Fix line-height change from hover (#5449)

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

code.html

Docs fixes (#4707)

2017-09-20 13:10:48 -07:00

docs.coffee

Fix #5421, docs code snippets not running (#5422)

2022-08-02 09:23:31 -07:00

docs.css

Revert "fix momentum scrolling on iOS (#5083)" (#5084)

2018-06-16 15:35:34 -07:00

icon.svg

Docs improvements (#5042)

2018-04-27 10:07:01 -07:00

index.html

2.3.1 (#5069)

2018-05-21 22:14:34 -07:00

logo.svg

Docs improvements (#5042)

2018-04-27 10:07:01 -07:00

navbar.html

Add Integrations section to docs (#5334)

2021-11-29 11:04:47 -08:00

play.svg

Docs improvements (#5042)

2018-04-27 10:07:01 -07:00

scripts.html

Actually publish the browser compilers to NPM (#5186)

2019-04-07 16:09:44 -07:00

sidebar.html

Add Integrations section to docs (#5334)

2021-11-29 11:04:47 -08:00

styles.html

2.6.0 (#5374)

2021-09-19 14:15:00 -07:00

test.html

Run browser tests in headless Chrome; replace Travis and AppVeyor with GitHub Actions (#5298)

2020-05-25 21:03:49 -07:00

try.html

2.0.0 (#4701)

2017-09-18 08:19:19 -07:00