<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">#nav ul.toplevelnav &gt; li.haschildren:hover &gt; div.subnav { display: block; }

#nav ul.toplevelnav div.bar { display: none; background-color: #e6e6e6; position: relative; width: auto; height: 6px; z-index: 1100; border-style: dotted; border-color: #d6d6d6; border-width: 0px 1px; margin-left: -1px; }
#nav ul.toplevelnav &gt; li:hover div.bar { display: block; }




#topnav ul.toplevelnav &gt; li.haschildren:hover &gt; div.subnav { display: block; }

#topnav ul.toplevelnav div.bar { display: none; background-color: #e6e6e6; position: relative; width: auto; height: 6px; z-index: 1100; border-style: dotted; border-color: #d6d6d6; border-width: 0px 1px; margin-left: -1px; }
#topnav ul.toplevelnav &gt; li:hover div.bar { display: block; }

</pre></body></html>