Wojciech Jaworski / ENIAM

:-new(_, font(verdana, roman, 16,
	x_name:='-microsoft-verdana-medium-r-normal-*-15-*-*-*-p-*-iso8859-2')).
:-new(_, font(verdana, roman, 10,
	x_name:='-microsoft-verdana-medium-r-normal-*-*-110-*-*-p-*-iso8859-2')).
:-new(_, font(verdana, bold, 10,
	x_name:='-microsoft-verdana-bold-r-normal-*-*-110-*-*-p-*-iso8859-2')).