Home | History | Annotate | Line # | Download | only in html
      1  1.1.1.2  christos /* The standard CSS for doxygen 1.9.1 */
      2      1.1  christos 
      3      1.1  christos body, table, div, p, dl {
      4      1.1  christos 	font: 400 14px/22px Roboto,sans-serif;
      5      1.1  christos }
      6      1.1  christos 
      7      1.1  christos p.reference, p.definition {
      8      1.1  christos 	font: 400 14px/22px Roboto,sans-serif;
      9      1.1  christos }
     10      1.1  christos 
     11      1.1  christos /* @group Heading Levels */
     12      1.1  christos 
     13      1.1  christos h1.groupheader {
     14      1.1  christos 	font-size: 150%;
     15      1.1  christos }
     16      1.1  christos 
     17      1.1  christos .title {
     18      1.1  christos 	font: 400 14px/28px Roboto,sans-serif;
     19      1.1  christos 	font-size: 150%;
     20      1.1  christos 	font-weight: bold;
     21      1.1  christos 	margin: 10px 2px;
     22      1.1  christos }
     23      1.1  christos 
     24      1.1  christos h2.groupheader {
     25      1.1  christos 	border-bottom: 1px solid #879ECB;
     26      1.1  christos 	color: #354C7B;
     27      1.1  christos 	font-size: 150%;
     28      1.1  christos 	font-weight: normal;
     29      1.1  christos 	margin-top: 1.75em;
     30      1.1  christos 	padding-top: 8px;
     31      1.1  christos 	padding-bottom: 4px;
     32      1.1  christos 	width: 100%;
     33      1.1  christos }
     34      1.1  christos 
     35      1.1  christos h3.groupheader {
     36      1.1  christos 	font-size: 100%;
     37      1.1  christos }
     38      1.1  christos 
     39      1.1  christos h1, h2, h3, h4, h5, h6 {
     40      1.1  christos 	-webkit-transition: text-shadow 0.5s linear;
     41      1.1  christos 	-moz-transition: text-shadow 0.5s linear;
     42      1.1  christos 	-ms-transition: text-shadow 0.5s linear;
     43      1.1  christos 	-o-transition: text-shadow 0.5s linear;
     44      1.1  christos 	transition: text-shadow 0.5s linear;
     45      1.1  christos 	margin-right: 15px;
     46      1.1  christos }
     47      1.1  christos 
     48      1.1  christos h1.glow, h2.glow, h3.glow, h4.glow, h5.glow, h6.glow {
     49      1.1  christos 	text-shadow: 0 0 15px cyan;
     50      1.1  christos }
     51      1.1  christos 
     52      1.1  christos dt {
     53      1.1  christos 	font-weight: bold;
     54      1.1  christos }
     55      1.1  christos 
     56  1.1.1.2  christos ul.multicol {
     57      1.1  christos 	-moz-column-gap: 1em;
     58      1.1  christos 	-webkit-column-gap: 1em;
     59  1.1.1.2  christos 	column-gap: 1em;
     60      1.1  christos 	-moz-column-count: 3;
     61      1.1  christos 	-webkit-column-count: 3;
     62  1.1.1.2  christos 	column-count: 3;
     63      1.1  christos }
     64      1.1  christos 
     65      1.1  christos p.startli, p.startdd {
     66      1.1  christos 	margin-top: 2px;
     67      1.1  christos }
     68      1.1  christos 
     69  1.1.1.2  christos th p.starttd, th p.intertd, th p.endtd {
     70  1.1.1.2  christos         font-size: 100%;
     71  1.1.1.2  christos         font-weight: 700;
     72  1.1.1.2  christos }
     73  1.1.1.2  christos 
     74      1.1  christos p.starttd {
     75      1.1  christos 	margin-top: 0px;
     76      1.1  christos }
     77      1.1  christos 
     78      1.1  christos p.endli {
     79      1.1  christos 	margin-bottom: 0px;
     80      1.1  christos }
     81      1.1  christos 
     82      1.1  christos p.enddd {
     83      1.1  christos 	margin-bottom: 4px;
     84      1.1  christos }
     85      1.1  christos 
     86      1.1  christos p.endtd {
     87      1.1  christos 	margin-bottom: 2px;
     88      1.1  christos }
     89      1.1  christos 
     90  1.1.1.2  christos p.interli {
     91  1.1.1.2  christos }
     92  1.1.1.2  christos 
     93  1.1.1.2  christos p.interdd {
     94  1.1.1.2  christos }
     95  1.1.1.2  christos 
     96  1.1.1.2  christos p.intertd {
     97  1.1.1.2  christos }
     98  1.1.1.2  christos 
     99      1.1  christos /* @end */
    100      1.1  christos 
    101      1.1  christos caption {
    102      1.1  christos 	font-weight: bold;
    103      1.1  christos }
    104      1.1  christos 
    105      1.1  christos span.legend {
    106  1.1.1.2  christos 	font-size: 70%;
    107  1.1.1.2  christos 	text-align: center;
    108      1.1  christos }
    109      1.1  christos 
    110      1.1  christos h3.version {
    111  1.1.1.2  christos 	font-size: 90%;
    112  1.1.1.2  christos 	text-align: center;
    113      1.1  christos }
    114      1.1  christos 
    115  1.1.1.2  christos div.navtab {
    116  1.1.1.2  christos 	border-right: 1px solid #A3B4D7;
    117  1.1.1.2  christos 	padding-right: 15px;
    118  1.1.1.2  christos 	text-align: right;
    119  1.1.1.2  christos 	line-height: 110%;
    120      1.1  christos }
    121      1.1  christos 
    122  1.1.1.2  christos div.navtab table {
    123  1.1.1.2  christos 	border-spacing: 0;
    124  1.1.1.2  christos }
    125  1.1.1.2  christos 
    126  1.1.1.2  christos td.navtab {
    127  1.1.1.2  christos 	padding-right: 6px;
    128  1.1.1.2  christos 	padding-left: 6px;
    129  1.1.1.2  christos }
    130  1.1.1.2  christos td.navtabHL {
    131  1.1.1.2  christos 	background-image: url('tab_a.png');
    132  1.1.1.2  christos 	background-repeat:repeat-x;
    133  1.1.1.2  christos 	padding-right: 6px;
    134  1.1.1.2  christos 	padding-left: 6px;
    135  1.1.1.2  christos }
    136  1.1.1.2  christos 
    137  1.1.1.2  christos td.navtabHL a, td.navtabHL a:visited {
    138  1.1.1.2  christos 	color: #fff;
    139  1.1.1.2  christos 	text-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
    140  1.1.1.2  christos }
    141  1.1.1.2  christos 
    142  1.1.1.2  christos a.navtab {
    143  1.1.1.2  christos 	font-weight: bold;
    144  1.1.1.2  christos }
    145  1.1.1.2  christos 
    146  1.1.1.2  christos div.qindex{
    147  1.1.1.2  christos 	text-align: center;
    148      1.1  christos 	width: 100%;
    149      1.1  christos 	line-height: 140%;
    150  1.1.1.2  christos 	font-size: 130%;
    151  1.1.1.2  christos 	color: #A0A0A0;
    152      1.1  christos }
    153      1.1  christos 
    154  1.1.1.2  christos dt.alphachar{
    155  1.1.1.2  christos 	font-size: 180%;
    156  1.1.1.2  christos 	font-weight: bold;
    157      1.1  christos }
    158      1.1  christos 
    159  1.1.1.2  christos .alphachar a{
    160  1.1.1.2  christos 	color: black;
    161  1.1.1.2  christos }
    162  1.1.1.2  christos 
    163  1.1.1.2  christos .alphachar a:hover, .alphachar a:visited{
    164  1.1.1.2  christos 	text-decoration: none;
    165  1.1.1.2  christos }
    166  1.1.1.2  christos 
    167  1.1.1.2  christos .classindex dl {
    168  1.1.1.2  christos 	padding: 25px;
    169  1.1.1.2  christos 	column-count:1
    170  1.1.1.2  christos }
    171  1.1.1.2  christos 
    172  1.1.1.2  christos .classindex dd {
    173  1.1.1.2  christos 	display:inline-block;
    174  1.1.1.2  christos 	margin-left: 50px;
    175  1.1.1.2  christos 	width: 90%;
    176  1.1.1.2  christos 	line-height: 1.15em;
    177  1.1.1.2  christos }
    178  1.1.1.2  christos 
    179  1.1.1.2  christos .classindex dl.odd {
    180  1.1.1.2  christos 	background-color: #F8F9FC;
    181  1.1.1.2  christos }
    182  1.1.1.2  christos 
    183  1.1.1.2  christos @media(min-width: 1120px) {
    184  1.1.1.2  christos 	.classindex dl {
    185  1.1.1.2  christos 		column-count:2
    186  1.1.1.2  christos 	}
    187  1.1.1.2  christos }
    188  1.1.1.2  christos 
    189  1.1.1.2  christos @media(min-width: 1320px) {
    190  1.1.1.2  christos 	.classindex dl {
    191  1.1.1.2  christos 		column-count:3
    192  1.1.1.2  christos 	}
    193  1.1.1.2  christos }
    194  1.1.1.2  christos 
    195  1.1.1.2  christos 
    196      1.1  christos /* @group Link Styling */
    197      1.1  christos 
    198      1.1  christos a {
    199      1.1  christos 	color: #3D578C;
    200      1.1  christos 	font-weight: normal;
    201      1.1  christos 	text-decoration: none;
    202      1.1  christos }
    203      1.1  christos 
    204      1.1  christos .contents a:visited {
    205      1.1  christos 	color: #4665A2;
    206      1.1  christos }
    207      1.1  christos 
    208      1.1  christos a:hover {
    209      1.1  christos 	text-decoration: underline;
    210      1.1  christos }
    211      1.1  christos 
    212      1.1  christos .contents a.qindexHL:visited {
    213  1.1.1.2  christos         color: #FFFFFF;
    214      1.1  christos }
    215      1.1  christos 
    216      1.1  christos a.el {
    217      1.1  christos 	font-weight: bold;
    218      1.1  christos }
    219      1.1  christos 
    220      1.1  christos a.elRef {
    221      1.1  christos }
    222      1.1  christos 
    223      1.1  christos a.code, a.code:visited, a.line, a.line:visited {
    224      1.1  christos 	color: #4665A2;
    225      1.1  christos }
    226      1.1  christos 
    227      1.1  christos a.codeRef, a.codeRef:visited, a.lineRef, a.lineRef:visited {
    228      1.1  christos 	color: #4665A2;
    229      1.1  christos }
    230      1.1  christos 
    231      1.1  christos /* @end */
    232      1.1  christos 
    233      1.1  christos dl.el {
    234      1.1  christos 	margin-left: -1cm;
    235      1.1  christos }
    236      1.1  christos 
    237  1.1.1.2  christos ul {
    238  1.1.1.2  christos   overflow: hidden; /*Fixed: list item bullets overlap floating elements*/
    239  1.1.1.2  christos }
    240  1.1.1.2  christos 
    241  1.1.1.2  christos #side-nav ul {
    242  1.1.1.2  christos   overflow: visible; /* reset ul rule for scroll bar in GENERATE_TREEVIEW window */
    243  1.1.1.2  christos }
    244  1.1.1.2  christos 
    245  1.1.1.2  christos #main-nav ul {
    246  1.1.1.2  christos   overflow: visible; /* reset ul rule for the navigation bar drop down lists */
    247  1.1.1.2  christos }
    248  1.1.1.2  christos 
    249  1.1.1.2  christos .fragment {
    250  1.1.1.2  christos   text-align: left;
    251  1.1.1.2  christos   direction: ltr;
    252  1.1.1.2  christos   overflow-x: auto; /*Fixed: fragment lines overlap floating elements*/
    253  1.1.1.2  christos   overflow-y: hidden;
    254  1.1.1.2  christos }
    255  1.1.1.2  christos 
    256      1.1  christos pre.fragment {
    257      1.1  christos         border: 1px solid #C4CFE5;
    258      1.1  christos         background-color: #FBFCFD;
    259      1.1  christos         padding: 4px 6px;
    260      1.1  christos         margin: 4px 8px 4px 2px;
    261      1.1  christos         overflow: auto;
    262      1.1  christos         word-wrap: break-word;
    263      1.1  christos         font-size:  9pt;
    264      1.1  christos         line-height: 125%;
    265      1.1  christos         font-family: monospace, fixed;
    266      1.1  christos         font-size: 105%;
    267      1.1  christos }
    268      1.1  christos 
    269      1.1  christos div.fragment {
    270  1.1.1.2  christos   padding: 0 0 1px 0; /*Fixed: last line underline overlap border*/
    271  1.1.1.2  christos   margin: 4px 8px 4px 2px;
    272      1.1  christos 	background-color: #FBFCFD;
    273      1.1  christos 	border: 1px solid #C4CFE5;
    274      1.1  christos }
    275      1.1  christos 
    276      1.1  christos div.line {
    277      1.1  christos 	font-family: monospace, fixed;
    278      1.1  christos         font-size: 13px;
    279      1.1  christos 	min-height: 13px;
    280      1.1  christos 	line-height: 1.0;
    281      1.1  christos 	text-wrap: unrestricted;
    282      1.1  christos 	white-space: -moz-pre-wrap; /* Moz */
    283      1.1  christos 	white-space: -pre-wrap;     /* Opera 4-6 */
    284      1.1  christos 	white-space: -o-pre-wrap;   /* Opera 7 */
    285      1.1  christos 	white-space: pre-wrap;      /* CSS3  */
    286      1.1  christos 	word-wrap: break-word;      /* IE 5.5+ */
    287      1.1  christos 	text-indent: -53px;
    288      1.1  christos 	padding-left: 53px;
    289      1.1  christos 	padding-bottom: 0px;
    290      1.1  christos 	margin: 0px;
    291      1.1  christos 	-webkit-transition-property: background-color, box-shadow;
    292      1.1  christos 	-webkit-transition-duration: 0.5s;
    293      1.1  christos 	-moz-transition-property: background-color, box-shadow;
    294      1.1  christos 	-moz-transition-duration: 0.5s;
    295      1.1  christos 	-ms-transition-property: background-color, box-shadow;
    296      1.1  christos 	-ms-transition-duration: 0.5s;
    297      1.1  christos 	-o-transition-property: background-color, box-shadow;
    298      1.1  christos 	-o-transition-duration: 0.5s;
    299      1.1  christos 	transition-property: background-color, box-shadow;
    300      1.1  christos 	transition-duration: 0.5s;
    301      1.1  christos }
    302      1.1  christos 
    303      1.1  christos div.line:after {
    304      1.1  christos     content:"\000A";
    305      1.1  christos     white-space: pre;
    306      1.1  christos }
    307      1.1  christos 
    308      1.1  christos div.line.glow {
    309      1.1  christos 	background-color: cyan;
    310      1.1  christos 	box-shadow: 0 0 10px cyan;
    311      1.1  christos }
    312      1.1  christos 
    313      1.1  christos 
    314      1.1  christos span.lineno {
    315      1.1  christos 	padding-right: 4px;
    316      1.1  christos 	text-align: right;
    317      1.1  christos 	border-right: 2px solid #0F0;
    318      1.1  christos 	background-color: #E8E8E8;
    319      1.1  christos         white-space: pre;
    320      1.1  christos }
    321      1.1  christos span.lineno a {
    322      1.1  christos 	background-color: #D8D8D8;
    323      1.1  christos }
    324      1.1  christos 
    325      1.1  christos span.lineno a:hover {
    326      1.1  christos 	background-color: #C8C8C8;
    327      1.1  christos }
    328      1.1  christos 
    329      1.1  christos .lineno {
    330      1.1  christos 	-webkit-touch-callout: none;
    331      1.1  christos 	-webkit-user-select: none;
    332      1.1  christos 	-khtml-user-select: none;
    333      1.1  christos 	-moz-user-select: none;
    334      1.1  christos 	-ms-user-select: none;
    335      1.1  christos 	user-select: none;
    336      1.1  christos }
    337      1.1  christos 
    338      1.1  christos div.ah, span.ah {
    339      1.1  christos 	background-color: black;
    340      1.1  christos 	font-weight: bold;
    341  1.1.1.2  christos 	color: #FFFFFF;
    342      1.1  christos 	margin-bottom: 3px;
    343      1.1  christos 	margin-top: 3px;
    344      1.1  christos 	padding: 0.2em;
    345      1.1  christos 	border: solid thin #333;
    346      1.1  christos 	border-radius: 0.5em;
    347      1.1  christos 	-webkit-border-radius: .5em;
    348      1.1  christos 	-moz-border-radius: .5em;
    349      1.1  christos 	box-shadow: 2px 2px 3px #999;
    350      1.1  christos 	-webkit-box-shadow: 2px 2px 3px #999;
    351      1.1  christos 	-moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
    352      1.1  christos 	background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
    353      1.1  christos 	background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000 110%);
    354      1.1  christos }
    355      1.1  christos 
    356      1.1  christos div.classindex ul {
    357      1.1  christos         list-style: none;
    358      1.1  christos         padding-left: 0;
    359      1.1  christos }
    360      1.1  christos 
    361      1.1  christos div.classindex span.ai {
    362      1.1  christos         display: inline-block;
    363      1.1  christos }
    364      1.1  christos 
    365      1.1  christos div.groupHeader {
    366      1.1  christos 	margin-left: 16px;
    367      1.1  christos 	margin-top: 12px;
    368      1.1  christos 	font-weight: bold;
    369      1.1  christos }
    370      1.1  christos 
    371      1.1  christos div.groupText {
    372      1.1  christos 	margin-left: 16px;
    373      1.1  christos 	font-style: italic;
    374      1.1  christos }
    375      1.1  christos 
    376      1.1  christos body {
    377      1.1  christos 	background-color: white;
    378      1.1  christos 	color: black;
    379      1.1  christos         margin: 0;
    380      1.1  christos }
    381      1.1  christos 
    382      1.1  christos div.contents {
    383      1.1  christos 	margin-top: 10px;
    384      1.1  christos 	margin-left: 12px;
    385      1.1  christos 	margin-right: 8px;
    386      1.1  christos }
    387      1.1  christos 
    388      1.1  christos td.indexkey {
    389      1.1  christos 	background-color: #EBEFF6;
    390      1.1  christos 	font-weight: bold;
    391      1.1  christos 	border: 1px solid #C4CFE5;
    392      1.1  christos 	margin: 2px 0px 2px 0;
    393      1.1  christos 	padding: 2px 10px;
    394      1.1  christos         white-space: nowrap;
    395      1.1  christos         vertical-align: top;
    396      1.1  christos }
    397      1.1  christos 
    398      1.1  christos td.indexvalue {
    399      1.1  christos 	background-color: #EBEFF6;
    400      1.1  christos 	border: 1px solid #C4CFE5;
    401      1.1  christos 	padding: 2px 10px;
    402      1.1  christos 	margin: 2px 0px;
    403      1.1  christos }
    404      1.1  christos 
    405      1.1  christos tr.memlist {
    406      1.1  christos 	background-color: #EEF1F7;
    407      1.1  christos }
    408      1.1  christos 
    409      1.1  christos p.formulaDsp {
    410      1.1  christos 	text-align: center;
    411      1.1  christos }
    412      1.1  christos 
    413      1.1  christos img.formulaDsp {
    414      1.1  christos 
    415      1.1  christos }
    416      1.1  christos 
    417  1.1.1.2  christos img.formulaInl, img.inline {
    418      1.1  christos 	vertical-align: middle;
    419      1.1  christos }
    420      1.1  christos 
    421      1.1  christos div.center {
    422      1.1  christos 	text-align: center;
    423      1.1  christos         margin-top: 0px;
    424      1.1  christos         margin-bottom: 0px;
    425      1.1  christos         padding: 0px;
    426      1.1  christos }
    427      1.1  christos 
    428      1.1  christos div.center img {
    429      1.1  christos 	border: 0px;
    430      1.1  christos }
    431      1.1  christos 
    432      1.1  christos address.footer {
    433      1.1  christos 	text-align: right;
    434      1.1  christos 	padding-right: 12px;
    435      1.1  christos }
    436      1.1  christos 
    437      1.1  christos img.footer {
    438      1.1  christos 	border: 0px;
    439      1.1  christos 	vertical-align: middle;
    440      1.1  christos }
    441      1.1  christos 
    442      1.1  christos /* @group Code Colorization */
    443      1.1  christos 
    444      1.1  christos span.keyword {
    445      1.1  christos 	color: #008000
    446      1.1  christos }
    447      1.1  christos 
    448      1.1  christos span.keywordtype {
    449      1.1  christos 	color: #604020
    450      1.1  christos }
    451      1.1  christos 
    452      1.1  christos span.keywordflow {
    453      1.1  christos 	color: #e08000
    454      1.1  christos }
    455      1.1  christos 
    456      1.1  christos span.comment {
    457      1.1  christos 	color: #800000
    458      1.1  christos }
    459      1.1  christos 
    460      1.1  christos span.preprocessor {
    461      1.1  christos 	color: #806020
    462      1.1  christos }
    463      1.1  christos 
    464      1.1  christos span.stringliteral {
    465      1.1  christos 	color: #002080
    466      1.1  christos }
    467      1.1  christos 
    468      1.1  christos span.charliteral {
    469      1.1  christos 	color: #008080
    470      1.1  christos }
    471      1.1  christos 
    472      1.1  christos span.vhdldigit {
    473      1.1  christos 	color: #ff00ff
    474      1.1  christos }
    475      1.1  christos 
    476      1.1  christos span.vhdlchar {
    477      1.1  christos 	color: #000000
    478      1.1  christos }
    479      1.1  christos 
    480      1.1  christos span.vhdlkeyword {
    481      1.1  christos 	color: #700070
    482      1.1  christos }
    483      1.1  christos 
    484      1.1  christos span.vhdllogic {
    485      1.1  christos 	color: #ff0000
    486      1.1  christos }
    487      1.1  christos 
    488      1.1  christos blockquote {
    489      1.1  christos         background-color: #F7F8FB;
    490      1.1  christos         border-left: 2px solid #9CAFD4;
    491      1.1  christos         margin: 0 24px 0 4px;
    492      1.1  christos         padding: 0 12px 0 16px;
    493      1.1  christos }
    494      1.1  christos 
    495  1.1.1.2  christos blockquote.DocNodeRTL {
    496  1.1.1.2  christos    border-left: 0;
    497  1.1.1.2  christos    border-right: 2px solid #9CAFD4;
    498  1.1.1.2  christos    margin: 0 4px 0 24px;
    499  1.1.1.2  christos    padding: 0 16px 0 12px;
    500  1.1.1.2  christos }
    501  1.1.1.2  christos 
    502      1.1  christos /* @end */
    503      1.1  christos 
    504      1.1  christos /*
    505      1.1  christos .search {
    506      1.1  christos 	color: #003399;
    507      1.1  christos 	font-weight: bold;
    508      1.1  christos }
    509      1.1  christos 
    510      1.1  christos form.search {
    511      1.1  christos 	margin-bottom: 0px;
    512      1.1  christos 	margin-top: 0px;
    513      1.1  christos }
    514      1.1  christos 
    515      1.1  christos input.search {
    516      1.1  christos 	font-size: 75%;
    517      1.1  christos 	color: #000080;
    518      1.1  christos 	font-weight: normal;
    519      1.1  christos 	background-color: #e8eef2;
    520      1.1  christos }
    521      1.1  christos */
    522      1.1  christos 
    523      1.1  christos td.tiny {
    524      1.1  christos 	font-size: 75%;
    525      1.1  christos }
    526      1.1  christos 
    527      1.1  christos .dirtab {
    528      1.1  christos 	padding: 4px;
    529      1.1  christos 	border-collapse: collapse;
    530      1.1  christos 	border: 1px solid #A3B4D7;
    531      1.1  christos }
    532      1.1  christos 
    533      1.1  christos th.dirtab {
    534      1.1  christos 	background: #EBEFF6;
    535      1.1  christos 	font-weight: bold;
    536      1.1  christos }
    537      1.1  christos 
    538      1.1  christos hr {
    539      1.1  christos 	height: 0px;
    540      1.1  christos 	border: none;
    541      1.1  christos 	border-top: 1px solid #4A6AAA;
    542      1.1  christos }
    543      1.1  christos 
    544      1.1  christos hr.footer {
    545      1.1  christos 	height: 1px;
    546      1.1  christos }
    547      1.1  christos 
    548      1.1  christos /* @group Member Descriptions */
    549      1.1  christos 
    550      1.1  christos table.memberdecls {
    551      1.1  christos 	border-spacing: 0px;
    552      1.1  christos 	padding: 0px;
    553      1.1  christos }
    554      1.1  christos 
    555      1.1  christos .memberdecls td, .fieldtable tr {
    556      1.1  christos 	-webkit-transition-property: background-color, box-shadow;
    557      1.1  christos 	-webkit-transition-duration: 0.5s;
    558      1.1  christos 	-moz-transition-property: background-color, box-shadow;
    559      1.1  christos 	-moz-transition-duration: 0.5s;
    560      1.1  christos 	-ms-transition-property: background-color, box-shadow;
    561      1.1  christos 	-ms-transition-duration: 0.5s;
    562      1.1  christos 	-o-transition-property: background-color, box-shadow;
    563      1.1  christos 	-o-transition-duration: 0.5s;
    564      1.1  christos 	transition-property: background-color, box-shadow;
    565      1.1  christos 	transition-duration: 0.5s;
    566      1.1  christos }
    567      1.1  christos 
    568      1.1  christos .memberdecls td.glow, .fieldtable tr.glow {
    569      1.1  christos 	background-color: cyan;
    570      1.1  christos 	box-shadow: 0 0 15px cyan;
    571      1.1  christos }
    572      1.1  christos 
    573      1.1  christos .mdescLeft, .mdescRight,
    574      1.1  christos .memItemLeft, .memItemRight,
    575      1.1  christos .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
    576      1.1  christos 	background-color: #F9FAFC;
    577      1.1  christos 	border: none;
    578      1.1  christos 	margin: 4px;
    579      1.1  christos 	padding: 1px 0 0 8px;
    580      1.1  christos }
    581      1.1  christos 
    582      1.1  christos .mdescLeft, .mdescRight {
    583      1.1  christos 	padding: 0px 8px 4px 8px;
    584      1.1  christos 	color: #555;
    585      1.1  christos }
    586      1.1  christos 
    587      1.1  christos .memSeparator {
    588      1.1  christos         border-bottom: 1px solid #DEE4F0;
    589      1.1  christos         line-height: 1px;
    590      1.1  christos         margin: 0px;
    591      1.1  christos         padding: 0px;
    592      1.1  christos }
    593      1.1  christos 
    594      1.1  christos .memItemLeft, .memTemplItemLeft {
    595      1.1  christos         white-space: nowrap;
    596      1.1  christos }
    597      1.1  christos 
    598  1.1.1.2  christos .memItemRight, .memTemplItemRight {
    599      1.1  christos 	width: 100%;
    600      1.1  christos }
    601      1.1  christos 
    602      1.1  christos .memTemplParams {
    603      1.1  christos 	color: #4665A2;
    604      1.1  christos         white-space: nowrap;
    605      1.1  christos 	font-size: 80%;
    606      1.1  christos }
    607      1.1  christos 
    608      1.1  christos /* @end */
    609      1.1  christos 
    610      1.1  christos /* @group Member Details */
    611      1.1  christos 
    612      1.1  christos /* Styles for detailed member documentation */
    613      1.1  christos 
    614      1.1  christos .memtitle {
    615      1.1  christos 	padding: 8px;
    616      1.1  christos 	border-top: 1px solid #A8B8D9;
    617      1.1  christos 	border-left: 1px solid #A8B8D9;
    618      1.1  christos 	border-right: 1px solid #A8B8D9;
    619      1.1  christos 	border-top-right-radius: 4px;
    620      1.1  christos 	border-top-left-radius: 4px;
    621      1.1  christos 	margin-bottom: -1px;
    622      1.1  christos 	background-image: url('nav_f.png');
    623      1.1  christos 	background-repeat: repeat-x;
    624      1.1  christos 	background-color: #E2E8F2;
    625      1.1  christos 	line-height: 1.25;
    626      1.1  christos 	font-weight: 300;
    627      1.1  christos 	float:left;
    628      1.1  christos }
    629      1.1  christos 
    630      1.1  christos .permalink
    631      1.1  christos {
    632      1.1  christos         font-size: 65%;
    633      1.1  christos         display: inline-block;
    634      1.1  christos         vertical-align: middle;
    635      1.1  christos }
    636      1.1  christos 
    637      1.1  christos .memtemplate {
    638      1.1  christos 	font-size: 80%;
    639      1.1  christos 	color: #4665A2;
    640      1.1  christos 	font-weight: normal;
    641      1.1  christos 	margin-left: 9px;
    642      1.1  christos }
    643      1.1  christos 
    644      1.1  christos .memnav {
    645      1.1  christos 	background-color: #EBEFF6;
    646      1.1  christos 	border: 1px solid #A3B4D7;
    647      1.1  christos 	text-align: center;
    648      1.1  christos 	margin: 2px;
    649      1.1  christos 	margin-right: 15px;
    650      1.1  christos 	padding: 2px;
    651      1.1  christos }
    652      1.1  christos 
    653      1.1  christos .mempage {
    654      1.1  christos 	width: 100%;
    655      1.1  christos }
    656      1.1  christos 
    657      1.1  christos .memitem {
    658      1.1  christos 	padding: 0;
    659      1.1  christos 	margin-bottom: 10px;
    660      1.1  christos 	margin-right: 5px;
    661      1.1  christos         -webkit-transition: box-shadow 0.5s linear;
    662      1.1  christos         -moz-transition: box-shadow 0.5s linear;
    663      1.1  christos         -ms-transition: box-shadow 0.5s linear;
    664      1.1  christos         -o-transition: box-shadow 0.5s linear;
    665      1.1  christos         transition: box-shadow 0.5s linear;
    666      1.1  christos         display: table !important;
    667      1.1  christos         width: 100%;
    668      1.1  christos }
    669      1.1  christos 
    670      1.1  christos .memitem.glow {
    671      1.1  christos          box-shadow: 0 0 15px cyan;
    672      1.1  christos }
    673      1.1  christos 
    674      1.1  christos .memname {
    675      1.1  christos         font-weight: 400;
    676      1.1  christos         margin-left: 6px;
    677      1.1  christos }
    678      1.1  christos 
    679      1.1  christos .memname td {
    680      1.1  christos 	vertical-align: bottom;
    681      1.1  christos }
    682      1.1  christos 
    683      1.1  christos .memproto, dl.reflist dt {
    684      1.1  christos         border-top: 1px solid #A8B8D9;
    685      1.1  christos         border-left: 1px solid #A8B8D9;
    686      1.1  christos         border-right: 1px solid #A8B8D9;
    687      1.1  christos         padding: 6px 0px 6px 0px;
    688      1.1  christos         color: #253555;
    689      1.1  christos         font-weight: bold;
    690      1.1  christos         text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
    691      1.1  christos         background-color: #DFE5F1;
    692      1.1  christos         /* opera specific markup */
    693      1.1  christos         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
    694      1.1  christos         border-top-right-radius: 4px;
    695      1.1  christos         /* firefox specific markup */
    696      1.1  christos         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
    697      1.1  christos         -moz-border-radius-topright: 4px;
    698      1.1  christos         /* webkit specific markup */
    699      1.1  christos         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
    700      1.1  christos         -webkit-border-top-right-radius: 4px;
    701      1.1  christos 
    702      1.1  christos }
    703      1.1  christos 
    704      1.1  christos .overload {
    705      1.1  christos         font-family: "courier new",courier,monospace;
    706      1.1  christos 	font-size: 65%;
    707      1.1  christos }
    708      1.1  christos 
    709      1.1  christos .memdoc, dl.reflist dd {
    710      1.1  christos         border-bottom: 1px solid #A8B8D9;
    711      1.1  christos         border-left: 1px solid #A8B8D9;
    712      1.1  christos         border-right: 1px solid #A8B8D9;
    713      1.1  christos         padding: 6px 10px 2px 10px;
    714      1.1  christos         background-color: #FBFCFD;
    715      1.1  christos         border-top-width: 0;
    716      1.1  christos         background-image:url('nav_g.png');
    717      1.1  christos         background-repeat:repeat-x;
    718      1.1  christos         background-color: #FFFFFF;
    719      1.1  christos         /* opera specific markup */
    720      1.1  christos         border-bottom-left-radius: 4px;
    721      1.1  christos         border-bottom-right-radius: 4px;
    722      1.1  christos         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
    723      1.1  christos         /* firefox specific markup */
    724      1.1  christos         -moz-border-radius-bottomleft: 4px;
    725      1.1  christos         -moz-border-radius-bottomright: 4px;
    726      1.1  christos         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
    727      1.1  christos         /* webkit specific markup */
    728      1.1  christos         -webkit-border-bottom-left-radius: 4px;
    729      1.1  christos         -webkit-border-bottom-right-radius: 4px;
    730      1.1  christos         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
    731      1.1  christos }
    732      1.1  christos 
    733      1.1  christos dl.reflist dt {
    734      1.1  christos         padding: 5px;
    735      1.1  christos }
    736      1.1  christos 
    737      1.1  christos dl.reflist dd {
    738      1.1  christos         margin: 0px 0px 10px 0px;
    739      1.1  christos         padding: 5px;
    740      1.1  christos }
    741      1.1  christos 
    742      1.1  christos .paramkey {
    743      1.1  christos 	text-align: right;
    744      1.1  christos }
    745      1.1  christos 
    746      1.1  christos .paramtype {
    747      1.1  christos 	white-space: nowrap;
    748      1.1  christos }
    749      1.1  christos 
    750      1.1  christos .paramname {
    751      1.1  christos 	color: #602020;
    752      1.1  christos 	white-space: nowrap;
    753      1.1  christos }
    754      1.1  christos .paramname em {
    755      1.1  christos 	font-style: normal;
    756      1.1  christos }
    757      1.1  christos .paramname code {
    758      1.1  christos         line-height: 14px;
    759      1.1  christos }
    760      1.1  christos 
    761      1.1  christos .params, .retval, .exception, .tparams {
    762      1.1  christos         margin-left: 0px;
    763      1.1  christos         padding-left: 0px;
    764      1.1  christos }
    765      1.1  christos 
    766  1.1.1.2  christos .params .paramname, .retval .paramname, .tparams .paramname, .exception .paramname {
    767      1.1  christos         font-weight: bold;
    768      1.1  christos         vertical-align: top;
    769      1.1  christos }
    770      1.1  christos 
    771  1.1.1.2  christos .params .paramtype, .tparams .paramtype {
    772      1.1  christos         font-style: italic;
    773      1.1  christos         vertical-align: top;
    774      1.1  christos }
    775      1.1  christos 
    776  1.1.1.2  christos .params .paramdir, .tparams .paramdir {
    777      1.1  christos         font-family: "courier new",courier,monospace;
    778      1.1  christos         vertical-align: top;
    779      1.1  christos }
    780      1.1  christos 
    781      1.1  christos table.mlabels {
    782      1.1  christos 	border-spacing: 0px;
    783      1.1  christos }
    784      1.1  christos 
    785      1.1  christos td.mlabels-left {
    786      1.1  christos 	width: 100%;
    787      1.1  christos 	padding: 0px;
    788      1.1  christos }
    789      1.1  christos 
    790      1.1  christos td.mlabels-right {
    791      1.1  christos 	vertical-align: bottom;
    792      1.1  christos 	padding: 0px;
    793      1.1  christos 	white-space: nowrap;
    794      1.1  christos }
    795      1.1  christos 
    796      1.1  christos span.mlabels {
    797      1.1  christos         margin-left: 8px;
    798      1.1  christos }
    799      1.1  christos 
    800      1.1  christos span.mlabel {
    801      1.1  christos         background-color: #728DC1;
    802      1.1  christos         border-top:1px solid #5373B4;
    803      1.1  christos         border-left:1px solid #5373B4;
    804      1.1  christos         border-right:1px solid #C4CFE5;
    805      1.1  christos         border-bottom:1px solid #C4CFE5;
    806      1.1  christos 	text-shadow: none;
    807      1.1  christos 	color: white;
    808      1.1  christos 	margin-right: 4px;
    809      1.1  christos 	padding: 2px 3px;
    810      1.1  christos 	border-radius: 3px;
    811      1.1  christos 	font-size: 7pt;
    812      1.1  christos 	white-space: nowrap;
    813      1.1  christos 	vertical-align: middle;
    814      1.1  christos }
    815      1.1  christos 
    816      1.1  christos 
    817      1.1  christos 
    818      1.1  christos /* @end */
    819      1.1  christos 
    820      1.1  christos /* these are for tree view inside a (index) page */
    821      1.1  christos 
    822      1.1  christos div.directory {
    823      1.1  christos         margin: 10px 0px;
    824      1.1  christos         border-top: 1px solid #9CAFD4;
    825      1.1  christos         border-bottom: 1px solid #9CAFD4;
    826      1.1  christos         width: 100%;
    827      1.1  christos }
    828      1.1  christos 
    829      1.1  christos .directory table {
    830      1.1  christos         border-collapse:collapse;
    831      1.1  christos }
    832      1.1  christos 
    833      1.1  christos .directory td {
    834      1.1  christos         margin: 0px;
    835      1.1  christos         padding: 0px;
    836      1.1  christos 	vertical-align: top;
    837      1.1  christos }
    838      1.1  christos 
    839      1.1  christos .directory td.entry {
    840      1.1  christos         white-space: nowrap;
    841      1.1  christos         padding-right: 6px;
    842      1.1  christos 	padding-top: 3px;
    843      1.1  christos }
    844      1.1  christos 
    845      1.1  christos .directory td.entry a {
    846      1.1  christos         outline:none;
    847      1.1  christos }
    848      1.1  christos 
    849      1.1  christos .directory td.entry a img {
    850      1.1  christos         border: none;
    851      1.1  christos }
    852      1.1  christos 
    853      1.1  christos .directory td.desc {
    854      1.1  christos         width: 100%;
    855      1.1  christos         padding-left: 6px;
    856      1.1  christos 	padding-right: 6px;
    857      1.1  christos 	padding-top: 3px;
    858      1.1  christos 	border-left: 1px solid rgba(0,0,0,0.05);
    859      1.1  christos }
    860      1.1  christos 
    861      1.1  christos .directory tr.even {
    862      1.1  christos 	padding-left: 6px;
    863      1.1  christos 	background-color: #F7F8FB;
    864      1.1  christos }
    865      1.1  christos 
    866      1.1  christos .directory img {
    867      1.1  christos 	vertical-align: -30%;
    868      1.1  christos }
    869      1.1  christos 
    870      1.1  christos .directory .levels {
    871      1.1  christos         white-space: nowrap;
    872      1.1  christos         width: 100%;
    873      1.1  christos         text-align: right;
    874      1.1  christos         font-size: 9pt;
    875      1.1  christos }
    876      1.1  christos 
    877      1.1  christos .directory .levels span {
    878      1.1  christos         cursor: pointer;
    879      1.1  christos         padding-left: 2px;
    880      1.1  christos         padding-right: 2px;
    881      1.1  christos 	color: #3D578C;
    882      1.1  christos }
    883      1.1  christos 
    884      1.1  christos .arrow {
    885      1.1  christos     color: #9CAFD4;
    886      1.1  christos     -webkit-user-select: none;
    887      1.1  christos     -khtml-user-select: none;
    888      1.1  christos     -moz-user-select: none;
    889      1.1  christos     -ms-user-select: none;
    890      1.1  christos     user-select: none;
    891      1.1  christos     cursor: pointer;
    892      1.1  christos     font-size: 80%;
    893      1.1  christos     display: inline-block;
    894      1.1  christos     width: 16px;
    895      1.1  christos     height: 22px;
    896      1.1  christos }
    897      1.1  christos 
    898      1.1  christos .icon {
    899      1.1  christos     font-family: Arial, Helvetica;
    900      1.1  christos     font-weight: bold;
    901      1.1  christos     font-size: 12px;
    902      1.1  christos     height: 14px;
    903      1.1  christos     width: 16px;
    904      1.1  christos     display: inline-block;
    905      1.1  christos     background-color: #728DC1;
    906      1.1  christos     color: white;
    907      1.1  christos     text-align: center;
    908      1.1  christos     border-radius: 4px;
    909      1.1  christos     margin-left: 2px;
    910      1.1  christos     margin-right: 2px;
    911      1.1  christos }
    912      1.1  christos 
    913      1.1  christos .icona {
    914      1.1  christos     width: 24px;
    915      1.1  christos     height: 22px;
    916      1.1  christos     display: inline-block;
    917      1.1  christos }
    918      1.1  christos 
    919      1.1  christos .iconfopen {
    920      1.1  christos     width: 24px;
    921      1.1  christos     height: 18px;
    922      1.1  christos     margin-bottom: 4px;
    923      1.1  christos     background-image:url('folderopen.png');
    924      1.1  christos     background-position: 0px -4px;
    925      1.1  christos     background-repeat: repeat-y;
    926      1.1  christos     vertical-align:top;
    927      1.1  christos     display: inline-block;
    928      1.1  christos }
    929      1.1  christos 
    930      1.1  christos .iconfclosed {
    931      1.1  christos     width: 24px;
    932      1.1  christos     height: 18px;
    933      1.1  christos     margin-bottom: 4px;
    934      1.1  christos     background-image:url('folderclosed.png');
    935      1.1  christos     background-position: 0px -4px;
    936      1.1  christos     background-repeat: repeat-y;
    937      1.1  christos     vertical-align:top;
    938      1.1  christos     display: inline-block;
    939      1.1  christos }
    940      1.1  christos 
    941      1.1  christos .icondoc {
    942      1.1  christos     width: 24px;
    943      1.1  christos     height: 18px;
    944      1.1  christos     margin-bottom: 4px;
    945      1.1  christos     background-image:url('doc.png');
    946      1.1  christos     background-position: 0px -4px;
    947      1.1  christos     background-repeat: repeat-y;
    948      1.1  christos     vertical-align:top;
    949      1.1  christos     display: inline-block;
    950      1.1  christos }
    951      1.1  christos 
    952      1.1  christos table.directory {
    953      1.1  christos     font: 400 14px Roboto,sans-serif;
    954      1.1  christos }
    955      1.1  christos 
    956      1.1  christos /* @end */
    957      1.1  christos 
    958      1.1  christos div.dynheader {
    959      1.1  christos         margin-top: 8px;
    960      1.1  christos 	-webkit-touch-callout: none;
    961      1.1  christos 	-webkit-user-select: none;
    962      1.1  christos 	-khtml-user-select: none;
    963      1.1  christos 	-moz-user-select: none;
    964      1.1  christos 	-ms-user-select: none;
    965      1.1  christos 	user-select: none;
    966      1.1  christos }
    967      1.1  christos 
    968      1.1  christos address {
    969      1.1  christos 	font-style: normal;
    970      1.1  christos 	color: #2A3D61;
    971      1.1  christos }
    972      1.1  christos 
    973      1.1  christos table.doxtable caption {
    974      1.1  christos 	caption-side: top;
    975      1.1  christos }
    976      1.1  christos 
    977      1.1  christos table.doxtable {
    978      1.1  christos 	border-collapse:collapse;
    979      1.1  christos         margin-top: 4px;
    980      1.1  christos         margin-bottom: 4px;
    981      1.1  christos }
    982      1.1  christos 
    983      1.1  christos table.doxtable td, table.doxtable th {
    984      1.1  christos 	border: 1px solid #2D4068;
    985      1.1  christos 	padding: 3px 7px 2px;
    986      1.1  christos }
    987      1.1  christos 
    988      1.1  christos table.doxtable th {
    989      1.1  christos 	background-color: #374F7F;
    990      1.1  christos 	color: #FFFFFF;
    991      1.1  christos 	font-size: 110%;
    992      1.1  christos 	padding-bottom: 4px;
    993      1.1  christos 	padding-top: 5px;
    994      1.1  christos }
    995      1.1  christos 
    996      1.1  christos table.fieldtable {
    997      1.1  christos         /*width: 100%;*/
    998      1.1  christos         margin-bottom: 10px;
    999      1.1  christos         border: 1px solid #A8B8D9;
   1000      1.1  christos         border-spacing: 0px;
   1001      1.1  christos         -moz-border-radius: 4px;
   1002      1.1  christos         -webkit-border-radius: 4px;
   1003      1.1  christos         border-radius: 4px;
   1004      1.1  christos         -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
   1005      1.1  christos         -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
   1006      1.1  christos         box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
   1007      1.1  christos }
   1008      1.1  christos 
   1009      1.1  christos .fieldtable td, .fieldtable th {
   1010      1.1  christos         padding: 3px 7px 2px;
   1011      1.1  christos }
   1012      1.1  christos 
   1013      1.1  christos .fieldtable td.fieldtype, .fieldtable td.fieldname {
   1014      1.1  christos         white-space: nowrap;
   1015      1.1  christos         border-right: 1px solid #A8B8D9;
   1016      1.1  christos         border-bottom: 1px solid #A8B8D9;
   1017      1.1  christos         vertical-align: top;
   1018      1.1  christos }
   1019      1.1  christos 
   1020      1.1  christos .fieldtable td.fieldname {
   1021      1.1  christos         padding-top: 3px;
   1022      1.1  christos }
   1023      1.1  christos 
   1024      1.1  christos .fieldtable td.fielddoc {
   1025      1.1  christos         border-bottom: 1px solid #A8B8D9;
   1026      1.1  christos         /*width: 100%;*/
   1027      1.1  christos }
   1028      1.1  christos 
   1029      1.1  christos .fieldtable td.fielddoc p:first-child {
   1030      1.1  christos         margin-top: 0px;
   1031      1.1  christos }
   1032      1.1  christos 
   1033      1.1  christos .fieldtable td.fielddoc p:last-child {
   1034      1.1  christos         margin-bottom: 2px;
   1035      1.1  christos }
   1036      1.1  christos 
   1037      1.1  christos .fieldtable tr:last-child td {
   1038      1.1  christos         border-bottom: none;
   1039      1.1  christos }
   1040      1.1  christos 
   1041      1.1  christos .fieldtable th {
   1042      1.1  christos         background-image:url('nav_f.png');
   1043      1.1  christos         background-repeat:repeat-x;
   1044      1.1  christos         background-color: #E2E8F2;
   1045      1.1  christos         font-size: 90%;
   1046      1.1  christos         color: #253555;
   1047      1.1  christos         padding-bottom: 4px;
   1048      1.1  christos         padding-top: 5px;
   1049      1.1  christos         text-align:left;
   1050      1.1  christos         font-weight: 400;
   1051      1.1  christos         -moz-border-radius-topleft: 4px;
   1052      1.1  christos         -moz-border-radius-topright: 4px;
   1053      1.1  christos         -webkit-border-top-left-radius: 4px;
   1054      1.1  christos         -webkit-border-top-right-radius: 4px;
   1055      1.1  christos         border-top-left-radius: 4px;
   1056      1.1  christos         border-top-right-radius: 4px;
   1057      1.1  christos         border-bottom: 1px solid #A8B8D9;
   1058      1.1  christos }
   1059      1.1  christos 
   1060      1.1  christos 
   1061      1.1  christos .tabsearch {
   1062      1.1  christos 	top: 0px;
   1063      1.1  christos 	left: 10px;
   1064      1.1  christos 	height: 36px;
   1065      1.1  christos 	background-image: url('tab_b.png');
   1066      1.1  christos 	z-index: 101;
   1067      1.1  christos 	overflow: hidden;
   1068      1.1  christos 	font-size: 13px;
   1069      1.1  christos }
   1070      1.1  christos 
   1071      1.1  christos .navpath ul
   1072      1.1  christos {
   1073      1.1  christos 	font-size: 11px;
   1074      1.1  christos 	background-image:url('tab_b.png');
   1075      1.1  christos 	background-repeat:repeat-x;
   1076      1.1  christos 	background-position: 0 -5px;
   1077      1.1  christos 	height:30px;
   1078      1.1  christos 	line-height:30px;
   1079      1.1  christos 	color:#8AA0CC;
   1080      1.1  christos 	border:solid 1px #C2CDE4;
   1081      1.1  christos 	overflow:hidden;
   1082      1.1  christos 	margin:0px;
   1083      1.1  christos 	padding:0px;
   1084      1.1  christos }
   1085      1.1  christos 
   1086      1.1  christos .navpath li
   1087      1.1  christos {
   1088      1.1  christos 	list-style-type:none;
   1089      1.1  christos 	float:left;
   1090      1.1  christos 	padding-left:10px;
   1091      1.1  christos 	padding-right:15px;
   1092      1.1  christos 	background-image:url('bc_s.png');
   1093      1.1  christos 	background-repeat:no-repeat;
   1094      1.1  christos 	background-position:right;
   1095      1.1  christos 	color:#364D7C;
   1096      1.1  christos }
   1097      1.1  christos 
   1098      1.1  christos .navpath li.navelem a
   1099      1.1  christos {
   1100      1.1  christos 	height:32px;
   1101      1.1  christos 	display:block;
   1102      1.1  christos 	text-decoration: none;
   1103      1.1  christos 	outline: none;
   1104      1.1  christos 	color: #283A5D;
   1105      1.1  christos 	font-family: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
   1106      1.1  christos 	text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
   1107      1.1  christos 	text-decoration: none;
   1108      1.1  christos }
   1109      1.1  christos 
   1110      1.1  christos .navpath li.navelem a:hover
   1111      1.1  christos {
   1112      1.1  christos 	color:#6884BD;
   1113      1.1  christos }
   1114      1.1  christos 
   1115      1.1  christos .navpath li.footer
   1116      1.1  christos {
   1117      1.1  christos         list-style-type:none;
   1118      1.1  christos         float:right;
   1119      1.1  christos         padding-left:10px;
   1120      1.1  christos         padding-right:15px;
   1121      1.1  christos         background-image:none;
   1122      1.1  christos         background-repeat:no-repeat;
   1123      1.1  christos         background-position:right;
   1124      1.1  christos         color:#364D7C;
   1125      1.1  christos         font-size: 8pt;
   1126      1.1  christos }
   1127      1.1  christos 
   1128      1.1  christos 
   1129      1.1  christos div.summary
   1130      1.1  christos {
   1131      1.1  christos 	float: right;
   1132      1.1  christos 	font-size: 8pt;
   1133      1.1  christos 	padding-right: 5px;
   1134      1.1  christos 	width: 50%;
   1135      1.1  christos 	text-align: right;
   1136      1.1  christos }
   1137      1.1  christos 
   1138      1.1  christos div.summary a
   1139      1.1  christos {
   1140      1.1  christos 	white-space: nowrap;
   1141      1.1  christos }
   1142      1.1  christos 
   1143      1.1  christos table.classindex
   1144      1.1  christos {
   1145      1.1  christos         margin: 10px;
   1146      1.1  christos         white-space: nowrap;
   1147      1.1  christos         margin-left: 3%;
   1148      1.1  christos         margin-right: 3%;
   1149      1.1  christos         width: 94%;
   1150      1.1  christos         border: 0;
   1151      1.1  christos         border-spacing: 0;
   1152      1.1  christos         padding: 0;
   1153      1.1  christos }
   1154      1.1  christos 
   1155      1.1  christos div.ingroups
   1156      1.1  christos {
   1157      1.1  christos 	font-size: 8pt;
   1158      1.1  christos 	width: 50%;
   1159      1.1  christos 	text-align: left;
   1160      1.1  christos }
   1161      1.1  christos 
   1162      1.1  christos div.ingroups a
   1163      1.1  christos {
   1164      1.1  christos 	white-space: nowrap;
   1165      1.1  christos }
   1166      1.1  christos 
   1167      1.1  christos div.header
   1168      1.1  christos {
   1169      1.1  christos         background-image:url('nav_h.png');
   1170      1.1  christos         background-repeat:repeat-x;
   1171      1.1  christos 	background-color: #F9FAFC;
   1172      1.1  christos 	margin:  0px;
   1173      1.1  christos 	border-bottom: 1px solid #C4CFE5;
   1174      1.1  christos }
   1175      1.1  christos 
   1176      1.1  christos div.headertitle
   1177      1.1  christos {
   1178      1.1  christos 	padding: 5px 5px 5px 10px;
   1179      1.1  christos }
   1180      1.1  christos 
   1181  1.1.1.2  christos .PageDocRTL-title div.headertitle {
   1182  1.1.1.2  christos   text-align: right;
   1183  1.1.1.2  christos   direction: rtl;
   1184      1.1  christos }
   1185      1.1  christos 
   1186  1.1.1.2  christos dl {
   1187  1.1.1.2  christos         padding: 0 0 0 0;
   1188      1.1  christos }
   1189      1.1  christos 
   1190  1.1.1.2  christos /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug, dl.examples */
   1191  1.1.1.2  christos dl.section {
   1192  1.1.1.2  christos 	margin-left: 0px;
   1193  1.1.1.2  christos 	padding-left: 0px;
   1194      1.1  christos }
   1195      1.1  christos 
   1196  1.1.1.2  christos dl.section.DocNodeRTL {
   1197  1.1.1.2  christos   margin-right: 0px;
   1198  1.1.1.2  christos   padding-right: 0px;
   1199  1.1.1.2  christos }
   1200  1.1.1.2  christos 
   1201  1.1.1.2  christos dl.note {
   1202  1.1.1.2  christos   margin-left: -7px;
   1203  1.1.1.2  christos   padding-left: 3px;
   1204  1.1.1.2  christos   border-left: 4px solid;
   1205  1.1.1.2  christos   border-color: #D0C000;
   1206  1.1.1.2  christos }
   1207  1.1.1.2  christos 
   1208  1.1.1.2  christos dl.note.DocNodeRTL {
   1209  1.1.1.2  christos   margin-left: 0;
   1210  1.1.1.2  christos   padding-left: 0;
   1211  1.1.1.2  christos   border-left: 0;
   1212  1.1.1.2  christos   margin-right: -7px;
   1213  1.1.1.2  christos   padding-right: 3px;
   1214  1.1.1.2  christos   border-right: 4px solid;
   1215  1.1.1.2  christos   border-color: #D0C000;
   1216  1.1.1.2  christos }
   1217  1.1.1.2  christos 
   1218  1.1.1.2  christos dl.warning, dl.attention {
   1219  1.1.1.2  christos   margin-left: -7px;
   1220  1.1.1.2  christos   padding-left: 3px;
   1221  1.1.1.2  christos   border-left: 4px solid;
   1222  1.1.1.2  christos   border-color: #FF0000;
   1223  1.1.1.2  christos }
   1224  1.1.1.2  christos 
   1225  1.1.1.2  christos dl.warning.DocNodeRTL, dl.attention.DocNodeRTL {
   1226  1.1.1.2  christos   margin-left: 0;
   1227  1.1.1.2  christos   padding-left: 0;
   1228  1.1.1.2  christos   border-left: 0;
   1229  1.1.1.2  christos   margin-right: -7px;
   1230  1.1.1.2  christos   padding-right: 3px;
   1231  1.1.1.2  christos   border-right: 4px solid;
   1232  1.1.1.2  christos   border-color: #FF0000;
   1233  1.1.1.2  christos }
   1234  1.1.1.2  christos 
   1235  1.1.1.2  christos dl.pre, dl.post, dl.invariant {
   1236  1.1.1.2  christos   margin-left: -7px;
   1237  1.1.1.2  christos   padding-left: 3px;
   1238  1.1.1.2  christos   border-left: 4px solid;
   1239  1.1.1.2  christos   border-color: #00D000;
   1240  1.1.1.2  christos }
   1241  1.1.1.2  christos 
   1242  1.1.1.2  christos dl.pre.DocNodeRTL, dl.post.DocNodeRTL, dl.invariant.DocNodeRTL {
   1243  1.1.1.2  christos   margin-left: 0;
   1244  1.1.1.2  christos   padding-left: 0;
   1245  1.1.1.2  christos   border-left: 0;
   1246  1.1.1.2  christos   margin-right: -7px;
   1247  1.1.1.2  christos   padding-right: 3px;
   1248  1.1.1.2  christos   border-right: 4px solid;
   1249  1.1.1.2  christos   border-color: #00D000;
   1250  1.1.1.2  christos }
   1251  1.1.1.2  christos 
   1252  1.1.1.2  christos dl.deprecated {
   1253  1.1.1.2  christos   margin-left: -7px;
   1254  1.1.1.2  christos   padding-left: 3px;
   1255  1.1.1.2  christos   border-left: 4px solid;
   1256  1.1.1.2  christos   border-color: #505050;
   1257  1.1.1.2  christos }
   1258  1.1.1.2  christos 
   1259  1.1.1.2  christos dl.deprecated.DocNodeRTL {
   1260  1.1.1.2  christos   margin-left: 0;
   1261  1.1.1.2  christos   padding-left: 0;
   1262  1.1.1.2  christos   border-left: 0;
   1263  1.1.1.2  christos   margin-right: -7px;
   1264  1.1.1.2  christos   padding-right: 3px;
   1265  1.1.1.2  christos   border-right: 4px solid;
   1266  1.1.1.2  christos   border-color: #505050;
   1267  1.1.1.2  christos }
   1268  1.1.1.2  christos 
   1269  1.1.1.2  christos dl.todo {
   1270  1.1.1.2  christos   margin-left: -7px;
   1271  1.1.1.2  christos   padding-left: 3px;
   1272  1.1.1.2  christos   border-left: 4px solid;
   1273  1.1.1.2  christos   border-color: #00C0E0;
   1274  1.1.1.2  christos }
   1275  1.1.1.2  christos 
   1276  1.1.1.2  christos dl.todo.DocNodeRTL {
   1277  1.1.1.2  christos   margin-left: 0;
   1278  1.1.1.2  christos   padding-left: 0;
   1279  1.1.1.2  christos   border-left: 0;
   1280  1.1.1.2  christos   margin-right: -7px;
   1281  1.1.1.2  christos   padding-right: 3px;
   1282  1.1.1.2  christos   border-right: 4px solid;
   1283  1.1.1.2  christos   border-color: #00C0E0;
   1284  1.1.1.2  christos }
   1285  1.1.1.2  christos 
   1286  1.1.1.2  christos dl.test {
   1287  1.1.1.2  christos   margin-left: -7px;
   1288  1.1.1.2  christos   padding-left: 3px;
   1289  1.1.1.2  christos   border-left: 4px solid;
   1290  1.1.1.2  christos   border-color: #3030E0;
   1291  1.1.1.2  christos }
   1292  1.1.1.2  christos 
   1293  1.1.1.2  christos dl.test.DocNodeRTL {
   1294  1.1.1.2  christos   margin-left: 0;
   1295  1.1.1.2  christos   padding-left: 0;
   1296  1.1.1.2  christos   border-left: 0;
   1297  1.1.1.2  christos   margin-right: -7px;
   1298  1.1.1.2  christos   padding-right: 3px;
   1299  1.1.1.2  christos   border-right: 4px solid;
   1300  1.1.1.2  christos   border-color: #3030E0;
   1301  1.1.1.2  christos }
   1302  1.1.1.2  christos 
   1303  1.1.1.2  christos dl.bug {
   1304  1.1.1.2  christos   margin-left: -7px;
   1305  1.1.1.2  christos   padding-left: 3px;
   1306  1.1.1.2  christos   border-left: 4px solid;
   1307  1.1.1.2  christos   border-color: #C08050;
   1308  1.1.1.2  christos }
   1309  1.1.1.2  christos 
   1310  1.1.1.2  christos dl.bug.DocNodeRTL {
   1311  1.1.1.2  christos   margin-left: 0;
   1312  1.1.1.2  christos   padding-left: 0;
   1313  1.1.1.2  christos   border-left: 0;
   1314  1.1.1.2  christos   margin-right: -7px;
   1315  1.1.1.2  christos   padding-right: 3px;
   1316  1.1.1.2  christos   border-right: 4px solid;
   1317  1.1.1.2  christos   border-color: #C08050;
   1318      1.1  christos }
   1319      1.1  christos 
   1320      1.1  christos dl.section dd {
   1321      1.1  christos 	margin-bottom: 6px;
   1322      1.1  christos }
   1323      1.1  christos 
   1324      1.1  christos 
   1325      1.1  christos #projectlogo
   1326      1.1  christos {
   1327      1.1  christos 	text-align: center;
   1328      1.1  christos 	vertical-align: bottom;
   1329      1.1  christos 	border-collapse: separate;
   1330      1.1  christos }
   1331      1.1  christos 
   1332      1.1  christos #projectlogo img
   1333      1.1  christos {
   1334      1.1  christos 	border: 0px none;
   1335      1.1  christos }
   1336      1.1  christos 
   1337      1.1  christos #projectalign
   1338      1.1  christos {
   1339      1.1  christos         vertical-align: middle;
   1340      1.1  christos }
   1341      1.1  christos 
   1342      1.1  christos #projectname
   1343      1.1  christos {
   1344      1.1  christos 	font: 300% Tahoma, Arial,sans-serif;
   1345      1.1  christos 	margin: 0px;
   1346      1.1  christos 	padding: 2px 0px;
   1347      1.1  christos }
   1348      1.1  christos 
   1349      1.1  christos #projectbrief
   1350      1.1  christos {
   1351      1.1  christos 	font: 120% Tahoma, Arial,sans-serif;
   1352      1.1  christos 	margin: 0px;
   1353      1.1  christos 	padding: 0px;
   1354      1.1  christos }
   1355      1.1  christos 
   1356      1.1  christos #projectnumber
   1357      1.1  christos {
   1358      1.1  christos 	font: 50% Tahoma, Arial,sans-serif;
   1359      1.1  christos 	margin: 0px;
   1360      1.1  christos 	padding: 0px;
   1361      1.1  christos }
   1362      1.1  christos 
   1363      1.1  christos #titlearea
   1364      1.1  christos {
   1365      1.1  christos 	padding: 0px;
   1366      1.1  christos 	margin: 0px;
   1367      1.1  christos 	width: 100%;
   1368      1.1  christos 	border-bottom: 1px solid #5373B4;
   1369      1.1  christos }
   1370      1.1  christos 
   1371      1.1  christos .image
   1372      1.1  christos {
   1373      1.1  christos         text-align: center;
   1374      1.1  christos }
   1375      1.1  christos 
   1376      1.1  christos .dotgraph
   1377      1.1  christos {
   1378      1.1  christos         text-align: center;
   1379      1.1  christos }
   1380      1.1  christos 
   1381      1.1  christos .mscgraph
   1382      1.1  christos {
   1383      1.1  christos         text-align: center;
   1384      1.1  christos }
   1385      1.1  christos 
   1386      1.1  christos .plantumlgraph
   1387      1.1  christos {
   1388      1.1  christos         text-align: center;
   1389      1.1  christos }
   1390      1.1  christos 
   1391      1.1  christos .diagraph
   1392      1.1  christos {
   1393      1.1  christos         text-align: center;
   1394      1.1  christos }
   1395      1.1  christos 
   1396      1.1  christos .caption
   1397      1.1  christos {
   1398      1.1  christos 	font-weight: bold;
   1399      1.1  christos }
   1400      1.1  christos 
   1401      1.1  christos div.zoom
   1402      1.1  christos {
   1403      1.1  christos 	border: 1px solid #90A5CE;
   1404      1.1  christos }
   1405      1.1  christos 
   1406      1.1  christos dl.citelist {
   1407      1.1  christos         margin-bottom:50px;
   1408      1.1  christos }
   1409      1.1  christos 
   1410      1.1  christos dl.citelist dt {
   1411      1.1  christos         color:#334975;
   1412      1.1  christos         float:left;
   1413      1.1  christos         font-weight:bold;
   1414      1.1  christos         margin-right:10px;
   1415      1.1  christos         padding:5px;
   1416  1.1.1.2  christos         text-align:right;
   1417  1.1.1.2  christos         width:52px;
   1418      1.1  christos }
   1419      1.1  christos 
   1420      1.1  christos dl.citelist dd {
   1421  1.1.1.2  christos         margin:2px 0 2px 72px;
   1422      1.1  christos         padding:5px 0;
   1423      1.1  christos }
   1424      1.1  christos 
   1425      1.1  christos div.toc {
   1426      1.1  christos         padding: 14px 25px;
   1427      1.1  christos         background-color: #F4F6FA;
   1428      1.1  christos         border: 1px solid #D8DFEE;
   1429      1.1  christos         border-radius: 7px 7px 7px 7px;
   1430      1.1  christos         float: right;
   1431      1.1  christos         height: auto;
   1432      1.1  christos         margin: 0 8px 10px 10px;
   1433      1.1  christos         width: 200px;
   1434      1.1  christos }
   1435      1.1  christos 
   1436  1.1.1.2  christos .PageDocRTL-title div.toc {
   1437  1.1.1.2  christos   float: left !important;
   1438  1.1.1.2  christos   text-align: right;
   1439  1.1.1.2  christos }
   1440  1.1.1.2  christos 
   1441      1.1  christos div.toc li {
   1442      1.1  christos         background: url("bdwn.png") no-repeat scroll 0 5px transparent;
   1443      1.1  christos         font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
   1444      1.1  christos         margin-top: 5px;
   1445      1.1  christos         padding-left: 10px;
   1446      1.1  christos         padding-top: 2px;
   1447      1.1  christos }
   1448      1.1  christos 
   1449  1.1.1.2  christos .PageDocRTL-title div.toc li {
   1450  1.1.1.2  christos   background-position-x: right !important;
   1451  1.1.1.2  christos   padding-left: 0 !important;
   1452  1.1.1.2  christos   padding-right: 10px;
   1453  1.1.1.2  christos }
   1454  1.1.1.2  christos 
   1455      1.1  christos div.toc h3 {
   1456      1.1  christos         font: bold 12px/1.2 Arial,FreeSans,sans-serif;
   1457      1.1  christos 	color: #4665A2;
   1458      1.1  christos         border-bottom: 0 none;
   1459      1.1  christos         margin: 0;
   1460      1.1  christos }
   1461      1.1  christos 
   1462      1.1  christos div.toc ul {
   1463      1.1  christos         list-style: none outside none;
   1464      1.1  christos         border: medium none;
   1465      1.1  christos         padding: 0px;
   1466      1.1  christos }
   1467      1.1  christos 
   1468      1.1  christos div.toc li.level1 {
   1469      1.1  christos         margin-left: 0px;
   1470      1.1  christos }
   1471      1.1  christos 
   1472      1.1  christos div.toc li.level2 {
   1473      1.1  christos         margin-left: 15px;
   1474      1.1  christos }
   1475      1.1  christos 
   1476      1.1  christos div.toc li.level3 {
   1477      1.1  christos         margin-left: 30px;
   1478      1.1  christos }
   1479      1.1  christos 
   1480      1.1  christos div.toc li.level4 {
   1481      1.1  christos         margin-left: 45px;
   1482      1.1  christos }
   1483      1.1  christos 
   1484  1.1.1.2  christos span.emoji {
   1485  1.1.1.2  christos         /* font family used at the site: https://unicode.org/emoji/charts/full-emoji-list.html
   1486  1.1.1.2  christos          * font-family: "Noto Color Emoji", "Apple Color Emoji", "Segoe UI Emoji", Times, Symbola, Aegyptus, Code2000, Code2001, Code2002, Musica, serif, LastResort;
   1487  1.1.1.2  christos          */
   1488  1.1.1.2  christos }
   1489  1.1.1.2  christos 
   1490  1.1.1.2  christos .PageDocRTL-title div.toc li.level1 {
   1491  1.1.1.2  christos   margin-left: 0 !important;
   1492  1.1.1.2  christos   margin-right: 0;
   1493  1.1.1.2  christos }
   1494  1.1.1.2  christos 
   1495  1.1.1.2  christos .PageDocRTL-title div.toc li.level2 {
   1496  1.1.1.2  christos   margin-left: 0 !important;
   1497  1.1.1.2  christos   margin-right: 15px;
   1498  1.1.1.2  christos }
   1499  1.1.1.2  christos 
   1500  1.1.1.2  christos .PageDocRTL-title div.toc li.level3 {
   1501  1.1.1.2  christos   margin-left: 0 !important;
   1502  1.1.1.2  christos   margin-right: 30px;
   1503  1.1.1.2  christos }
   1504  1.1.1.2  christos 
   1505  1.1.1.2  christos .PageDocRTL-title div.toc li.level4 {
   1506  1.1.1.2  christos   margin-left: 0 !important;
   1507  1.1.1.2  christos   margin-right: 45px;
   1508  1.1.1.2  christos }
   1509  1.1.1.2  christos 
   1510      1.1  christos .inherit_header {
   1511      1.1  christos         font-weight: bold;
   1512      1.1  christos         color: gray;
   1513      1.1  christos         cursor: pointer;
   1514      1.1  christos 	-webkit-touch-callout: none;
   1515      1.1  christos 	-webkit-user-select: none;
   1516      1.1  christos 	-khtml-user-select: none;
   1517      1.1  christos 	-moz-user-select: none;
   1518      1.1  christos 	-ms-user-select: none;
   1519      1.1  christos 	user-select: none;
   1520      1.1  christos }
   1521      1.1  christos 
   1522      1.1  christos .inherit_header td {
   1523      1.1  christos         padding: 6px 0px 2px 5px;
   1524      1.1  christos }
   1525      1.1  christos 
   1526      1.1  christos .inherit {
   1527      1.1  christos         display: none;
   1528      1.1  christos }
   1529      1.1  christos 
   1530      1.1  christos tr.heading h2 {
   1531      1.1  christos         margin-top: 12px;
   1532      1.1  christos         margin-bottom: 4px;
   1533      1.1  christos }
   1534      1.1  christos 
   1535      1.1  christos /* tooltip related style info */
   1536      1.1  christos 
   1537      1.1  christos .ttc {
   1538      1.1  christos         position: absolute;
   1539      1.1  christos         display: none;
   1540      1.1  christos }
   1541      1.1  christos 
   1542      1.1  christos #powerTip {
   1543      1.1  christos 	cursor: default;
   1544      1.1  christos 	white-space: nowrap;
   1545      1.1  christos 	background-color: white;
   1546      1.1  christos 	border: 1px solid gray;
   1547      1.1  christos 	border-radius: 4px 4px 4px 4px;
   1548      1.1  christos 	box-shadow: 1px 1px 7px gray;
   1549      1.1  christos 	display: none;
   1550      1.1  christos 	font-size: smaller;
   1551      1.1  christos 	max-width: 80%;
   1552      1.1  christos 	opacity: 0.9;
   1553      1.1  christos 	padding: 1ex 1em 1em;
   1554      1.1  christos 	position: absolute;
   1555      1.1  christos 	z-index: 2147483647;
   1556      1.1  christos }
   1557      1.1  christos 
   1558      1.1  christos #powerTip div.ttdoc {
   1559      1.1  christos         color: grey;
   1560      1.1  christos 	font-style: italic;
   1561      1.1  christos }
   1562      1.1  christos 
   1563      1.1  christos #powerTip div.ttname a {
   1564      1.1  christos         font-weight: bold;
   1565      1.1  christos }
   1566      1.1  christos 
   1567      1.1  christos #powerTip div.ttname {
   1568      1.1  christos         font-weight: bold;
   1569      1.1  christos }
   1570      1.1  christos 
   1571      1.1  christos #powerTip div.ttdeci {
   1572      1.1  christos         color: #006318;
   1573      1.1  christos }
   1574      1.1  christos 
   1575      1.1  christos #powerTip div {
   1576      1.1  christos         margin: 0px;
   1577      1.1  christos         padding: 0px;
   1578      1.1  christos         font: 12px/16px Roboto,sans-serif;
   1579      1.1  christos }
   1580      1.1  christos 
   1581      1.1  christos #powerTip:before, #powerTip:after {
   1582      1.1  christos 	content: "";
   1583      1.1  christos 	position: absolute;
   1584      1.1  christos 	margin: 0px;
   1585      1.1  christos }
   1586      1.1  christos 
   1587      1.1  christos #powerTip.n:after,  #powerTip.n:before,
   1588      1.1  christos #powerTip.s:after,  #powerTip.s:before,
   1589      1.1  christos #powerTip.w:after,  #powerTip.w:before,
   1590      1.1  christos #powerTip.e:after,  #powerTip.e:before,
   1591      1.1  christos #powerTip.ne:after, #powerTip.ne:before,
   1592      1.1  christos #powerTip.se:after, #powerTip.se:before,
   1593      1.1  christos #powerTip.nw:after, #powerTip.nw:before,
   1594      1.1  christos #powerTip.sw:after, #powerTip.sw:before {
   1595      1.1  christos 	border: solid transparent;
   1596      1.1  christos 	content: " ";
   1597      1.1  christos 	height: 0;
   1598      1.1  christos 	width: 0;
   1599      1.1  christos 	position: absolute;
   1600      1.1  christos }
   1601      1.1  christos 
   1602      1.1  christos #powerTip.n:after,  #powerTip.s:after,
   1603      1.1  christos #powerTip.w:after,  #powerTip.e:after,
   1604      1.1  christos #powerTip.nw:after, #powerTip.ne:after,
   1605      1.1  christos #powerTip.sw:after, #powerTip.se:after {
   1606      1.1  christos 	border-color: rgba(255, 255, 255, 0);
   1607      1.1  christos }
   1608      1.1  christos 
   1609      1.1  christos #powerTip.n:before,  #powerTip.s:before,
   1610      1.1  christos #powerTip.w:before,  #powerTip.e:before,
   1611      1.1  christos #powerTip.nw:before, #powerTip.ne:before,
   1612      1.1  christos #powerTip.sw:before, #powerTip.se:before {
   1613      1.1  christos 	border-color: rgba(128, 128, 128, 0);
   1614      1.1  christos }
   1615      1.1  christos 
   1616      1.1  christos #powerTip.n:after,  #powerTip.n:before,
   1617      1.1  christos #powerTip.ne:after, #powerTip.ne:before,
   1618      1.1  christos #powerTip.nw:after, #powerTip.nw:before {
   1619      1.1  christos 	top: 100%;
   1620      1.1  christos }
   1621      1.1  christos 
   1622      1.1  christos #powerTip.n:after, #powerTip.ne:after, #powerTip.nw:after {
   1623  1.1.1.2  christos 	border-top-color: #FFFFFF;
   1624      1.1  christos 	border-width: 10px;
   1625      1.1  christos 	margin: 0px -10px;
   1626      1.1  christos }
   1627      1.1  christos #powerTip.n:before {
   1628      1.1  christos 	border-top-color: #808080;
   1629      1.1  christos 	border-width: 11px;
   1630      1.1  christos 	margin: 0px -11px;
   1631      1.1  christos }
   1632      1.1  christos #powerTip.n:after, #powerTip.n:before {
   1633      1.1  christos 	left: 50%;
   1634      1.1  christos }
   1635      1.1  christos 
   1636      1.1  christos #powerTip.nw:after, #powerTip.nw:before {
   1637      1.1  christos 	right: 14px;
   1638      1.1  christos }
   1639      1.1  christos 
   1640      1.1  christos #powerTip.ne:after, #powerTip.ne:before {
   1641      1.1  christos 	left: 14px;
   1642      1.1  christos }
   1643      1.1  christos 
   1644      1.1  christos #powerTip.s:after,  #powerTip.s:before,
   1645      1.1  christos #powerTip.se:after, #powerTip.se:before,
   1646      1.1  christos #powerTip.sw:after, #powerTip.sw:before {
   1647      1.1  christos 	bottom: 100%;
   1648      1.1  christos }
   1649      1.1  christos 
   1650      1.1  christos #powerTip.s:after, #powerTip.se:after, #powerTip.sw:after {
   1651  1.1.1.2  christos 	border-bottom-color: #FFFFFF;
   1652      1.1  christos 	border-width: 10px;
   1653      1.1  christos 	margin: 0px -10px;
   1654      1.1  christos }
   1655      1.1  christos 
   1656      1.1  christos #powerTip.s:before, #powerTip.se:before, #powerTip.sw:before {
   1657      1.1  christos 	border-bottom-color: #808080;
   1658      1.1  christos 	border-width: 11px;
   1659      1.1  christos 	margin: 0px -11px;
   1660      1.1  christos }
   1661      1.1  christos 
   1662      1.1  christos #powerTip.s:after, #powerTip.s:before {
   1663      1.1  christos 	left: 50%;
   1664      1.1  christos }
   1665      1.1  christos 
   1666      1.1  christos #powerTip.sw:after, #powerTip.sw:before {
   1667      1.1  christos 	right: 14px;
   1668      1.1  christos }
   1669      1.1  christos 
   1670      1.1  christos #powerTip.se:after, #powerTip.se:before {
   1671      1.1  christos 	left: 14px;
   1672      1.1  christos }
   1673      1.1  christos 
   1674      1.1  christos #powerTip.e:after, #powerTip.e:before {
   1675      1.1  christos 	left: 100%;
   1676      1.1  christos }
   1677      1.1  christos #powerTip.e:after {
   1678  1.1.1.2  christos 	border-left-color: #FFFFFF;
   1679      1.1  christos 	border-width: 10px;
   1680      1.1  christos 	top: 50%;
   1681      1.1  christos 	margin-top: -10px;
   1682      1.1  christos }
   1683      1.1  christos #powerTip.e:before {
   1684      1.1  christos 	border-left-color: #808080;
   1685      1.1  christos 	border-width: 11px;
   1686      1.1  christos 	top: 50%;
   1687      1.1  christos 	margin-top: -11px;
   1688      1.1  christos }
   1689      1.1  christos 
   1690      1.1  christos #powerTip.w:after, #powerTip.w:before {
   1691      1.1  christos 	right: 100%;
   1692      1.1  christos }
   1693      1.1  christos #powerTip.w:after {
   1694  1.1.1.2  christos 	border-right-color: #FFFFFF;
   1695      1.1  christos 	border-width: 10px;
   1696      1.1  christos 	top: 50%;
   1697      1.1  christos 	margin-top: -10px;
   1698      1.1  christos }
   1699      1.1  christos #powerTip.w:before {
   1700      1.1  christos 	border-right-color: #808080;
   1701      1.1  christos 	border-width: 11px;
   1702      1.1  christos 	top: 50%;
   1703      1.1  christos 	margin-top: -11px;
   1704      1.1  christos }
   1705      1.1  christos 
   1706      1.1  christos @media print
   1707      1.1  christos {
   1708      1.1  christos   #top { display: none; }
   1709      1.1  christos   #side-nav { display: none; }
   1710      1.1  christos   #nav-path { display: none; }
   1711      1.1  christos   body { overflow:visible; }
   1712      1.1  christos   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
   1713      1.1  christos   .summary { display: none; }
   1714      1.1  christos   .memitem { page-break-inside: avoid; }
   1715      1.1  christos   #doc-content
   1716      1.1  christos   {
   1717      1.1  christos     margin-left:0 !important;
   1718      1.1  christos     height:auto !important;
   1719      1.1  christos     width:auto !important;
   1720      1.1  christos     overflow:inherit;
   1721      1.1  christos     display:inline;
   1722      1.1  christos   }
   1723      1.1  christos }
   1724      1.1  christos 
   1725      1.1  christos /* @group Markdown */
   1726      1.1  christos 
   1727      1.1  christos table.markdownTable {
   1728      1.1  christos 	border-collapse:collapse;
   1729      1.1  christos         margin-top: 4px;
   1730      1.1  christos         margin-bottom: 4px;
   1731      1.1  christos }
   1732      1.1  christos 
   1733      1.1  christos table.markdownTable td, table.markdownTable th {
   1734      1.1  christos 	border: 1px solid #2D4068;
   1735      1.1  christos 	padding: 3px 7px 2px;
   1736      1.1  christos }
   1737      1.1  christos 
   1738  1.1.1.2  christos table.markdownTable tr {
   1739      1.1  christos }
   1740      1.1  christos 
   1741  1.1.1.2  christos th.markdownTableHeadLeft, th.markdownTableHeadRight, th.markdownTableHeadCenter, th.markdownTableHeadNone {
   1742      1.1  christos 	background-color: #374F7F;
   1743      1.1  christos 	color: #FFFFFF;
   1744      1.1  christos 	font-size: 110%;
   1745      1.1  christos 	padding-bottom: 4px;
   1746      1.1  christos 	padding-top: 5px;
   1747      1.1  christos }
   1748      1.1  christos 
   1749  1.1.1.2  christos th.markdownTableHeadLeft, td.markdownTableBodyLeft {
   1750      1.1  christos 	text-align: left
   1751      1.1  christos }
   1752      1.1  christos 
   1753  1.1.1.2  christos th.markdownTableHeadRight, td.markdownTableBodyRight {
   1754      1.1  christos 	text-align: right
   1755      1.1  christos }
   1756      1.1  christos 
   1757  1.1.1.2  christos th.markdownTableHeadCenter, td.markdownTableBodyCenter {
   1758      1.1  christos 	text-align: center
   1759      1.1  christos }
   1760      1.1  christos 
   1761  1.1.1.2  christos .DocNodeRTL {
   1762  1.1.1.2  christos   text-align: right;
   1763  1.1.1.2  christos   direction: rtl;
   1764      1.1  christos }
   1765      1.1  christos 
   1766  1.1.1.2  christos .DocNodeLTR {
   1767  1.1.1.2  christos   text-align: left;
   1768  1.1.1.2  christos   direction: ltr;
   1769      1.1  christos }
   1770      1.1  christos 
   1771  1.1.1.2  christos table.DocNodeRTL {
   1772  1.1.1.2  christos    width: auto;
   1773  1.1.1.2  christos    margin-right: 0;
   1774  1.1.1.2  christos    margin-left: auto;
   1775      1.1  christos }
   1776      1.1  christos 
   1777  1.1.1.2  christos table.DocNodeLTR {
   1778  1.1.1.2  christos    width: auto;
   1779  1.1.1.2  christos    margin-right: auto;
   1780  1.1.1.2  christos    margin-left: 0;
   1781      1.1  christos }
   1782      1.1  christos 
   1783  1.1.1.2  christos tt, code, kbd, samp
   1784  1.1.1.2  christos {
   1785  1.1.1.2  christos   display: inline-block;
   1786  1.1.1.2  christos   direction:ltr;
   1787      1.1  christos }
   1788  1.1.1.2  christos /* @end */
   1789      1.1  christos 
   1790  1.1.1.2  christos u {
   1791  1.1.1.2  christos 	text-decoration: underline;
   1792      1.1  christos }
   1793      1.1  christos 
   1794