3 ms·

[DELETED]

• wakkadakka 11y ago
  That's the name of the font. They chose it because it looked nice, not out of some kind of attempt at brainwashing.
  • jonsterling 11y ago
    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/prlconf.html https://github.com/jonsterling/JonPRL/commits/gh-pages/prlco...