body {
  box-sizing: border-box;
  font-family: 'Noto Sans', sans-serif;
  color: #444444;
  text-align: justify;
}

.badge {
  font-size: 0.7rem;
  color: #ffffff;
  border-radius: 5px;
  background-color: #0000ff;
  padding: 0.4rem 0.8rem;
}

.ad {
  background-color: #0000ff;
  color: #ffffff;
  text-align: center;
}

.header {
  text-align: center;
}

.title {
  text-align: center;
  margin: 20px auto;
}

.subtitle {
  text-align: center;
  width: 60%;
  margin: 20px auto;
  font-size: 0.9rem;
}

.toc {
  text-align: left;
  font-size: 0.8rem;
  border-radius: 5px;
  border: solid 1px #0000ff;
}

.content {
  display: grid;
  grid-template-columns: 1fr 2fr;
  grid-template-rows: 1fr;
  grid-column-gap: 5px;
  grid-row-gap: 0px;
}

.example {
  border: solid 1px #cccccc;
  font-size: 0.9rem;
  padding: 5px;
  background-color: #efefef;
}

.footer {
  margin-top: 20px;
  margin-bottom: 20px;
  text-align: center;
  font-size: 0.9rem;
}