pull down to refresh

I think aiming for pure HTML/CSS is good but doesn’t need to be the goal. There is a time and a place for JavaScript where it should be added thoughtfully and with minimal external dependencies.