body {
}

h1 {
    text-align:center;
    padding:0px;
    margin:0px;
}

.manual-text {
    background-color: #f3f3ff;
    margin-left: 100px;
    padding: 6px;
    width:700px;
}

h3.section-heading {
    padding:3px;
    margin:3px;
    margin-left: 20px;
    font-size: 130%;
}
.subsection-heading {
    padding:3px;
    margin:3px;
    margin-left: 20px;
    font-size: 120%;
}

.code {
    font-family: monospace;
}
.function-name {
    font-weight: bold;
    font-family: monospace;
}
.function-argument {
    font-style: italic;
    font-family: monospace;
}
.emphasis {
    font-style: italic;
}
.literal {
    font-family: monospace;
}
.symbolic {
    font-weight: bold;
}
table.navigation td {
    padding: 5px;
    vertical-align: top;
}
.title {
    font-style: italic;
}
.variable {
    font-family: monospace;
}
.config {
    font-family: monospace;
}
.page-info {
    font-size: 90%;
}
.navigation {
    padding:0px
		margin:0px;
}
.navigation td {
    vertical-align: top;
}
.navigation * {
    padding: 0px;
}
.jump {
    padding:0px;
    margin:0px;
}

.columns td {
    padding-left:5px;
    padding-right:5px;
}
.bigred {
    font-size: 300%;
    font-weight: bold;
    color: #999999;
    font-family: serif;
    padding: 10px;
}

.attribution {
    text-align:right;
    font-style:italic;
}
.quote {
    margin-left:30px;
    margin-right:30px;
}
.startquote {
    vertical-align: top;
}
.endquote {
    vertical-align: bottom;
}
#quote-section
{
    margin-left: 200px;
    padding: 6px;
    width:600px;
    font-size: 120%;
}
.error {
    text-align:center;
    border:solid 1px;
    background-color: #f3f3ff;
    font-size: 120%;
    padding: 10px;
}
div.link-unit {
    text-align:center;
    margin: 5px;
}
.google-contents {
    padding-left: 30px;
}
.debug {
    background:#0F0;
}
.section {
    list-style-type: none;
    padding: 0px;
}
.subsection {
}
span.welcome {
    text-align: center;
    font-size: 200%;
    background: pink;
}

@media screen and (max-width: 800px) {
    .manual-text {
	width: unset;
	margin-left: unset;
    }
    #quote-section {
	margin-left: unset;
	padding: unset;
	width: unset;
	font-size: 120%;
    }
}

/*
     FILE ARCHIVED ON 23:33:53 Jan 01, 2021 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 07:41:13 Jul 04, 2022.
     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: 1144.435
  exclusion.robots: 0.207
  exclusion.robots.policy: 0.199
  cdx.remote: 0.066
  esindex: 0.009
  LoadShardBlock: 88.307 (3)
  PetaboxLoader3.datanode: 183.383 (5)
  CDXLines.iter: 20.087 (3)
  load_resource: 344.134 (2)
  PetaboxLoader3.resolve: 141.235 (2)
*/