#TreeMenu {
    padding-top: 3px;
    }

#TreeMenu img {
    vertical-align: -35%;
    background: #fff;
    display: inline;
    }

#TreeMenu li {
    font-size: 12px;
    margin-left: 7px;
    white-space: nowrap;
    }

#TreeMenu li a {
    background: #fff;
    padding: 3px;
    }

#TreeMenu li.first {
    margin-left: 0;
    padding-left: 0;
    }

#TreeMenu ul {
    list-style-type: none;
    /* Vertical lines connecting subdirectories in the tree */
    background: url(/images/TreeMenu/line.gif) top left repeat-y;
    padding-left: 15px;
    font-family: arial;
    margin-top: 0;
    }

/* Adjustments necessary to make the doctree menu work with
the new styling. These are here in lieu of a new stylesheet */
#app_right {
	display: block;
	margin: 55px 0 15px 0;
	border-left: 1px solid #fc9;
	padding: 10px 5px 0 5px;
	}

#app_body {
	padding-top: 0;
	margin: 0 170px 0 0;
	}