body {
	font-family: Nimbus Sans L, sans-serif;
	font-size: 9.5pt;
	margin-top: 2pt;
	margin-bottom: 2pt;
	color: #000000;
	background-color: #FFFFFF;
}
pre {
 	/* Reverted this change.  <pre> sticking outside the viewport looks ugly,
	   but at least it gives the user the option to scroll or zoom out while
	   keeping the text big by default, so it's more functional than either
	   (1) scrolling the <pre> by itself without the option to zoom out or
	   (2) not setting the viewport at all.  Google will ding me, but I don't
	   care.  If I could make the <pre> zoomable by itself, that might be
	   best, and it sounds like there are JavaScript libraries that might be
	   able to do that, but I don't want to adopt them now. :/ ~ 2020-09-06 */
	/* Make the Google Mobile Usability checker happy.  I think I'll buy that
	   scrolling the element is a lesser evil than scrolling the whole page.

	   Google's checker seems to understand "overflow-x" but not
	   "overflow-inline".  I think it's harmless to just write "overflow"
	   since I don't seem to be getting vertical scrollbars anyway.
	   ~ 2020-09-05 */
	/* overflow: auto; */
}
pre, tt, code {
	font-family: Bitstream Vera Sans Mono, monospace;
	/* Changed from 10pt 2020-09-16; see how that does */
	font-size: 9.5pt;
}
/* <hr>s seem to be asymmetrical with more space on the bottom; compensate */
/* Adjusted by experiment on my machine, 2020-08-31; I don't know if it looks good for everyone else. :/ */
.hr-top {
	margin-top: 4pt;
	margin-bottom: 12pt;
}
.hr-bottom {
	margin-top: 6pt;
	margin-bottom: 3pt;
}
.meta-line {
	/* font-size: 10pt; */
	text-align: center;
	/* I might like to space things out a bit more, but this doesn't seem to do what I want.
	   Leave it for now. ~ 2020-08-31 */
	/*
	margin-top: 1pt;
	margin-bottom: 1pt;
	*/
	/* background-color: #FFFFFF; */
}
p {
	margin-top: 6pt;
	margin-bottom: 6pt;
}
h1 {
	font-size: 20pt;
	font-weight: bold;
	text-align: left;
	margin-top: 6pt;
	margin-bottom: 6pt;
}
h2 {
	font-size: 16pt;
	font-weight: bold;
}
h2, .h2div {
	margin-top: 8pt;
	margin-bottom: 6pt;
}
/* Override the 12pt tt size for headings */
h1 tt {
	font-size: 18pt;
}
h2 tt {
	font-size: 15pt;
}
.normal-within-header {
	font-weight: normal;
	font-size: 10pt;
}
.top-link {
	margin-left: 10pt;
	/* Remind me why I specified a background color in several rulesets?  It's interfering with
	   highlighting Espalier on the home page. ~ 2020-08-31 */
	/* background-color: #FFFFFF; */
	/* float: right; */
}
h3 {
	font-size: 14pt;
	font-weight: normal;
	font-style: oblique;
	margin-top: 8pt;
	margin-bottom: 0pt;
}
ul {
	margin-top: 6pt;
	margin-bottom: 6pt;
}
li {
	margin-top: 3pt;
	margin-bottom: 3pt;
}
a[href]                                   { color: #008000; }
a[href]:hover, a[href]:active             { color: #00A000; }
.meta                                     { color: #808080; }
.meta a[href]                             { color: #209020; }
.meta a[href]:hover, .meta a[href]:active { color: #20AC20; }
.a-lite {
	text-decoration: none;
}
td {
	padding: 2pt;
}
.display {
	margin-left: 32pt;
	margin-top: 2pt;
	margin-bottom: 2pt;
}
.note {
	text-align: center;
	font-size: 10pt;
}
/* Download tables */
.num-cell {
	text-align: right
}
/* meta, logicdes; typically contains an image */
.right-frame {
	float: right;
	border: medium ridge;
	margin: .3em;
	padding: .3em;
	text-align: center;
}
/* For /motorcycle */
.photo-frame {
	display: inline-block;
	/* Not too wide please if the text is long. */
	max-width: 350px;
	border: medium ridge;
	margin: .3em;
	padding: .3em;
	text-align: center;
}
.photo-caption {
	font-size: smaller;
	font-style: italic;
}
.status-line {
	font-weight: bold;
}
.home-h1-email {
	font-weight: normal;
	font-size: 14pt;
}
.home-photo-smaller {
	display: none;
}
/* This is based on testing in my browser.
   I don't know if it will work in everyone else's.  Hopefully it's OK. */
@media (max-width: 400px) {
	.home-photo-larger {
		display: none;
	}
	.home-photo-smaller {
		/* Would use "revert" if it were widely supported.
		   "initial" should be OK. */
		display: initial;
	}
}
@media (max-width: 450px) {
	/* Make sure this doesn't get pushed below the photo. */
	.home-h1-email {
		font-size: 12pt;
	}
}