@import "https://fonts.googleapis.com/css2?family=Noto+Sans:ital,wght@0,100..900;1,100..900&display=swap";
body {
  font: 20pt "Noto Sans", sans-serif;
  margin: 2em 3em;
  background-color: #fff;
}
body details summary, body table th, body h1,
body h2,
body h3,
body h4,
body h5,
body h6 {
  font-style: italic;
}
body a {
  text-decoration: none;
}
body a:hover {
  background-color: #eee;
  text-decoration: underline;
}
body table {
  width: 100%;
}
body table > * {
  text-align: center;
  padding: 0.5em;
}
body table,
body table th,
body table td {
  border-width: 0.125em;
  border-style: solid;
  border-collapse: collapse;
  border-color: #000;
}
body details summary {
  font-weight: bold;
}
body ul#root > li,
body ol#root > li {
  list-style: none;
}
body ul#root > li,
body ol#root > li {
  font-size: 1.5em;
}
body ul#root > li ul,
body ul#root > li ol,
body ol#root > li ul,
body ol#root > li ol {
  font-size: 0.6666666667em;
}