.summary {
  font-size:120%;
  border-left:5px solid #c0c0c0;
  border-right: 5px solid #c0c0c0;
  padding-left:8pt; padding-right:8pt;
  background-color: #fffff0
}

  a { text-decoration:none; border-bottom: 1px dotted }
  li.select {background-color:#800000; color:white}
  li.select a.select {color:white}
  .bgl { background-color: #f0f8ff }
  .bgd { background-color: #000080 }
  .bar_space {
    height:3px; background-color:#000080; height:4px;
    overflow: hidden; width:120pt }
  h1 {color:#000000; background-color:#f0f8ff; margin-top:0px; margin-bottom:0px; font-size:120%; }
  p {
/*    max-width:30em;*/
  }
  .rightnote {background-color:#ffffc0; border: 1px solid blue; float:right; margin-left:4pt}

  .mymenu {font-weight:bold; font-family: Verdana; font-size:90%}
  .mymenu a {text-decoration: none; display:block; border-bottom: none;
    height: 1% /* IE workaround--display:block properly */
  }
  .mymenu ul { list-style:none; margin:0; padding:0}
  .mymenu li { border-top:1px solid blue; border-right: 1px solid blue; border-left: 1px solid blue; }
  .mymenu li li {border-left: none; border-right: none }
  .mymenu ul {border-bottom: 1px solid blue}
  .mymenu ul ul {border-bottom: none;}
  .mymenu ul li ul {background-color: #e0f0ff}

  .mymenu ul ul li { border-left:8pt solid #a0c0ff; padding-left: 2pt}

  .mymenu li:hover {background-color:#f0e0d0}
  .mymenu li:hover ul {background-color:#e0f0ff}