<!--
  NAME     : left.css
  DESC     : styles for left frame
//-->

<STYLE TYPE=text/css >
<!--

  <!-- --------------------------------------------------------- -->
  <!--                 T A B L E   C L A S S E S                 -->
  <!-- --------------------------------------------------------- -->
  .toc, .tocHdr, .tocItm, .tocLst, .tocLst-sm {
      Font-Family       : Georgia, Helvetica, Arial;
      Font-size         : 9pt;
      Align             : left;
      Padding           : 1px;
      Padding-Left      : 6px;
      White-Space       : nowrap;
  }

  <!--  Table Header    : header for a group of links           -->
  .tocHdr {
      Font-Weight       : bold;
  }

  <!--  Table Items     : list of links                         -->
  .tocItm, .tocLst, .tocLst-sm {
      Text-Decoration   : none;
      Line-Height       : 150%;
  }

  <!--  Table Item List : detailed list of links                -->
  .tocLst {
      Line-Height       : 120%;       /* override prior definition */
  }

  <!--  Table Item List : detailed list of links - small size   -->
  .tocLst-sm {
      Font-Size         : 8pt;        /* override prior definition */
      Padding-Left      : 12px;
      Line-Height       : 110%;       /* override prior definition */
  }

  <!--  Table Separator : empty line separator in table        -->
  .tocSep {
      Align             : left;
      White-Space       : wrap;
      Padding           : 6px;
  }

  .tocItm     a, .tocItm    a:link, .tocItm    a:visited, .tocItm    a:active,
  .tocLst     a, .tocLst    a:link, .tocLst    a:visited, .tocLst    a:active,
  .tocLst-sm, a, .tocLst-sm a:link, .tocLst-sm a:visited, .tocLst-sm a:active,
  .tocHdr     a, .tocHdr    a:link, .tocHdr    a:visited, .tocHdr    a:active {
      Width             : 100%;
      Display           : block;
      Color             : navy;      /* #000080 */
      Text-Decoration   : none;
  }

  .tocItm      a:hover,
  .tocLst      a:hover,
  .tocLst-sm   a:hover,
  {
      /* font-weight: bold; */ /* This makes the menu flutter up and down */
      Display           : block;
      Width             : 80%;
      Background        : #EEEEEE;    /* light grey */
      Color             : black;    /* #000000 */
      Cursor            : pointer;
      Text-Decoration   : none;
  }

