<?PHP
require_once("../php/set_default_vars.php");
require_once("../php/set_default_functions.php");
($OLD)? die:header('Content-type:  text/css');

  echo filterCssOutput("
    /* fonts */
    #main *,#sitemap *
                        { font-size:".eval_($LINUX,12,11)."px; line-height:".eval_($LINUX,16,15)."px;}

    #font-11px          { left:95px; color:#000000; cursor:default; font-weight:bold;
                          text-decoration:none;}

    #font-13px          { left:115px; color:#000000; cursor:pointer;}
    a:link#font-13px,a:visited#font-13px  { text-decoration:underline;}
    a:active#font-13px,a:hover#font-13px  { text-decoration:none;}

    #font-15px          { left:135px; color:#000000; cursor:pointer;}
    a:link#font-15px,a:visited#font-15px  { text-decoration:underline;}
    a:active#font-15px,a:hover#font-15px  { text-decoration:none;}
");
?>