|
1
2
3
4
5
6
|
:-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')).
|