/**
 * CSS rules for the general GeSHi filter containers.
 * The language specific rules are generated automatically and written to a
 * CSS file in the files directory.
 */


/* Inline source code. */
span.geshifilter {
  display: inline;
  padding: 0;
  margin: 0;
  border: none;
}

/* Source code block. */
div.geshifilter {
  display: block;
  padding: 0.5em;
  margin: 0.5em;
  border: 1px solid #ccc;
  background-color: #f8f8f8;
  color: #222;
  line-height: 1.3;
  overflow: auto;
}

/* CSS reset for the 'pre' elements in the geshifilter code blocks. */
div.geshifilter pre {
  margin: 0;
  padding: 0;
  line-height: 1.3;
}

/* CSS resets for 'ol'-based line numbering. */
div.geshifilter ol {
  margin: 0;
  /* Left padding is for keeping space for the line numbers. */
  padding: 0 0 0 4em;
  list-style-position: outside;
  list-style-type: decimal;
  line-height: 1.3;
}

div.geshifilter li {
  margin: 0;
  padding: 0;
  line-height: 1.3;
}

/* CSS resets for the table elements in GESHI_HEADER_PRE_TABLE mode. */
div.geshifilter table, div.geshifilter tbody, div.geshifilter tr, div.geshifilter td {
  margin: 0;
  padding: 0;
  border-style: none;
}

div.geshifilter-title {
  padding: 0.5ex 0.5em;
  margin: 0.5em 0.5em -0.5em 0.5em;
  background-color: #ccc;
}

/*
     FILE ARCHIVED ON 17:44:42 Jul 17, 2017 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 15:50:33 Feb 15, 2021.
     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):
  esindex: 0.015
  RedisCDXSource: 1.692
  exclusion.robots.policy: 0.205
  captures_list: 115.341
  exclusion.robots: 0.214
  LoadShardBlock: 93.655 (3)
  load_resource: 63.477 (2)
  PetaboxLoader3.datanode: 124.973 (5)
  CDXLines.iter: 16.667 (3)
*/