A.code {text-decoration: none; color: #006194; font-weight: bold;}
A.code:link {text-decoration: none; color: #006194; font-weight: bold;}
A.code:active {text-decoration: none; color: #006194; font-weight: bold;}
A.code:visited {text-decoration: none; color: #006194;font-weight: bold;}
A.code:hover { text-decoration: underline; color: #ff9900;font-weight: bold;}

A.codeRef {text-decoration: none; color: #006194; font-weight: bold;}
A.codeRef:link {text-decoration: none; color: #006194; font-weight: bold;}
A.codeRef:active {text-decoration: none; color: #006194; font-weight: bold;}
A.codeRef:visited {text-decoration: none; color: #006194;font-weight: bold;}
A.codeRef:hover { text-decoration: underline; color: #ff9900;font-weight: bold;}

A.el {text-decoration: none; color: #006194; font-weight: bold;}
A.el:link {text-decoration: none; color: #006194; font-weight: bold;}
A.el:active {text-decoration: none; color: #006194; font-weight: bold;}
A.el:visited {text-decoration: none; color: #006194; font-weight: bold;}
A.el:hover { text-decoration: underline; color: #ff9900; font-weight: bold;}

A.alpha {text-decoration: none; color: #FFFFFF; font-weight: bold;}
A.alpha:link {text-decoration: none; color: #FFFFFF; font-weight: bold;}
A.alpha:active {text-decoration: none; color: #FFFFFF; font-weight: bold;}
A.alpha:visited {text-decoration: none; color: #FFFFFF; font-weight: bold;}
A.alpha:hover { text-decoration: underline; color: #FFFFFF; font-weight: bold;}

DL.el { 
	margin-left: -1cm 
}

DIV.fragment { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	border: no; 
	background-color: #f4f4f4 
}
DIV.ah { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	background-color: black; 
	margin-bottom: 3; 
	margin-top: 3 
}
DIV.ah2 { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	background-color: #000099; 
	margin-bottom: 0; 
	margin-top: 0; 
	border: no 
}
DIV.ah3 { 
	font-size: "3"; 
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	background-color: #000099; 
	margin-bottom: 0; 
	margin-top: 0; 
	border: yes 
}
DIV.ah4 { 
	font-size: "5"; 
	font-family: Arial, Helvetica, sans-serif;
	background-color: #000099; 
	margin-bottom: 0; 
	margin-top: 0; 
	border: yes 
}
DIV.groupHeader { 
	margin-left: 16; 
	margin-top: 12; 
	margin-bottom: 6; 
	font-weight: bold
}
DIV.groupText { 
	margin-left: 16; 
	font-size: smaller ; 
	font-weight: bold 
}
TD.md { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	background-color: #e1f2ff 
}

FONT.keyword { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	color: #000000 ; 
	font-weight: bold
}
FONT.keywordtype   { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	color: #000000 ; 
	font-weight: bold
}
FONT.keywordflow   { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	color: #000000 ; 
	font-weight: bold
}
FONT.comment       { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	color: #005000 ; 
	font-style: italic
}
FONT.preprocessor  { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	color: #000000 ; 
	font-weight: bold
}
FONT.stringliteral { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	color: #000080 
}
FONT.charliteral   { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: normal;
	font-style: normal;
	color: #000080 
}

H3 { 
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: bold; 
	color: #ccccff 
}