/* CSS-Definitionsdatei, die Site-übergreifende Stylesheets enthält */
/*
     FILE ARCHIVED ON 02:17:03 Aug 03, 2015 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 16:42:23 Nov 20, 2020.
     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: 6089.194
  RedisCDXSource: 16.659
  LoadShardBlock: 6047.969 (3)
  exclusion.robots.policy: 0.158
  CDXLines.iter: 20.566 (3)
  load_resource: 1301.199
  esindex: 0.011
  PetaboxLoader3.datanode: 4955.224 (4)
  PetaboxLoader3.resolve: 1150.511 (4)
  exclusion.robots: 0.171
*/