Hacker News Reader

I am more interested in the CSS/JS they're using to do the highlighting and the underlining. Does anyone know the library or what's going on?

A quick look through the source brought me to https://roughnotation.com/