h1 {
	font-family:times, times new roman,serif;
	font-size: 24px;
	color: #000000;
}
td {
	font-family: times, times new roman,serif;
	font-size: 14px;
	color: #000000;
}
a {
	text-decoration: none
	}
a:hover 
{
	text-decoration: underline
}
a:visited
{
	color: navy
}
a:active
{
	color: red
}
a.reflink {
	text-decoration: underline;
	color: #dd0806;
}
a.reflink:visited {
	text-decoration: underline;
	color: #dd0806;
}
a.reflink:hover {
	text-decoration: none;
	color: blue;
}
span.menu
{
	line-height:  18px;
}
span.result-title
{
	color: maroon;
	font-weight: bold;
	font-size: 17px;
}
span.result-linenumber
{
	color: #000000;
	font-size: 9px;
	font-family: verdana, geneva, sans-serif;
}	
span.result-formattext
{
	color: #000000;
	font-size: 12px;
	line-height: 18px;
}	
span.result-super
{
	color: #333333;
	vertical-align: super;
	font-size: 10px;
	font-family: Arial, Helvetica, sans-serif
}	
span.popup-specialchar
{
	vertical-align: super;
}	
span.search-line
{
	background-color: Yellow;
}	
span.milestone-line
{
	background-color: Blue;
}
td.result-rule
{
	border-top: 1px dotted #000000
}
span.popup-name
{
	color:blue;
	border-bottom: 1px dashed red;
	cursor: help;
}	
span.popup-note
{
	color:maroon;
	font-style: italic;
	border-bottom: 1px dashed red;
	cursor: help;
}
span.popup-number
{
	color:red;
	border-bottom: 1px dashed red;
	cursor: help;
}	
span.popup-language
{
	color:#CC00FF;
	border-bottom: 1px dashed red;
	cursor: help;
}
.tooltip
{
	 padding: 2px; 
	 position:absolute; 
	 height: 20px; 
	 width:110px; 
	 visibility:hidden; 
	 background-color:white; 
	 border: 1px dashed #000000; 
	 font-size:14px;
}