table.menu {
	width:100%;
	height:100%;
}

table.menu td.menu {
	width:170px;
	vertical-align:top;
	padding:0 2px;
}

table.menu td.document {
	padding:0 5px;
	vertical-align:top;
}

div.menu {
    border:solid 1px #666699;
    padding:0;
    margin-top:4px;
}

div.submenu {
    border:none;
    margin-left:8px;
}

div.menu a, div.submenu a {
	margin-left:2px;
	padding-left:8px;
	white-space: nowrap;
	text-decoration:none;
	display:block;
	text-decoration:none;
}

div.menu a.selected, div.submenu a.selected {
	font-weight:bold;
	background:url(../images/right-arrow.gif) no-repeat center left;
}