.main-content {
    display: flex;
    flex-direction: column;
    margin-left: 200px; /* Offset the main content to the right of the sidebar */
    margin-top: 20px;
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;
    position: relative;
}

.eng-main-content {
    display: flex;
    flex-direction: column;
    margin-top: 20px;
    margin-left:50px;
    margin-right:50px;
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;
    position: relative;
    padding:10px 50px;
}

.black {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: black;
}

.red {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: red;
}

.bold {
    font-weight: bold;
}

.bold-italic {
    font-style: italic;
    font-weight: bold;
}

.courier {
    font-family: "Courier New", Courier, monospace;
}

.large {
    font-size:16px;
}

.num-large {
    font-size: 36px;
}

pre {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;
}


.sidebar {
    top: 30px;
    left: 0;
    height: 100vh;
    z-index: 2; /* Sidebar on top of the content */
    width: 250px;
    position: fixed;
    background-color: #7B96D4;
    color: white;
    padding-top: 40px;
    padding-bottom:40px;
    overflow-y: auto;
}

.sidebar::-webkit-scrollbar {
    width: 8px; 
}

.sidebar::-webkit-scrollbar-track {
    background-color: #f1f1f1;
    border-radius: 10px;
}

.sidebar::-webkit-scrollbar-thumb {
    background-color: #728FCE;
    border-radius: 10px;
    border: 2px solid #f1f1f1; 
}

.sidebar::-webkit-scrollbar-thumb:hover {
    background-color: #4c6ab0;
}


.sidebar .nav-link {
    color: rgba(255, 255, 255, 0.9);
    font-size: 18px;
   margin-top:5px;
}

.sdbar.nav-link:hover {
    color: white;
    text-decoration: underline;
}

.sdbar.triangle.nav-link {
    color: rgba(255, 255, 255, 0.9);
    font-size: 10px;
    margin-right: -20px;
    margin-top: 12px;
    
}

.sdbar.triangle[aria-expanded="true"] {
    transform: rotate(0deg);
}

.sdbar.triangle[aria-expanded="false"] {
    transform: rotate(-90deg);
}

.dropdown {
    display: flex;
    align-items: center;
}

.jtron {
    margin-top:15px;
    padding: 20px 0;
    position: relative;
}

.sdbar .nav-link {
    font-size: 14px;
    margin-left: 10px;
}

.sdbar .nav-link:hover {
    color: white;
    text-decoration: underline;
}

.scrl {
    scroll-margin-top: 60px; /* Adjust this to match your navbar height */
}

pre[class="language-scheme"] {
    display: block;
    font-size: 12px;
    max-width: 100%;
    margin-top: 0px;
    margin-left: 30px;
    padding-top: 0px;
    padding-left: 5px;
    padding-right: 25px;
    font-family: "Courier New", Courier, monospace;
    background-color: #f5f5f5; /* Light grey */
}

pre[class="language-scheme"] .token.keyword, .token.punctuation {
    color: black;
    font-weight:bold;
}

pre[class="language-scheme"] .token.function, .token.operator, .token.symbol, .token.lambda-parameter, .token.builtin {
    color: #4c6ab0; /* Navy Blue */
}

pre[class="language-scheme"] .token.number, .token.string {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: #45A045 /*Forest Green*/
}

pre[class="language-scheme"] .token.comment {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: firebrick;
}

pre[class="language-scheme"] .token {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1); /* Adds subtle shadow to improve readability */
}

.identifier {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1); 
    color: #4c6ab0; /* Navy Blue */
}

.keyw {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: black;
    font-weight: bold;
}

.g-t, .l-t {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: black;
}

.symb {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: #45A045; /*Forest Green*/
}

.bool {
    text-shadow: 0 0 2px rgba(0, 0, 0, 0.1);
    color: #4c6ab0; /* Navy Blue */
}

.proctitle-div {
    display: flex; 
    align-items: flex-end;
    gap: 25px; 
    font-size:12px;
}

.procname {
    margin-top: 10px;
    margin-bottom: 20px;
    text-indent: 25px;
    */font-family: "Courier New", Courier, monospace;*/
}

.link {
    text-decoration:none;
    color:#5469C5;
}

.link:hover {
    text-decoration:underline;
}