#logo {
  max-height: 32px;
  width: auto;
  padding-right: 0.5em;
}

.navbar-nav .nav-item {
  padding-left: 1.5em;
}

.float-right { 
    float: right;
    padding-left: 0.5em;
    padding-bottom: 0.5em;
}

.note { 
    font-size: small;
    border-top: 1px solid #ccc;
    padding-top: 0.5em;
    margin-top: 2em;
}

.shortcut { 
    color: var(--bs-code-color)
}

details { 
    margin: 1em 0;
    border: 1px solid #eaeaea;
    padding: 0.2em;
}

details summary { 
    padding: 0.2em;
}

details > p { 
    padding: 0.3em 0.2em 0.5em 0.2em;
}

.alert-question > h5::before {
  font-family: "bootstrap-icons";
  content: "\f505";            /* question-circle */
  font-weight: normal;
  font-style: normal;
  margin-right: .4em;
  vertical-align: -0.1em;
}

ul li { 
    margin-bottom: 0.4em;
}

dl.annotated > dd {
    padding-top: 0.8em; 
    margin-left: 1.5em;
}