.tabs, .tabs2, .tabs3 {
    background-image: url('https://waybackassets.bk21.net/20160313050100im_/http://doxygen.postgresql.org/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/20160313050100im_/http://doxygen.postgresql.org/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/20160313050100im_/http://doxygen.postgresql.org/tab_s.png');
    background-repeat:no-repeat;
    background-position:right;
    color: #283A5D;
    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/20160313050100im_/http://doxygen.postgresql.org/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/20160313050100im_/http://doxygen.postgresql.org/tab_a.png');
    background-repeat:repeat-x;
    color: #fff;
    text-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
}

/*
     FILE ARCHIVED ON 05:01:00 Mar 13, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:11:00 Dec 05, 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.727
  exclusion.robots: 0.043
  exclusion.robots.policy: 0.031
  esindex: 0.011
  cdx.remote: 6.242
  LoadShardBlock: 153.747 (3)
  PetaboxLoader3.datanode: 132.056 (4)
  PetaboxLoader3.resolve: 205.91 (3)
  load_resource: 271.209
*/