I know this sounds like a stupid question. But can anybody tell me which font is the one in the "Slate theme" image on TextMate Wiki? -enrico