a.download-link {
   width: 300px;
   padding: 5px;
   border: inset;
   display: block;
   border-radius: 10px;
   background-size: 60px;
   background-repeat: no-repeat;
   background-position: calc(100% - 5px) calc(0% + 5px);
   padding-right: 60px;
   min-height: 70px;
   color: black;
   font-size: 110%;
   text-decoration: none;
}
a.download-link#windows {
    background-color: lightsteelblue;
    float: right;
}
a.download-link#windows:hover {
    background-color: lightblue;
    text-decoration: none;
}
a.download-link#macos {
    background-color: darkgrey;
    float: left;
}
a.download-link#macos:hover {
    background-color: #b9b9b9;
    text-decoration: none;
}


/*
     FILE ARCHIVED ON 17:47:07 Sep 15, 2020 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 13:21:02 Mar 04, 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.742
  exclusion.robots: 0.078
  exclusion.robots.policy: 0.061
  esindex: 0.011
  cdx.remote: 39.718
  LoadShardBlock: 258.856 (3)
  PetaboxLoader3.resolve: 519.017 (5)
  PetaboxLoader3.datanode: 264.849 (5)
  load_resource: 649.794 (2)
*/