$FONT_SIZE = '12pt';
$INDEX_TABLE_WIDTH  = 450;
$CONTENTS_TABLE_WIDTH  = 450;
$INDEX_WIDTH  = 250;
$CONTENTS_WIDTH  = 250;
$HTML_VALIDATE = '';
$LOCAL_ICONS = 1;
@IMAGE_TYPES = qw(png gif);
$IMAGE_TYPE  = $IMAGE_TYPES[0];

1;
