div.nav1
 { padding: 0px 0px 0px 0px
 ; margin: 0px 0px 0px 0px
 ; font-family: arial, sans-serif
 ; font-size: 13px
 ; font-weight: bold
 }

div.nav1 div.Entry
 { padding: 5px 0px 5px 0px
 ; margin: 5px 0px 5px 0px
 }

div.nav1 div.SubMenu
 { padding: 0px 0px 0px 10px
 }

div.nav1 a
 { padding: 3px 8px
 ; text-decoration: none
 ; border-style: outset
 ; background-color: white
 }

div.nav1 a.OffPathNotThisPage
 { 
 }

div.nav1 a.OnPathNotThisPage
 { background-color: #cae7ca
 }

div.nav1 a.OnPathThisPage
 { background-color: #99cc99
 }

div.nav1 a:link
 { color: black
 }

div.nav1 a:Visited
 { color: black
 }

div.nav1 a:hover
 { background-color: #90ee90
 }

div.nav1 a:active
 { border-style: inset
 }