@import url(bootstrap-icons.min.css);
@import url(theme.min.css);
@import url(monokai.css);
/********************** global styles (light mode) ************************/
html { /* Offset when linking to anchors with a sticky nav bar */ scroll-padding-top: 64px; }

h1, h2, h3, h4, h5, h6 { margin-top: 0.3em; }

code, span.filename, var, pre { color: #a06060; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 0.9em; font-style: normal; padding: 0.25em; }

nav.navbar { background-color: rgba(var(--bs-tertiary-bg-rgb), 0.97) !important; }
nav.navbar .container-fluid { padding-top: 0; }
nav.navbar .container-fluid .navbar-brand img { margin-right: 0.3em; }
nav.navbar .container-fluid .nav-link.active { background-color: var(--bs-gray-200); font-weight: bold; }

.breadcrumb { background-color: var(--bs-gray-200); margin-left: -20px; margin-right: -20px; padding: 1em; }

figcaption { font-size: 0.9em; font-style: italic; text-align: center; }

footer { background-color: var(--bs-gray-100); display: flex; flex-direction: column; align-items: center; height: 10em; justify-content: center; }

/********************** global styles (dark mode) *************************/
[data-bs-theme=dark] .navbar-brand { filter: none !important; }

/**************************** landing page ********************************/
body#landing { background-image: url(/images/landing_background.svg); background-position: center; background-size: 110%; }
body#landing figure { margin: 1em auto; }
body#landing #thumbnail-gallery { height: 675px; /* should be a multiple of (image height + margin-bottom) */ overflow-y: hidden; }
body#landing #thumbnail-gallery .track img { height: 220px; margin-right: 2px; margin-bottom: 5px; }
body#landing #thumbnail-gallery .position-absolute { background-color: white; height: 350px; top: 0; bottom: 0; margin: auto 0; }
body#landing #thumbnail-gallery .position-absolute p { line-height: var(--bs-body-line-height); }
body#landing section#features { background-color: white; }

[data-bs-theme=dark] body#landing #thumbnail-gallery .position-absolute { background-color: black; }
[data-bs-theme=dark] body#landing section#features { background-color: black; color: var(--bs-gray-400); }

/***************************** user manual ******************************/
#toc h2 { margin-top: 0; }
#toc ul { margin-left: 1.2em; padding-left: 0em; }

td.bg-danger, td.bg-success { color: white; }

code.language-xml, code.language-sh { color: white; }