É apenas um snippet de javascript que é colocado no site.
Preferias que fosse html?
O código usado para fazer o site está em sim em PHP.
Já agora, um aspecto interessante é que o site foi todo feito usando o linux e suas ferramentas. Emacs, inkscape, gimp, ...