Inspecting the source code of the webpage reveals it to be '04b_03' I believe--and I find similar pixel fonts when I plug that into Google!
