Noup... found no way to alter the font size of clock @ top menu :-( Stupid Nokia has propably hard coded the size, so it's not changeable via regular themeing.