/li> 
      <li><a href="Options/font.htm" target="_top">font</a></li> 
      <li><a href="Options/foreground.htm" target="_top">foreground</a></li> 
      <li><a href="Options/fg.htm" target="_top">fg</a></li> 
      <li><a href="Options/highlightbackground.htm" target="_top">highlightbackground</a></li> 
      <li><a href="Options/highlightcolor.htm" target="_top">highlightcolor</a></li> 
      <li><a href="Options/highlightthickness.htm" target="_top">highlightthickness</a></li> 
      <li><a href="Optio