This is not a technical point but does anyone know which font was used to typeset the logo? It looks really nice and clean.