How to do smooth scrolling without jQuery?

In the past when I wanted to have smooth scrolling on a website I'd just use this jQuery snippet by CSS-Tricks. It does exactly what I want and didn't require any javascript library (except jQuery). These days I prefer to avoid using big libraries li...