h1 { text-align: center }
h1 strong { text-transform: uppercase }

h5 { font-size: 100%; font-style: italic }

p { margin: 0.7em 0; text-align: justify; text-indent: 2em }
li { text-align: justify }

ol.self-marked, ul.self-marked { margin-left: 2.5em; padding-left: 0 }
ol.self-marked li, ul.self-marked li { text-indent: -1em; list-style-type: none }

div.left, img.left { float: left; margin: 0 10px 5px 0 }
div.right, img.right { float: right; margin: 0 0 5px 10px }
div.center, img.center { margin: 5px 0; text-align: center }
img.center { display: block }
div.image div.caption { font-size: 80%; font-style: italic; margin: 0.5em 0 0 0; text-align: center }

table.left, tr.left, th.left, td.left { text-align: left }
table.right, tr.right, th.right, td.right { text-align: right }
table.center, tr.center, th.center, td.center { text-align: center }
table { margin: 5px 0 }
table.small-1 { font-size: 90% }
table.small-2 { font-size: 80% }
table.small-3 { font-size: 70% }
th, td { padding: 0 5px }

a img { border: none }

a { text-decoration: none }
a:link, a:visited { color: blue }
a:hover { color: green }
a:active { color: red }

dt { margin: 0.5em 0; font-size: 120%; font-style: italic; text-decoration: underline }

.math { font-family: monospace }
p.math { text-indent: 0; text-align: left }

div.column { float: left; margin: 0.7em 0.5em }
div.clear { clear: both }

div.delimiter { text-align: center }

div.pre_counter { position: absolute; left: 0; top: 0 }
div.post_counter { clear: both; text-align: right; padding: 5px 0 0 0 }

/*
     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: 274.546
  exclusion.robots: 0.121
  exclusion.robots.policy: 0.109
  cdx.remote: 0.083
  esindex: 0.012
  LoadShardBlock: 125.119 (3)
  PetaboxLoader3.datanode: 258.98 (5)
  load_resource: 289.479 (2)
  PetaboxLoader3.resolve: 94.812 (2)
*/