body {
    background-color: #efefef;
}
a {
    text-decoration: none;
}
.nav-current::before {
    content: "❯ ";
}
.nav-current,
li.nav-item.dropdown:has(.nav-current) {
    font-weight: bold;
}
.highlight-color {
    color: #fcce8c;
}
.document-list {
    list-style-type: circle;
    font-size: 1.5em;
    line-height: 1.5;
    padding: 16px;
}

.document-list-item {
    margin-bottom: 8px; /* Add some space between list items */
}

.document-list-item a {
    text-decoration: none;
}
.external-link::after {
    font-family: "Bootstrap-icons";
    content: "\F1C5";
    font-size: 0.75em;
    margin-left: 4px;
}