<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
#menuBar {height: 32px;}
#menuBar a {text-decoration: none; height: 24px;}
#menuBar ul {list-style-type: none;}
#menuBar li {border-right: 1px solid #ffffff; display: inline; padding: 0 1em 0 1em;}
#menuBar li:first-child {border-left: 0; }

* html #menuBar {height: 1%;}
* html #menuBar li {margin: 0 0.5em 0 -0.5em;}

#leftBar {float: left; width: 150px;}
#leftBar ul {list-style-type: none;}
#leftBar ul li ul {margin-left: 10px;}
#leftBar ul li.select {font-weight: bold;}
#leftBar ul li.select ul {font-weight: normal; list-style-type: square; margin-left: 15px;}
#leftBar ul li.select ul li.select {font-weight: bold;}
#mainBar {float: left; padding-left: 25px; _padding-left: 15px; padding-top: 15px;  width: 570px;}

#leftBar #myMenu {
	margin-top: 10px;
}
#menuBar #myMenu ul li, #menuBar #myMenu ul li a, #menuBar #myMenu ul li a:visited {
	width: auto;
}
#menuBar #myMenu ul li a{
	padding-right: 10px;
}
#menuBar #myMenu ul li.select {font-weight: bold;}
#leftBar #myMenu { margin-left: 1px; }</pre></body></html>