h1 {
	text-align: center;
	font-family: sans-serif;
}
h2 {
	font-family: sans-serif;
}
caption { font-weight: bold }
div.qindex { 
             background-color: #eeeeff;
             border: 4px solid #eeeeff;
             text-align: center;
             margin-bottom: 2px
}
a.qindex { text-decoration: none; font-weight: bold; }
a.qindex:hover { text-decoration: none; background-color: #ddddff }
a.qindexHL { text-decoration: none; font-weight: bold;
             background-color: #6666cc;
             color: #ffffff
           }
a.qindexHL:hover { text-decoration: none; background-color: #6666cc }
a.qindexRef { text-decoration: none; font-weight: bold; }
a.qindexRef:hover { text-decoration: none; background-color: #ddddff }
a.qindexRefHL { text-decoration: none; font-weight: bold;
             background-color: #6666cc;
             color: #ffffff
           }
a.qindexRefHL:hover { text-decoration: none; background-color: #6666cc }
a.el { text-decoration: none; font-weight: bold }
a.elRef { font-weight: bold }
a.code { text-decoration: none; font-weight: normal; color: #4444ee }
a.codeRef { font-weight: normal; color: #4444ee }
a:hover { text-decoration: none; background-color: #f2f2ff }
dl.el { margin-left: -1cm }
div.fragment {
	border: 1px solid #CCCCCC;
	background-color: #f5f5f5;
	padding-left: 4px;
	margin: 4px;
}
div.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
td.md { background-color: #f2f2ff; font-weight: bold; }
td.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
td.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 100%; }
div.groupheader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
div.grouptext { margin-left: 16px; font-style: italic; font-size: smaller }
body {
	background: white;
	color: black;
	margin-right: 20px;
	margin-left: 20px;
}
td.indexkey { 
   background-color: #eeeeff; 
   font-weight: bold; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px  
}
td.indexvalue { 
   background-color: #eeeeff; 
   font-style: italic; 
   padding-right  : 10px; 
   padding-top    : 2px; 
   padding-left   : 10px; 
   padding-bottom : 2px; 
   margin-left    : 0px; 
   margin-right   : 0px; 
   margin-top     : 2px; 
   margin-bottom  : 2px  
}
tr.memlist {
   background-color: #f0f0f0; 
}
p.formuladsp { text-align: center; }
img.formuladsp { }
img.formulainl { vertical-align: middle; }
span.keyword       { color: #008000 }
span.keywordtype   { color: #604020 }
span.keywordflow   { color: #e08000 }
span.comment       { color: #800000 }
span.preprocessor  { color: #806020 }
span.stringliteral { color: #002080 }
span.charliteral   { color: #008080 }
.mdtable {
	border: 1px solid #868686;
	background-color: #f2f2ff;
}
.mdrow {
	padding: 8px 20px;
}
.mdescleft {
	font-size: smaller;
	font-family: sans-serif;
	background-color: #fafafa;
	padding-left: 8px;
	border-top: 1px none #e0e0e0;
	border-right: 1px none #e0e0e0;
	border-bottom: 1px none #e0e0e0;
	border-left: 1px none #e0e0e0;
	margin: 0px;
}
.mdescright {
	font-size: smaller;
	font-family: sans-serif;
	font-style: italic;
	background-color: #fafafa;
	padding-left: 4px;
	border-top: 1px none #e0e0e0;
	border-right: 1px none #e0e0e0;
	border-bottom: 1px none #e0e0e0;
	border-left: 1px none #e0e0e0;
	margin: 0px;
	padding-bottom: 0px;
	padding-right: 8px;
}
.memitemleft {
	padding: 1px 0px 0px 8px;
	margin: 4px;
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	border-top-style: solid;
	border-top-color: #e0e0e0;
	border-right-color: #e0e0e0;
	border-bottom-color: #e0e0e0;
	border-left-color: #e0e0e0;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: none;
	background-color: #fafafa;
	font-family: sans-serif;
	font-size: 12px;
}
.memitemright {
	padding: 1px 0px 0px 8px;
	margin: 4px;
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	border-top-style: solid;
	border-top-color: #e0e0e0;
	border-right-color: #e0e0e0;
	border-bottom-color: #e0e0e0;
	border-left-color: #e0e0e0;
	border-right-style: none;
	border-bottom-style: none;
	border-left-style: none;
	background-color: #fafafa;
	font-family: sans-serif;
	font-size: 13px;
}
div.tabs {
	padding: 1px;
    margin: 1px;
	border-bottom: 1px dashed #c0c0c0;
}