/* This is the default width for this theme. We only have this file as we need to set a default css file for the theme variations. */
#container { 
	width: 780px;
}
/*
     FILE ARCHIVED ON 01:52:37 Nov 12, 2012 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 18:00:56 Dec 16, 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):
  CDXLines.iter: 23.208 (3)
  exclusion.robots.policy: 0.237
  RedisCDXSource: 145.926
  PetaboxLoader3.resolve: 260.483
  LoadShardBlock: 387.421 (3)
  exclusion.robots: 0.256
  esindex: 0.016
  PetaboxLoader3.datanode: 367.697 (4)
  captures_list: 562.082
  load_resource: 414.583
*/