search

music-encoding / guidelines

:scroll: The Music Encoding Initiative Guidelines
Educational Community License v2.0
23 stars 29 forks source link

make index sticky #112

Closed rettinghaus closed 5 years ago

rettinghaus commented 5 years ago

to keep the nav on screen