/*Overriding any bigger setting of PicoCSS, setting the overall max witdh for all big devices*/
@media (min-width: 768px) {
  .container {
    max-width: 700px;
  }
}
nav {
  display: inherit;
}
header.small {
  padding-block-end: 0px;
}

article {
  margin: 0px;
  padding: 0px;
  background: var(--pico-background-color);
  border: 0px;
  border-radius: 0px;
  box-shadow: none;
}
article > header {
  margin: 0px;
  margin-bottom: var(--pico-block-spacing-vertical);
  padding: 0px;
  background-color: var(--pico-background-color);
  border-bottom: none;
}
article > header > h1 {
  margin-bottom: 0px;
}

a.normal, a.normal:hover {
  color: inherit;
  text-decoration: none;
}

small {
  color: var(--pico-muted-color);
}

.t-center {
  text-align: center;
}

ol.dashed {
  list-style-type: "- ";
}
ol.dashed > li::marker {
  font-size: larger;
}

.no-padding {
  padding: 0px;
}
ol.no-padding {
  list-style-position: inside;
}