body {
  padding-top: 0 !important;
}

.toolbar {
  top: 0 !important;
}
.nav-container {
  top: 0 !important;
}
@media screen and (min-width: 1024px) {
  .nav {
    top: 0 !important;
    height: 100vh !important;
  }
}

.doc pre {
   font-size: .8rem !important;
}

.shiki {
    margin-left: -0.875em !important;
}

/*
.doc {
    max-width: none;
}

@media screen and (min-width: 1024px) {
    .doc {
        max-width: none;
    }

    .paragraph {
        max-width: 40rem;
    }
}*/