Logo Font

[Ricardo Segura]

Hello,

Hurray for HTML5! Could I please know what font is used for the logo?

Thank you very much,

Ricardo