Hi, is the logo of Seaside available in any vector format? Or at least, what is the font name? -- Pavel