function write_font_css( page_variant )
{
  if( page_variant == "grace" )
  {
      document.write( '<STYLE TYPE="text/css"> body { font-family:"Courier New"; font-size:11pt; color:WHITE } </STYLE>' );
  }

  if( page_variant == "index" )
  {
      document.write( '<STYLE TYPE="text/css"> body { font-family:"Courier New"; font-size:12pt; color:BLACK } </STYLE>' );
  }

  if( page_variant == "normal" )
  {
      document.write( '<STYLE TYPE="text/css"> body { font-family:"Courier New"; font-size:11pt; color:BLACK } </STYLE>' );
  }

  return;
}