td {vertical-align: top}

.info {font-size: small}

#error {background: #f88}

.usage {margin-top: 10px}

#search-summary em {
    /*color: blue;*/
    /*font-weight: bold;*/
    text-decoration: underline;
    font-style: normal;
}

#search-summary {
    background: #c0ffc0;
}

#nomatch {
    background: yellow;
}

.prefix, .suffix {
    /*color: gray;*/
}

#footer {
    /* position: absolute;
       bottom: 0;
       width: 70%; */
    font-size: small
}

/* From Adam Kalsey, http://www.kalsey.com/tools/csstabs/ */
#menu {
	border-bottom : 1px solid #ccc;
	margin : 0;
	padding-bottom : 19px;
	padding-left : 10px;
}

#menu ul, #menu li	{
	display : inline;
	list-style-type : none;
	margin : 0;
	padding : 0;
}

#menu a:link, #menu a:visited {
	background : #E8EBF0;
	border : 1px solid #ccc;
	color : #666;
	float : left;
	font-size : small;
	font-weight : normal;
	line-height : 14px;
	margin-right : 8px;
	padding : 2px 10px 2px 10px;
	text-decoration : none;
}

#menu a:link.active, #menu a:visited.active {
	background : #fff;
	border-bottom : 1px solid #fff;
	color : #000;
}

#menu a:hover {
	color : #f00;
}

#menu li.selected a {
	background : #fff;
	border-bottom : 1px solid #fff;
	color : #000;
}

#tabcontents {
	background : #fff;
	border : 1px solid #ccc;
	border-top : none;
	clear : both;
	margin : 0px;
	padding : 15px;
}