Warning: Cannot modify header information - headers already sent by (output started at /home/destefa1/public_html/nf/function.php:1) in /home/destefa1/public_html/nf/function.php on line 215

Warning: Cannot modify header information - headers already sent by (output started at /home/destefa1/public_html/nf/function.php:1) in /home/destefa1/public_html/nf/function.php on line 216

Warning: Cannot modify header information - headers already sent by (output started at /home/destefa1/public_html/nf/function.php:1) in /home/destefa1/public_html/nf/function.php on line 217

Warning: Cannot modify header information - headers already sent by (output started at /home/destefa1/public_html/nf/function.php:1) in /home/destefa1/public_html/nf/function.php on line 218

Warning: Cannot modify header information - headers already sent by (output started at /home/destefa1/public_html/nf/function.php:1) in /home/destefa1/public_html/nf/function.php on line 219

Warning: Cannot modify header information - headers already sent by (output started at /home/destefa1/public_html/nf/function.php:1) in /home/destefa1/public_html/nf/function.php on line 220
# # $Id: Old12Pt.fs,v 1.2 2001/12/09 05:03:09 idiscovery Exp $ # proc tixSetFontset:12Point {} { global tixOption set tixOption(font) -*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-* set tixOption(bold_font) -*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-* set tixOption(menu_font) -*-helvetica-bold-o-normal-*-12-*-*-*-*-*-*-* set tixOption(italic_font) -*-helvetica-bold-o-normal-*-12-*-*-*-*-*-*-* set tixOption(fixed_font) -*-courier-medium-r-*-*-12-*-*-*-*-*-*-* set tixOption(border1) 1 }