/* Hadamard matrices of order 1 to 10000: one stylesheet for every page. */
body { margin: 0; background: #fff; color: #000; font-family: "Times New Roman", Times, "FreeSerif", serif; font-size: 18px; line-height: 1.4; }
.wrap { max-width: 980px; margin: 0 auto; padding: 8px 20px 30px; }
h1 { font-size: 32px; font-weight: bold; margin: 18px 0 12px; }
h2 { font-size: 22px; margin: 26px 0 8px; }
a { color: #0000ee; }
a:visited { color: #551a8b; }
p { max-width: 46em; }
code { font-family: "Courier New", Courier, "FreeMono", monospace; font-size: 16px; }
table { border-collapse: collapse; margin: 10px 0 18px; }
th, td { border: 1px solid #808080; padding: 3px 9px; }
th { background: #eeeeee; font-weight: bold; }
.n { text-align: right; font-variant-numeric: tabular-nums; }
.c { text-align: center; }
td.n:first-child { white-space: nowrap; }
tr.sub td { background: #f4f4f4; font-weight: bold; text-align: left; }
td.none { color: #666; font-style: italic; }
.small { font-size: 15px; color: #333; }
.jump { margin: 6px 0; }
form { margin: 6px 0 4px; }
input { font: inherit; width: 6em; }
button { font: inherit; }
#msg { margin: 4px 0 0; min-height: 1.4em; }
.short { display: none; }
td.x code { white-space: nowrap; }
td.list { max-width: 40em; }

@media (max-width: 600px) {
  body { font-size: 16px; }
  .wrap { padding: 6px 10px 24px; }
  h1 { font-size: 26px; }
  table { width: 100%; font-size: 15px; }
  th, td { padding: 4px 4px; }
  td code { font-size: 13.5px; overflow-wrap: anywhere; }
  td.x code { white-space: normal; }
  .long { display: none; }
  .short { display: inline; }
  form .small { display: block; margin-top: 4px; }

  /* The notation table stacks on phones: the name above its meaning. */
  table.nt, table.nt tbody, table.nt tr, table.nt td { display: block; width: auto; }
  table.nt tr:first-child { display: none; }
  table.nt { border: 1px solid #808080; }
  table.nt td { border: 0; padding: 0 8px; }
  table.nt tr { border-top: 1px solid #b0b0b0; padding: 7px 0 8px; }
  table.nt tr.sub { background: #eeeeee; padding: 6px 0; }
  table.nt tr.sub td { background: transparent; }
  table.nt td.x { padding-bottom: 2px; }
  table.nt td.x code { font-size: 16px; font-weight: bold; white-space: nowrap; }
}

/* The narrowest phones (360 px and below). */
@media (max-width: 380px) {
  table { font-size: 14px; }
  th, td { padding: 4px 3px; }
}
@media (max-width: 340px) {
  table { font-size: 13px; }
  th, td { padding: 3px 2px; }
}