[erichocean]

[DELETED]

[wakkadakka]

That's the name of the font. They chose it because it looked nice, not out of some kind of attempt at brainwashing.

[jonsterling]

Indeed. that css is leftover from a previous version of the page. You can view the history of that page here: https://github.com/jonsterling/JonPRL/commits/gh-pages/prlco...