Annotation of embedaddon/confuse/doc/html/doxygen.css, revision 1.1.1.1

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

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>