.rvbutton {
    background-color:#C2C2C2;
    border:1px solid #FFFFFF;
    display:inline-block;
    color:#303030;
    font-size:100%;
    font-family:inherit;
    text-decoration:none;
}
.rvbutton:hover {
    background-color:#C2C2C2;
}
.rvbutton:active {
    position:relative;
    top:1px;
}



/*
     FILE ARCHIVED ON 07:10:11 Oct 02, 2023 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 08:20:05 Jun 30, 2026.
     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.564
  exclusion.robots: 0.081
  exclusion.robots.policy: 0.071
  esindex: 0.01
  cdx.remote: 6.449
  LoadShardBlock: 135.641 (3)
  PetaboxLoader3.datanode: 103.273 (4)
  PetaboxLoader3.resolve: 107.608 (2)
  load_resource: 120.538
*/