SoCraTes: tweaking layout, especially title page