sans serif, 1 px width, console-esque font used at homepage

Hi. I'm looking to see if anyone can help me ID the font used here:

It doesn't look like a default web font due to its modular composition, and the fact that the page source code's only CSS class with font settings are like so:

.Estilo5 {font-size: 10px}

..which is not a web font. Seems to be part of a custom font markup tool. I've also looked all over the web for a typeface with any variation of "estilo5", and nothing comes close to looking like it.

Any pointers would be greatly appreciated!