@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+Display:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&family=Noto+Sans+Mono:wght@100;200;300;400;500;600;700;800;900&family=Noto+Sans:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&family=Noto+Serif+Display:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&family=Noto+Serif:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&display=swap");

* {
  box-sizing: border-box;
}

.font-serif-display {
  font-family: "Noto Serif Display", serif;
}

.font-sans-serif-display {
  font-family: "Noto Sans Display", sans-serif;
}

.font-serif {
  font-family: "Noto Serif", serif;
}

.font-sans-serif {
  font-family: "Noto Sans", sans-serif;
}

.font-mono {
  font-family: "Noto Sans Mono", monospace;
}

code {
  font-family: "Noto Sans Mono", monospace;
}

h1,
h2,
h3,
h4,
h5,
h6,
a {
  font-family: "Noto Serif", serif;
}

h1 {
  font-size: 160%;
}

h2 {
  font-size: 120%;
}

h3 {
  font-size: 80%;
}

p {
  font-family: "Noto Sans", sans-serif;
  line-height: 150%;
  font-size: small;
}

.flex {
  display: flex;
}

.flex-column {
  flex-direction: column;
}

.flex-row {
  flex-direction: row;
}

.flex-center {
  align-content: center;
  justify-content: center;
}

.text-center {
  text-align: center;
}
.text-normal-weight {
  font-weight: normal;
}

.marginless {
  margin: 0px;
}
.wide-line-height {
  line-height: 160%;
}

.default-divider {
  width: 100%;
  height: 2px;
  background-color: lightgray;
}