.docnav {
	border-radius: 5px;
	border: 1px solid #d5d5d5;
	background: linear-gradient(to bottom, #fefefe 0, #f5f5f5 100%);
	padding: 0 10px;
}

.docnav a {
	display: inline-block;
	padding: 5px 10px;
	margin: 10px 0;
	color: #000;
}

.docnav a.current {
	text-decoration: none;
/*	background-color: #EEE;
	border-radius: 5px;*/
}

table.profile {
	border: 1px solid #d5d5d5;
}

table.profile td { padding: 7px 14px; }

table.profile tr:nth-child(even) {
    background-color: #f5f5f5;
}

table.profile td:nth-child(even) {
    font-weight: bold;
}