<!-- $Id: hyperlatex.css,v 1.2 2004/02/24 02:14:57 tomfool Exp $ -->

<!-- CSS for hyperlatex.sourceforge.net -->
<style>
  /* Defaults. */
  body {
    color:		black;
    background-color:	white;
  }

  /* Logo banner. */
  .logo {
    background-color:	#999999;
  }
  
  /* Make font size of menu items a bit smaller. */
  .menu {
    font-size:		.8em;
    background-color:	white;
  }
  .menuItem:link {
    color:		blue;
  }
  .menuItem:visited {
    color:		blue;
  }
  .activeMenuItem:link {
    font-size:		1.1em;
    font-weight:	bold;
    color:		blue;
    background-color:	#cacaf7;
  }
  .activeMenuItem:visited {
    font-size:		1.1em;
    font-weight:	bold;
    color:		blue;
    background-color:	#cacaf7;
  }

  /*
   * The entire table cell for the menu group for the displayed page
   * should be light blue.
   */
  .activeMenuGroup {
    background-color:	#cacaf7;
  }

  /* Menu group headings should be black regardless even if they are links.*/
  a.menuGroupHeading:link {
      color:		black;
  }
  a.menuGroupHeading:visited {
      color:		black;
  }
  a.activeMenuGroupHeading:link {
    color:		black;
    background-color:	#cacaca;
  }
  a.activeMenuGroupHeading:visited {
    color:		black;
    background-color:	#cacaca;
  }

  /* Copyright info at bottom of screen. */
  .copyright {
    font-size:		0.7em;
  }
</style>
