* { box-sizing: border-box; }

body {
  margin: 1em auto;
  padding: 0 1em;
  line-height: 1.5;
}

body.prose { max-width: 55em; }

img { max-width: 100%; height: auto; }

table { line-height: 1.2; }
td, th { font-size: 1.1em; }

/* site title — replaces <font face="Arial Black..." size=5 color=navy> */
h1 {
  font-family: "Arial Black", Arial, Helvetica, sans-serif;
  font-size: x-large;
  color: navy;
  margin: 0 0 0.5em 0;
  font-weight: normal;   /* h1 is bold by default; the <font> tag wasn't */
}

h2 { font-size: large; margin: 1.2em 0 0.4em 0; }
td h2 { font-size: x-large; margin: 0; }

h3 { font-size: medium; margin: 1em 0 0.3em 0; }

.center { text-align: center; }

.toc { margin: 1.5em auto; }

.breadcrumb { font-size: x-small; }

.note {
  font-size: x-small;
}

summary {
  font-size: 1.17em;
  font-weight: bold;
}

.page {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 1em;
  align-items: start;
}

.aps {
  text-align: center;
}

.tablewrap { overflow-x: auto; }
.tablewrap table { width: max-content; margin: 0 auto; }