/*

    GPP -- Generic Pretty-Printer
    Copyright (C) 1998-2000  Merijn de Jonge (Merijn.de.Jonge@cwi.nl). 

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA

*/
/*
 *  $Id: boxstyle.css,v 1.1 2003/01/03 07:23:39 stratego Exp $
 *
 * Cascading Style Sheet for use with HTML files generated by abox2html
 *
 * The following tags are used by abox2html
 *
 *    tag     corresponding Box operator
 *  comment       C
 *  keyword      KW
 *  variable     VAR
 *   number      NUM
 *    math       MATH
 *
 */

/* Back ground color */
body      { background-color: #FFFFFF }
.comment  {color: #777700; font-family: "new century schoolbook", serif;font-size:14pt}
.keyword  {font-weight: bold}                          
.variable {font-style: italic}
