div.subtitle { font-size: 65%; }

div.note { margin: 0.7em 0; border: double; padding: 0 1.5em; font-size: 80% }
div.note p { text-indent: 0; }
div.note div.author { font-weight: normal; margin: 0.7em 0 }
div.note div.date { text-align: right; margin: 0.7em 0 }

span.note { font-style: italic; font-weight: normal }

span.title { text-decoration: underline }

blockquote, span.quote { font-style: italic }
blockquote em, span.quote em { text-decoration: underline }
blockquote span.note, span.quote span.note { font-style: normal; font-weight: normal }

blockquote blockquote { font-style: normal; font-size: 80% }
blockquote blockquote em { text-decoration: none }

span.source { font-size: 80% }

div.author { text-align: right; font-style: italic; font-weight: bold }
span.author { text-transform: uppercase }

div.translator {  margin: 0.7em 0; text-align: right; font-size: 80%; font-style: italic }
div.translator div.author { display: inline }

div.date { font-style: italic }

div.epigraph { margin-left: 50%; font-style: italic; font-size: 80% }
div.epigraph div.author {text-decoration: underline; font-weight: normal }

div.outstand { margin: 0.7em 0; border: solid; padding: 0 1.5em; font-size: 110% }
div.outstand p { text-indent: 0 }

div.address { margin: 1em 2em; font-style: italic }

div.slogan { margin: 1em 0; font-size: 150%; text-transform: uppercase; text-align: center }

div.index { border: double; padding: 0 1.5em; font-size: 110%; text-align: center; margin-bottom: 1em }
div.index p { text-indent: 0 }
div.index span.title { font-weight: bold; text-decoration: none }

div.annotation { margin-top: 20px }
div.annotation h1 { clear: both }

div.title { font-weight: bold }
div.title div.author {display: inline }

div.refer {margin-bottom: 1em; padding: 0.5em 1.5em; border: solid thin; background-color: silver; }
div.print a:link, div.print a:visited, div.print a:hover, div.print a:active { color: black }

div.endnote { margin: 0.7em 0; font-style: italic; font-size: 110% }

div.footnote { margin: 0.7em 0; border-top: solid; border-width: thin; font-size: 90% }
div.footnote p { text-indent: 0; }
div.footnote div.header { margin: 0.7em 0; font-style: italic; text-decoration: underline }

a.fn-marker { vertical-align: top; font-size: 65%; font-weight: bold; font-style: normal }

div.insert { width: 52%; padding: .5em; font-size: 75%; border: solid thin; background: #FFB }
div.insert p { text-indent: 0 }
div.insert blockquote { margin-left: 0; margin-right: 0 }
div.insert h1 { font-size: 150%; font-weight: bold }

div.events { width: auto; margin: 10px 50px; border: double }

/*
     FILE ARCHIVED ON 09:03:23 Apr 20, 2023 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 06:39:22 Jan 18, 2024.
     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: 257.383
  exclusion.robots: 0.073
  exclusion.robots.policy: 0.064
  cdx.remote: 0.058
  esindex: 0.009
  LoadShardBlock: 150.155 (3)
  PetaboxLoader3.datanode: 121.595 (4)
  load_resource: 75.304
  PetaboxLoader3.resolve: 33.941
*/