H1 { text-align: center; }
CAPTION { font-weight: bold }
A.qindex {}
A.qindexRef {}
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 }
DL.el { margin-left: -1cm }
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: 600px; }
TD.header { background-image:url('https://waybackassets.bk21.net/20121211174444im_/http://www.stack.nl/~dimitri/doxygen/images/top_bg.png'); text-align: right; } 
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 }
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 }
P.formulaDsp { text-align: center; }
IMG.formulaDsp { }
IMG.formulaInl { vertical-align: middle; }
BODY { margin: 0px; font-family: Verdana, Arial, Helvetica, sans-serif; }
/*
DIV.fragment {
	width: 98%;
	border: 1px solid #CCCCCC;
	background-color: #f5f5f5;
	padding-left: 4px;
	margin: 4px;
}
*/
.navbar1 DIV { color: #000000; text-decoration: none; cursor: pointer; }
.navbar1 DIV:hover { text-decoration: underline; background-color: #f2f2f2; cursor: pointer; }
.navbar2 DIV { color: #000000; text-decoration: none; cursor: pointer; }
.navbar2 DIV:hover { text-decoration: underline; background-color: #dae8f7; cursor: pointer; }
.navbar3 DIV { color: #000000; text-decoration: none; cursor: pointer; }
.navbar3 DIV:hover { text-decoration: underline; background-color: #daf7e8; cursor: pointer; }
.navbar1 A { color: #000000; text-decoration: none; cursor: pointer; }
.navbar1 A:hover { text-decoration: underline; background-color: #f2f2f2; cursor: pointer; }
.navbar2 A { color: #000000; text-decoration: none; cursor: pointer; }
.navbar2 A:hover { text-decoration: underline; background-color: #dae8f7; cursor: pointer; }
.navbar3 A { color: #000000; text-decoration: none; cursor: pointer; }
.navbar3 A:hover { text-decoration: underline; background-color: #daf7e8; cursor: pointer; }

pre.fragment {
        border: 1px solid #C4CFE5;
        background-color: #FBFCFD;
        padding: 4px 6px;
        margin: 4px 8px 4px 2px;
        overflow: auto;
        word-wrap: break-word;
        font-size:  9pt;
        line-height: 125%;
        font-family: monospace, fixed;
        font-size: 105%;
}

div.fragment {
        padding: 4px;
        margin: 4px;
        background-color: #FBFCFD;
        border: 1px solid #C4CFE5;
}
div.line {
        font-family: monospace, fixed;
        font-size: 13px;
        line-height: 1.0;
        text-wrap: unrestricted;
        white-space: -moz-pre-wrap; /* Moz */
        white-space: -pre-wrap;     /* Opera 4-6 */
        white-space: -o-pre-wrap;   /* Opera 7 */
        white-space: pre-wrap;      /* CSS3  */
        word-wrap: break-word;      /* IE 5.5+ */
        text-indent: -53px;
        padding-left: 53px;
        padding-bottom: 0px;
        margin: 0px;
}
pan.lineno {
        padding-right: 4px;
        text-align: right;
        border-right: 2px solid #0F0;
        background-color: #E8E8E8;
        white-space: pre;
}
span.lineno a {
        background-color: #D8D8D8;
}

span.lineno a:hover {
        background-color: #C8C8C8;
}


DIV.navbar1       { color: #000000; text-decoration: none; cursor: pointer; }
DIV.navbar1_hover { text-decoration: underline; background-color: #f2f2f2; cursor: pointer; }
DIV.navbar1:hover { text-decoration: underline; background-color: #f2f2f2; cursor: pointer; }
DIV.navbar2       { color: #000000; text-decoration: none; cursor: pointer; }
DIV.navbar2_hover { text-decoration: underline; background-color: #dae8f7; cursor: pointer; }
DIV.navbar2:hover { text-decoration: underline; background-color: #dae8f7; cursor: pointer; }
DIV.navbar3       { color: #000000; text-decoration: none; cursor: pointer; }
DIV.navbar3_hover { text-decoration: underline; background-color: #daf7e8; cursor: pointer; }
DIV.navbar3:hover { text-decoration: underline; background-color: #daf7e8; cursor: pointer; }


 .not_i   { background-color: #fee; }
 .not_a   { background-color: #eef; }
 .progr   { background-color: #ffc; }
 .imple   { background-color: #efe; }

 .diff1   { background-color: #fee; text-align: center; }
 .diff2   { background-color: #fdd; text-align: center; }
 .diff3   { background-color: #fcc; text-align: center; }
 .diff4   { background-color: #fbb; text-align: center; }
 .diff5   { background-color: #faa; text-align: center; }
 .diff6   { background-color: #f99; text-align: center; }
 .diff7   { background-color: #f88; text-align: center; }
 .diff8   { background-color: #f77; text-align: center; }
 .diff9   { background-color: #f66; text-align: center; }
 .diff10  { background-color: #f55; text-align: center; }

 .footnote { font-size: 60%; 
	     font-family: Geneva, Arial, Helvetica, sans-serif;
	     text-align: center;
	   }



SPAN.dlink { text-decoration: underline; color: #0000FF; cursor: pointer; }
DIV.dlinfo { padding: 5px; margin-top: 10px; margin-bottom: 5px; background-color: #244fa7; color: #fff; }
DIV.dl { margin-left: 20px; }
.title {
	font-size: 170%;
	font-weight: bold;
	margin: 10px 0px;
}


div.toc {
        padding: 14px 25px;
        background-color: #F4F6FA;
        border: 1px solid #D8DFEE;
        border-radius: 7px 7px 7px 7px;
        float: right;
        height: auto;
        margin: 0 20px 10px 10px;
        width: 200px;
}

div.toc li {
        background: url("https://waybackassets.bk21.net/20121211174444im_/http://www.stack.nl/~dimitri/doxygen/bdwn.png") no-repeat scroll 0 5px transparent;
        font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
        margin-top: 5px;
        padding-left: 10px;
        padding-top: 2px;
}

div.toc h3 {
        font: bold 12px/1.2 Arial,FreeSans,sans-serif;
        color: #4665A2;
        border-bottom: 0 none;
        margin: 0;
}

div.toc ul {
        list-style: none outside none;
        border: medium none;
        padding: 0px;
}

div.toc li.level1 {
        margin-left: 0px;
}

div.toc li.level2 {
        margin-left: 15px;
}

div.toc li.level3 {
        margin-left: 30px;
}

div.toc li.level4 {
        margin-left: 45px;
}



/*
     FILE ARCHIVED ON 17:44:44 Dec 11, 2012 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:00:07 Aug 29, 2025.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.511
  exclusion.robots: 0.023
  exclusion.robots.policy: 0.013
  esindex: 0.011
  cdx.remote: 7.022
  LoadShardBlock: 83.566 (3)
  PetaboxLoader3.datanode: 99.569 (4)
  load_resource: 254.675
  PetaboxLoader3.resolve: 201.053
*/