.searchField {
    font-family:Tahoma,sans-serif;
    font-size:12px;
    color:black;
    background-color:#FFFFFF;
    border:none;
}
.searchForm {
    margin-left:34px;
    margin-right:11px;
}
.filterForm {
    margin-left:22px;
    margin-right:7px;
}

.mainTitle {
    font-family:Trebuchet MS,sans-serif;
    font-size:18px;
    color:#000000;
    text-align:center;
}
.explorerTabTitle,
.explorerTabTitleDown {
    font-family:Tahoma,Verdana, Bitstream Vera Sans, sans-serif; font-size:11px;
    padding-top:3px;
}
.explorerTabTitleOver {
    font-family:Tahoma,Verdana, Bitstream Vera Sans, sans-serif; font-size:11px;
    padding-top:3px;
}
.explorerTabTitleDisabled {
    font-family:Tahoma,Verdana, Bitstream Vera Sans, sans-serif; font-size:11px;
	color:#666666;
    padding-top:3px;
}
.explorerTabTitleSelected,
.explorerTabTitleSelectedDown {
    font-family:Tahoma,Verdana, Bitstream Vera Sans, sans-serif; font-size:11px;
	font-weight:bold;
    padding-bottom:2px;
}
.explorerTabTitleSelectedOver {
    font-family:Tahoma,Verdana, Bitstream Vera Sans, sans-serif; font-size:11px;
	font-weight:bold;
    padding-bottom:2px;
}
.explorerTabTitleSelectedDisabled {
    font-family:Tahoma,Verdana, Bitstream Vera Sans, sans-serif; font-size:11px;
	color:#666666;
    font-weight:bold;
    padding-bottom:2px;
}

.searchHilight {
    background-color: yellow;
}

.docHover {
    font-family:Verdana,Bitstream Vera Sans,sans-serif; font-size:11px; color:black;
    background-color:#e0ebff; border:1px solid #808080; padding:5px;
}
var {
    font-style: normal;
}

pre.sourcefile {
    border: 1px dashed black;
    padding: 2px;
    background-color: #F9F9F9;
}
