body {
    background: #1c1e21;
    color: white;
    overflow-x: hidden;
}

body,
html {
    scroll-behavior: smooth;
}

.footer {
    margin-left: 25%;
}

.footer-separator {
    max-width: inherit;
    margin-left: 25%;
}

.footer>.container {
    max-width: inherit;
}

.container-fluid {
    overflow-x: hidden;
}

.row {
    display: flex;
}

.header__element {
    opacity: 1 !important;
}

.menu-main-navigation-container,
.main-cta__background {
    display: none;
}

.mobile-container {
    max-width: inherit;
}

.header {
    padding: 16px;
}

.dark-header,
.header {
    background-color: #1c1e21;
}

#sidebar {
    position: fixed;
    top: 60px;
    /* Adjust this to your header height */
    left: 0;
    width: 25%;
    /* Adjust if needed */
    height: calc(100vh - 60px);
    /* Subtract header height from viewport height */
    overflow-y: auto;
    background-color: #1c1e21;
}

.sidebar-content {
    padding: 20px;
    height: 100%;
    overflow-y: visible;
}

#main-content {
    margin-left: 25%;
    width: 100%;
    padding: 96px 32px 32px 48px;
}

#main-content ul,
#main-content ol {
    padding-left: 16px;
}

#main-content ul li {
    list-style-type: disc;
}

/* Scrollbar styles for the sidebar */
#sidebar::-webkit-scrollbar {
    width: 6px;
}

#sidebar::-webkit-scrollbar-track {
    background: #1c1e21;
}

#sidebar::-webkit-scrollbar-thumb {
    background-color: #8b949e;
    border-radius: 3px;
}

/* For Firefox */
#sidebar {
    scrollbar-width: thin;
    scrollbar-color: #8b949e #1c1e21;
}

/* Styles for headings */
h1 {
    font-family: halbfet;
    font-size: 36px;
    line-height: 1.2;
    margin-bottom: 96px;
    display: flex;
    align-items: flex-start;
}

h1 .book-icon {
    margin-right: 10px;
    width: 35px;
    height: 35px;
    position: relative;
    top: 5px;
}

h2 {
    font-size: 32px;
    margin-bottom: 16px;
    font-family: halbfet;
    margin-top: 48px;
}

h3 {
    font-size: 26px;
    margin-bottom: 16px;
    font-family: halbfet;
    margin-top: 48px;
}

h4 {
    font-size: 20px;
    font-family: halbfet;
    margin-bottom: 16px;
    margin-top: 48px;
}

h5 {
    font-size: 16px;
    font-family: halbfet;
    margin-bottom: 16px;
    margin-top: 48px;
}

/* Styles for content elements */
p,
ul,
ol {
    line-height: 1.6;
    margin-bottom: 16px;
}

/* Styles for the table of contents */
.specification-index {
    list-style-type: none;
    padding-left: 0;
}

.specification-index ul {
    list-style-type: none;
    padding-left: 20px;
}

.specification-index li {
    margin-bottom: 16px;
}

.specification-index a {
    text-decoration: none;
    margin-bottom: 16px;
    color: #8b949e;
    display: block;
}

.specification-index a:hover {
    text-decoration: underline;
}

.specification-index a.main-title {
    color: white;
    font-weight: bold;
}
.specification-password-form {
    max-width: 400px;
    margin: 50px auto;
    padding: 20px;
    background-color: #1c1e21;
    border-radius: 5px;
}


.specification-password-form form {
    background-color: #1c1e21;
}

.specification-password-form h2 {
    margin-bottom: 20px;
}

.specification-password-form label {
    display: block;
    margin-bottom: 10px;
}

.specification-password-form input[type="password"] {
    width: 100%;
    padding: 10px;
    margin-bottom: 20px;
    border: 1px solid #ddd;
    border-radius: 4px;
}

.specification-password-form input[type="submit"] {
    background-color: #0073aa;
    color: white;
    padding: 10px 20px;
    border: none;
    border-radius: 4px;
    cursor: pointer;
}

.specification-password-form input[type="submit"]:hover {
    background-color: #005177;
}