body {
    display: flex;
    flex-direction: column;
    align-items: flex-start;
    padding: 0;
    margin: 0;
    width: 100%;
    background: #f4f4f9;
    font-family: 'Arial', sans-serif;
    color: #333;
}

.main-header {
    display: flex;
    flex-direction: column;
    justify-content: center;
    align-items: center;
    padding: 20px;
    width: 100%;
    background: rgba(0, 21, 43, 0.9);
    color: #fff;
}

.header-logo {
    width: 200px;
    height: 50px;
    background: #FFDE3B;
    display: flex;
    justify-content: center;
    align-items: center;
    font-size: 24px;
    font-weight: bold;
    border-radius: 5px;
}

.header-nav ul {
    display: flex;
    flex-direction: row;
    align-items: center;
    padding: 10px;
    gap: 20px;
    list-style: none;
    margin: 0;
}

.header-nav ul li a {
    text-decoration: none;
    color: #FFDE3B;
    font-weight: bold;
    transition: color 0.3s ease;
}

.header-nav ul li a:hover {
    color: #fff;
}

.main {
    display: flex;
    flex-direction: row;
    width: 100%;
    padding: 20px;
}

a{
    text-decoration: none;
    color: black;
    font-weight: bold;
}
.nav-side {
    width: 200px;
    background: #003366;
    padding: 20px;
    border-radius: 5px;
    color: #fff;
}

.nav-side nav ul {
    list-style: none;
    padding: 0;
}

.nav-side nav ul li {
    margin: 10px 0;
}

.nav-side nav ul li a {
    text-decoration: none;
    color: #FFDE3B;
    font-weight: bold;
    transition: color 0.3s ease;
}

.nav-side nav ul li a:hover {
    color: #fff;
}

.main-section {
    flex: 1;
    background: #fff;
    padding: 20px;
    margin-left: 20px;
    border-radius: 5px;
    box-shadow: 0 0 10px rgba(0, 0, 0, 0.1);
}

.main-section h2 {
    color: #003366;
    margin-bottom: 10px;
}

.main-section p {
    line-height: 1.6;
}


.main-section h1 {
    color: #333;
}

.content {
    background-color: #fff;
    padding: 20px;
    border-radius: 5px;
    box-shadow: 0 0 10px rgba(0, 0, 0, 0.1);
}

.disclaimer {
    background-color: #ffdddd;
    border-left: 6px solid #f00;
    padding: 15px;
    margin: 20px 0;
    font-size: 1.1em;
    color: #333;
}

.example {
    background-color: #eef;
    border-left: 4px solid #88f;
    padding: 10px;
    margin: 10px 0;
}

.read-more {
    background-color: #b5fcac;
    border-left: 6px solid rgb(0, 113, 0);
    padding: 15px;
    margin: 20px 0;
    font-size: 1.1em;
    color: #333;
}


.read-more a {
    color: #3c763d;
    /* Dark green text for links */
    text-decoration: underline;
    /* Underlined links */
}

.read-more a:hover {
    color: #2b542c;
    /* Darker green on hover */
    text-decoration: none;
    /* No underline on hover */
}

.img {
    max-width: 100%;
    /* Ensure the image does not exceed its container width */
    height: auto;
    /* Maintain aspect ratio */
    display: block;
    /* Remove any inline spacing */
    margin: 10px 0;
    /* Margin for spacing around the image */
    border: 1px solid #ccc;
    /* Light border for separation */
    border-radius: 5px;
    /* Rounded corners */
    box-shadow: 0 0 5px rgba(0, 0, 0, 0.1);
    /* Subtle shadow for depth */
}

.theorem {
    background-color: #fff;
    border-left: 5px solid #007acc;
    padding: 15px;
    margin-bottom: 20px;
    border-radius: 5px;
}

pre {
    background-color: #eee;
    padding: 10px;
    border-radius: 5px;
    overflow-x: auto;
}

.source-box {
    background-color: #f9f9f9;
    border: 1px solid #ddd;
    border-radius: 5px;
    padding: 10px;
    margin-top: 10px;
    margin-bottom: 10px;
}

.source-box h3 {
    font-size: 1.2em;
    color: #333;
    margin-bottom: 10px;
}

.source-box ul {
    list-style-type: none;
    padding: 0;
}

.source-box ul li {
    margin-bottom: 10px;
}

.source-box ul li a, .source-box a{
    color: #007acc;
    text-decoration: none;
}

.source-box ul li a:hover, .source-box a:hover {
    text-decoration: underline;
}

/* language switcher */

.language-switcher {
    position: absolute;
    top: 20px;
    right: 20px;
    display: flex;
    align-items: center;
    gap: 8px;
}

.lang-btn {
    padding: 5px 10px;
    border: none;
    background-color: #f1f1f1;
    color: #333;
    text-decoration: none;
    font-size: 16px;
    border-radius: 4px;
    transition: background-color 0.3s, color 0.3s;
}

.lang-btn:hover, .lang-btn.active {
    background-color: #FFDE3B;
    color: #fff;
}

.lang-btn.active {
    font-weight: bold;
}

/* Code box */

.code-container {
    position: relative;
    display: flex;
    justify-content: center;
    align-items: center;
    margin: 50px 0;
    padding: 20px;
    background-color: #282c34;
    border-radius: 15px;
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.2);
}

.copy-btn {
    position: absolute;
    top: 10px;
    right: 10px;
    padding: 10px 20px;
    font-size: 14px;
    cursor: pointer;
    background-color: #61dafb;
    color: #282c34;
    border: none;
    border-radius: 20px;
    transition: background-color 0.3s ease, transform 0.2s;
}

.copy-btn:hover {
    background-color: #21a1f1;
    transform: scale(1.05);
}

.code-box {
    color: #61dafb;
    font-family: 'Courier New', Courier, monospace;
    font-size: 16px;
    line-height: 1.6;
    padding: 20px;
    border-radius: 10px;
    background-color: #1e1e1e;
    white-space: pre-wrap;
    overflow-x: auto;
}

.notification {
    position: fixed;
    bottom: 20px;
    left: 50%;
    transform: translateX(-50%);
    padding: 15px 25px;
    background-color: #4caf50;
    color: white;
    border-radius: 25px;
    font-size: 16px;
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.2);
    animation: fadeInOut 2s;
}

@keyframes fadeInOut {
    0%, 100% {
        opacity: 0;
    }
    10%, 90% {
        opacity: 1;
    }
}

@media (max-width: 768px) {
    .nav-side{
        display: none;
    }
    .main-section{
        width: 100%;
    }
    .main-header{
        align-items: start;
    }
}