.tabs, .tabs2, .tabs3 {
    background-image: url('https://waybackassets.bk21.net/20130216162159im_/http://www.stack.nl/~dimitri/doxygen/tab_b.png');
    width: 100%;
    z-index: 101;
    font-size: 13px;
    font-family: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
}

.tabs2 {
    font-size: 10px;
}
.tabs3 {
    font-size: 9px;
}

.tablist {
    margin: 0;
    padding: 0;
    display: table;
}

.tablist li {
    float: left;
    display: table-cell;
    background-image: url('https://waybackassets.bk21.net/20130216162159im_/http://www.stack.nl/~dimitri/doxygen/tab_b.png');
    line-height: 36px;
    list-style: none;
}

.tablist a {
    display: block;
    padding: 0 20px;
    font-weight: bold;
    background-image:url('https://waybackassets.bk21.net/20130216162159im_/http://www.stack.nl/~dimitri/doxygen/tab_s.png');
    background-repeat:no-repeat;
    background-position:right;
    color: #28355D;
    text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
    text-decoration: none;
    outline: none;
}

.tabs3 .tablist a {
    padding: 0 10px;
}

.tablist a:hover {
    background-image: url('https://waybackassets.bk21.net/20130216162159im_/http://www.stack.nl/~dimitri/doxygen/tab_h.png');
    background-repeat:repeat-x;
    color: #fff;
    text-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
    text-decoration: none;
}

.tablist li.current a {
    background-image: url('https://waybackassets.bk21.net/20130216162159im_/http://www.stack.nl/~dimitri/doxygen/tab_a.png');
    background-repeat:repeat-x;
    color: #fff;
    text-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
}

/*
     FILE ARCHIVED ON 16:21:59 Feb 16, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:41:43 Aug 28, 2025.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.483
  exclusion.robots: 0.026
  exclusion.robots.policy: 0.016
  esindex: 0.009
  cdx.remote: 44.341
  LoadShardBlock: 263.379 (3)
  PetaboxLoader3.datanode: 87.294 (4)
  PetaboxLoader3.resolve: 325.282 (2)
  load_resource: 179.499
*/