Oh yeah, I'm aware they don't use any sort of JavaScript. Oh, now I know what you mean. The BBC article said each page contained a piece of programming which automatically made his name appear ever so slightly bigger. They do it manually. You're right.