search

music-encoding / music-encoding.github.io

The MEI website
http://music-encoding.org
Educational Community License v2.0
15 stars 37 forks source link

Update tools page layout #588

Closed bwbohl closed 2 months ago

musicEnfanthen commented 3 months ago

@bwbohl I think I figured out why the content is shifting when filtering. It is the scrollbar added or removed by the browser. But this is only happening on Chrome (and/or Safari?), since FireFox uses some kind of "overlay scrollbar" that is not part of the layout.

musicEnfanthen commented 2 months ago

Many thanks to everyone involved for this great contribution!