$FONT_SIZE = '12pt';
$INDEX_TABLE_WIDTH  = 450;
$CONTENTS_TABLE_WIDTH  = 450;
$INDEX_WIDTH  = 250;
$CONTENTS_WIDTH  = 250;
$HTML_VALIDATE = '';
$LOCAL_ICONS = 1;
$WHITE_BACKGROUND = 1;
$ANTI_ALIAS = 1;
$ANTI_ALIAS_TEXT = 1;
$HTML_VERSION = '4.0';
$MATH_SCALE_FACTOR = 1.8;
$DISP_SCALE_FACTOR = 1.0;
$FIGURE_SCALE_FACTOR = 1.0;
$TRANSPARENT_FIGURES = 1;
$NO_SUBDIR = 1;
$DISCARD_PS = 0;
$SHORTEXTN = 1;
$DVIPSOPT = '-E' ;
$LATEX_COLOR = "";





1;