dyunov
dyunov
If the browser window with DaRT is snapped to a side of the screen in Windows, the CSS can miscalculate the vertical height of the page title and obscure it...
It might be helpful to mark the properties which are symmetric or commutative-only in the complete list. I don't know reasonable standard enough pictograms for similar notions, maybe just print...
After refreshing the [ring search](https://ringtheory.herokuapp.com/search/) page, the newly-added property filters vanish. The four original dropdown lists stay filled, though.