@import url("global.css");

#back {
  display: block;
  width: 90%;
  margin: 10px auto;
  text-align: left;
  color: inherit;
}

#document {
  display: flex;
  flex-direction: column;
  width: 90%;
  margin: auto;
  padding: 1rem;
  border-top: 3px solid var(--site-fg);
  border-bottom: 3px solid var(--site-fg);
  font-size: 0.9rem;
}

#document-header {
  text-align: center;
}

#document h2 {
  font-size: 1.2rem;
  margin-bottom: 1rem;
  margin-top: 1rem;
}

#document-summary > h2 {
  margin-top: 0;
}

#document-summary > ul {
  list-style: none;
}

#document a {
  text-decoration: underline;
  color: var(--site-fg);
}

#document-content p {
  text-align: justify;
  margin-top: 5px;
  margin-bottom: 5px;
}

#document footer {
  height: 10%;
  text-align: center;
}

#download-links {
  list-style: none;
}