The font is specified in the CSS with @font-face, a CSS2 feature. Perhaps the browser you're using might implement this feature using JS.