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