search

tirix / mm-web-ui

A user interface for the Metamath web pages
MIT License
4 stars 0 forks source link

Soften highlighting when hovering over a proof step #3

Closed tirix closed 6 years ago

tirix commented 6 years ago

As proposed by Jan in his google groups post :

What confuses me: The exit/leave (also known as hoover) visual feedback of a proof line (it gets dark). Feels like in a disco.

tirix commented 6 years ago

Highlighting is softer since commit 65f5d49