.toc {
    /* background-color: #8C9FB1; */
    padding: 0.5em;
    margin-bottom: 0.5em;
}

.toc:empty {
    display: none;
}

.toc > .toc-items > .nav-item > .nav-link {
    display: none;
}

.toc > .toc-items .nav-link {
    display: inline-block;
    color: #04316a;
    font-size: .875rem;
    /* font-weight: bold; */
}

.toc > .toc-items .nav-link:hover {
    text-decoration: underline;
}

.toc .nav-item + .nav-item::before {
    content: "|";
    padding: 0px 5px;
    color: #565656;
}

body::before {
    background-image: none;
}

body {
    background-color: #F5F5F5;
}

body div.navbar {
    border-bottom: 1px solid #989898;
}

body .navbar .container > button {
    border: none;
}

.navbar.bg-light {
  /* background-image: linear-gradient(#f9fafb,#f8f9fa 60%,#e9eaeb); */
  background-image: none;
  background-color: #041E42 !important;
}

.navbar {
    --bs-navbar-brand-color: white;
    --bs-navbar-brand-hover-color: white;
}
.navbar .nav-link {
    --bs-navbar-active-color: #FFF17E;
    --bs-nav-link-color: white;
    --bs-nav-link-hover-color: white;
}

.navbar .navbar-toggler-icon {
    --bs-navbar-toggler-icon-bg: url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 30 30'%3e%3cpath stroke='rgba%28250, 250, 250, 0.75%29' stroke-linecap='round' stroke-miterlimit='10' stroke-width='2' d='M4 7h22M4 15h22M4 23h22'/%3e%3c/svg%3e");
}

.itp pre {
    background-color: white;
    border: none;
    border-radius: 4px;
    padding: 1em;
}

.itp pre code {
    background: none;
    padding: 0em;
}

body .itp a {
    text-decoration: none;
    color: #4051B5;
}

body .itp a[href]:hover {
    text-decoration: underline;
}


.container table tr th + th ,
.container table tr td + td {
    padding-left: 1em;
}
.container table tr td {
    border-bottom: 1px solid #232323;
}
.container table tr th {
    border-top: 2px solid #232323;
    border-bottom: 2px solid #232323;
}


/* first option: no class-attribute: then this is a named anchor and we need to
 * highlight its next sibling.
 * second option: a class attribute: then this is a numbered
 * anchor with content:

       a:not([class]):target + a ,
       a:[class]:target + a {

 */
a:empty:target + a ,
a:target {
    background-color: #FFFFAA;
    border: 1px solid #C2C248;
    margin: -3px;
    padding: 2px;
}

.container pre:has(+ .lecture-end) {
    margin-bottom: 0px;
}

.container .lecture-end {
    text-align: right;
    border-top: 2px solid #5A5A5A;
    margin-top: 4px;
    margin-right: 2px;
    margin-bottom: 4px;
}
.container .lecture-end .text {
    text-align: right;
    margin: 0px;
    padding: 0px 4px;
    display: inline-block;
    background: #5A5A5A;
    border-radius: 0px 0px 4px 4px;
    color: #efefef;
}