nav {
    height: 100px;
}

form {
    background: white;
    border-radius: 16px;
    padding: 35px;
    margin-bottom: 32px;
}

.upload-header {
    color: #24292F;
    font-family: Inter;
    font-size: 24px;
    font-style: normal;
    font-weight: 700;
    line-height: 40px;
    /* 166.667% */
    margin-top: 0px;
    margin-bottom: 0px;
}

.upload-subline {
    color: #24292F;
    font-family: Inter;
    font-size: 18px;
    font-style: normal;
    font-weight: 400;
    line-height: 32px;
    /* 177.778% */
    margin-top: 13px;
}

.custom-input {
    border: none
}

.custom-input {
    border-bottom: 1px solid #7E92A2 !important;
    box-shadow: transparent !important;
    border-radius: 4px;
    border: 1px solid #7E92A2;
}

input {
    border-bottom: 1px solid #7E92A2 !important;
}

input:not([type]),
input[type=text]:not(.browser-default),
input[type=password]:not(.browser-default),
input[type=email]:not(.browser-default),
input[type=url]:not(.browser-default),
input[type=time]:not(.browser-default),
input[type=date]:not(.browser-default),
input[type=datetime]:not(.browser-default),
input[type=datetime-local]:not(.browser-default),
input[type=tel]:not(.browser-default),
input[type=number]:not(.browser-default),
input[type=search]:not(.browser-default),
textarea.materialize-textarea {

    border-bottom: 1px solid #7E92A2;
    box-shadow: transparent !important;
    border-radius: 4px;
    border: 1px solid #7E92A2;
    box-sizing: border-box;
    width: 100%;
    padding-left: 16px;
}

.input-field>label {
    color: #24292F;
    font-family: Inter;
    font-style: normal;
    font-weight: 600;
    font-size: 18px;
    /* 222.222% */
}

select {
    border: 1px solid #7E92A2;
    border-radius: 4px;
    padding-left: 16px;
    font-size: 16px;
}

.readonly-text {
    color: #24292F;
    font-family: Inter;
    font-size: 18px;
    font-style: normal;
    font-weight: 400;
    line-height: 32px;
    /* 177.778% */
    line-height: 18px;
}

textarea {
    min-height: 394px;
    padding: 16px;
    font-family: 'Courier New', Courier, monospace;
}

.textarea-desc {
    min-height: fit-content;
    font-family: Inter;
}

form .row {
    margin-bottom: 0px;
}

.input-field {
    margin-top: 12px;
    margin-bottom: 0px;
}

.CodeMirror-line span {
    line-height: 1.2;
}

.CodeMirror-line span {
    font-family: 'Courier New', Courier, monospace;
}

.CodeMirror {

    border: 1px solid #7E92A2;
    border-radius: 4px;
    min-height: 450px;
    margin-bottom: 12px;
}

.readonly {
    /*border: none !important;
    border-bottom: none;*/
    appearance: none;
    /* Standard */
    -moz-appearance: none;
    /* Firefox */
    -webkit-appearance: none;
    /* Safari and Chrome */
    cursor: not-allowed;
    border: none !important;
    border-bottom: none !important;
}

.hide {
    display: none;
}

.star-rating {
    padding-left: 16px;
    margin-top: 8px;
}

.ribbon-status {
    margin-top: 28px;
    margin-top: 16px;
    padding-top: 16px;
    padding-left: 24px;
    padding-right: 24px;
    padding-bottom: 14px;
}

.ribbon-status-container {
    margin-top: 28px;
}

.input-field label {
    margin-top: -4px;
}

.star-rating {
    padding-left: 0px;
}

.status-ribbon {
    margin-left: 0px;
}

form .status-row {
    margin-bottom: 16px;
}

.reject-message {
    margin-left: 12px;
}

.margin-left-12 {
    margin-left: 12px;
}

.submit-btn {
    margin-top: 20px;
}

#reverifyButton {
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

#unpublishButton {
    margin-left: 12px;
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

#publishButton {
    margin-left: 12px;
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

#atomizeButton {
    margin-left: 12px;
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

#deatomizeButton {
    margin-left: 12px;
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

.submit-btn button {
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

/* Style for the <pre> element to prevent it from going out of bounds */
.reject-message pre {
    max-width: 100%;
    /* Ensure it does not exceed the container width */
    word-wrap: break-word;
    /* Break long words */
    white-space: pre-wrap;
    /* Preserve whitespace but allow wrapping */
    background-color: #f9f9f9;
    /* Optional: Add a light background for better readability */
    padding: 10px;
    /* Optional: Add some padding */
    border: 1px solid #ddd;
    /* Optional: Add a border */
    border-radius: 4px;
    /* Optional: Add rounded corners */
    overflow-x: auto;
    /* Add horizontal scroll if the content overflows */
    margin: 10px 0;
    /* Optional: Add some margin around */
}


/* Custom modal styles */
.modal-custom {
    border-radius: 10px;
    background-color: #ffffff;
    padding: 20px;
    box-shadow: 0px 4px 10px rgba(0, 0, 0, 0.2);
    max-width: 558px;
    .modal-content {
        padding: 12px;
        .modal-header {
            text-align: left;
            font-size: 21px;
        }
        .modal-body {
            font-size: 16px;
            text-align: left;
        }
  
    }
    .modal-footer {
        gap : 10px;
        justify-content: flex-start;
    }
    

}

.modal-header {
    font-size: 28px;
    font-weight: bold;
    color: #333;
    margin-bottom: 10px;
    text-align: center;
}

.modal-body {
    font-size: 24px;
    color: #555;
    text-align: center;
    margin-bottom: 20px;
}

.modal-footer {
    display: flex;
    justify-content: space-around;
    border-top: none;
    background: transparent
}

.modal .modal-footer {
    background: transparent;
    margin-bottom: 20px;
}

.modal-footer .btn {
    width: 100px;
    font-size: 18px;
    border-radius: 20px;
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

/* Center the toast and customize its appearance */
.toast {
    position: fixed !important;
    top: 50% !important;
    /* Center vertically */
    left: 50% !important;
    /* Center horizontally */
    transform: translate(-50%, -50%) !important;
    /* Adjust for centering */
    font-size: 20px !important;
    /* Increase font size */
    text-align: center;
    /* Center-align text */
    padding: 20px !important;
    /* Add padding for better visibility */
    border-radius: 8px;
    /* Add rounded corners */
    box-shadow: 0px 4px 10px rgba(0, 0, 0, 0.2);
    /* Add subtle shadow */
}

@media only screen and (max-width: 601px) {

    .input-field.col label {
        margin-top: -32px;
    }

    form .row {
        margin-bottom: 12px;
    }

    #code-type-display {
        margin-top: 24px;
    }
}

.toast {
    max-width: 90%;
}

.input-field .show-label {
    margin-top: 80px;
}

#code-type-display {
    margin-top: 120px;
}

#dependencies-checkbox-label {
    margin-top: 200px;
}

#dependencies-checkbox {
    margin-top: 70px;
    opacity: 1;
    pointer-events: all;
}

#dependencies-checkbox {
    margin-top: 7px;
    opacity: 1;
    pointer-events: all;
}

@media only screen and (max-width: 601px) {
    #code-type-display {
        margin-top: 12px;
    }
}

#llmSummaryButton {
    height: 48px;
    border-radius: 70px;
    min-width: 120px;
}

.custom-file-upload {
    display: inline-block;
    padding: 10px 20px;
    cursor: pointer;
    background-color: var(--color-green);
    color: white;
    border-radius: 5px;
    font-size: 16px;
    cursor: pointer
}

.custom-file-upload:hover {
    background-color: #0056b3;
    cursor: pointer
}

#fileInput {
    display: none;
}

.input-field .custom-file-upload {
    color: white;
    margin-top: 12px;
}

.CodeMirror {
    /* margin-top: 48px;*/
}

.deatomize-label {
    position: relative;
    top: 40px;
}

.waves-effect {
    line-height: 40px
}

.modal-footer .btn {
    height: 40px;
    line-height: 40px;
}

.modal .modal-footer .btn {
    margin-top: 3px;
}

.modal.modal-fixed-footer .modal-footer {
    margin-bottom: 0px;
    background: #80808047;
    border-top: 2px solid rgba(0, 0, 0, 0.1);
}
.delete-modal {
    .btn:disabled {
        background-color: var(--color-green) !important;
        color : black !important;
        opacity: 0.3;
    }
}


.folder-node rect {
    fill: rgba(255, 0, 0, 0.2) !important;
    stroke: red !important;
    stroke-width: 2;
}

.bold-text {
    font-style: normal;
    font-weight: bold;
}


.italic-text {
    font-weight: normal;
    font-style: italic;
}

.roman-text {
    font-weight: normal;
    font-style: normal;
    font-family: Times, Roman, serif;
}

.file-table {
    width: 100%;
    border-collapse: collapse;
    background: white;
    border-radius: 10px;
    box-shadow: 0px 4px 8px rgba(0, 0, 0, 0.2);
}

.file-table th,
.file-table td {
    padding: 10px;
    border-bottom: 1px solid #ddd;
}

.file-table th {
    background: #f8f9fa;
    text-align: left;
}

.folder {
    font-weight: bold;
    cursor: pointer;
}

.folder:hover,
.file:hover {
    background: #f1f1f1;
}

.file {
    cursor: pointer;
    color: black;
}

button {
    padding: 5px 10px;
    cursor: pointer;
    background: #007bff;
    color: white;
    border: none;
    border-radius: 5px;
}

button:hover {
    background: #0056b3;
}

/* Ensuring child nesting is properly indented */
td {
    transition: padding-left 0.2s ease-in-out;
}

.close-btn {
    position: absolute;
    top: 10px;
    right: 15px;
    font-size: 50px;
    color: red;
    cursor: pointer;
}

.btn {
    height: 56px;
    border-radius: 27.5px;
    background: var(--color-green);
    box-shadow: none;
    text-transform: none;
    min-width: 110px;
    height: 40px;
    line-height: 32px;
}

.modal-custom-new {
    display: none;
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgba(0, 0, 0, 0.6);
    justify-content: center;
    align-items: center;
    z-index: 9999;
    min-height: 100vh
}

.modal-content-custom {
    background: white;
    width: 90%;
    /* Adjust width as needed */
    height: 90%;
    /* Increase the height to occupy more space */
    max-width: 90%;
    /* Optional: limit max width */
    max-height: 90vh;
    /* Adjust for viewport height */
    position: relative;
    padding: 15px;
    box-shadow: 0px 4px 8px rgba(0, 0, 0, 0.3);
    display: flex;
    flex-direction: column;
    padding: 0px
}

.modal .modal-content-custom {
    padding: 0px;
    border-radius: 24px;
}

.white-icon {
    color: white;
}

[type="checkbox"]:not(:checked) {
    opacity: 1;
    pointer-events: all;
}

[type="checkbox"]:checked {
    pointer-events: all;
    opacity: 1;
}

.badge-custom {
    padding: 5px 10px;
    border-radius: 12px;
    font-size: 12px;
    font-weight: bold;
    display: inline-block;
    padding-top: 2px;
    padding-bottom: 2px;
    line-height: 18px;
}

.btn-secondary {
    background-color: #6c757d;
}

.mark-buttons {
    display: inline;
    float: right;
    line-height: 40px;
}

.btn-warning {
    background: #ffc107
}

.iframe-container {
    min-height: 500px;
    max-height: 500px;
}

iframe {
    min-width: 100%;
    min-height: 500px;
}


html,
body {
    margin: 0;
    padding: 0;
    width: 100%;
    height: 100%;
    overflow-y: auto;
    overflow-x: hidden;
}

.container-fluid {
    min-height: 100vh;
    display: flex;
    flex-direction: column;
}

#chartContainer {
    /*min-width: 1200px;*/
    /*min-height: 500px;*/
    flex: 1;
    overflow: auto;
    border: 1px solid #ddd;
    padding: 10px;
    position: relative;
}

svg {
    display: block;
    margin: 0 auto;
    /*min-width: 1200px;*/
    /*min-height: 500px;*/
}

.node circle {
    fill: #999;
    stroke-width: 3px;
    cursor: pointer;
}

.node text {
    font: 12px sans-serif;
    cursor: pointer;
}

.link {
    fill: none;
    stroke: #555;
    stroke-opacity: 0.4;
    stroke-width: 1.5px;
}

.fun {
    stroke: black;
}

.fun circle {
    fill: #ffc107;
}

.lemma {
    stroke: #4CAF50;
}

.lemma circle {
    fill: #4CAF50
}

.theorem {
    stroke: #30CDCD;
}

.theorem circle {
    fill: #30CDCD
}

#codeEditor {
    height: 200px;
    border: 1px solid #ccc;
    width: 100%;
}

.link.highlighted {
    stroke: #007bff;
    stroke-width: 4;
    stroke-opacity: 1;
}


.overlay {
    position: absolute;
    top: 70px;
    right: 10px;
    left: auto;
    background: rgba(255, 255, 255, 0.9);
    padding: 10px 15px;
    border-radius: 8px;
    font-size: 14px;
    box-shadow: 0 2px 10px rgba(0, 0, 0, 0.2);
    transition: width 0.3s ease-in-out, height 0.3s ease-in-out, padding 0.3s ease-in-out;
    width: 350px;
    min-height: 50px;
    overflow: hidden;
}

.legend-box {
    display: inline-block;
    width: 16px;
    height: 16px;
    margin-right: 5px;
    border: 1px solid #333;
}

.legend-line {
    display: inline-block;
    width: 40px;
    height: 2px;
    background: #999;
    margin-right: 5px;
}

ul {
    padding-left: 18px;
}

li {
    margin-bottom: 5px;
}

/* #toggleLegend {
    position: absolute;
    top: 5px;
    right: 5px;
    background: none;
    border: none;
    font-size: 18px;
    cursor: pointer;
} */

.collapsed {
    width: 50px;
    /* Keeps it aligned instead of shrinking unpredictably */
    height: 50px;
    padding: 5px;
    text-align: center;
    display: flex;
    align-items: center;
    justify-content: center;
    display: none;
}

.collapsed #legendContent {
    display: none;
}

.CodeMirror {
    min-height: 600px;
}

.p-2 {
    border: 1px solid black
}

#chartContainer {
    border: 1px solid black;
    margin-bottom: 12px;
}

body {
    background: #F6F8FA
}

.breadcrumbs {
    margin-top: 16px;
    margin-bottom: 16px;
}

@media (min-width: 1400px) {
    .container {
        max-width: 98%;
    }
}

@media (min-width: 768px) {
    .container {
        max-width: 98%;
    }
}

.node.selected .base-rect {
    stroke-width: 8px;
    stroke: red;

    /* SVG 2 property – makes the entire 4px stroke sit outside the shape’s path */
    stroke-alignment: outer;
    
    /* vendor prefixes for browsers that have partial support */
    -webkit-stroke-alignment: outside;  /* WebKit/Safari */
    -moz-stroke-alignment: outer;        /* Firefox */

    /* ensure stroke paints before fill */
    paint-order: stroke fill;
}

.node .top-overlay {
    stroke: none;
}

.node.selected .top-overlay {
    stroke: none;
    /* Ensure no middle line shows on selection */
}

.link.highlighted {
    stroke: #007bff;
    /* or any highlight color */
    stroke-width: 4;
    stroke-opacity: 1;
}

.hamburger-menu-icon {
    /* margin-top: 0px */
}

#zoomControls {
    position: absolute;
    top: 10px;
    left: 10px;
    display: flex;
    flex-direction: row;
    gap: 8px;
    background: rgba(255, 255, 255, 0.9);
    padding: 6px 8px;
    border-radius: 6px;
    box-shadow: 0 2px 6px rgba(0, 0, 0, 0.2);
    z-index: 10;
}

#zoomControls button {
    background: var(--color-green);
    border: none;
    color: white;
    font-size: 16px;
    width: 36px;
    height: 36px;
    border-radius: 50%;
    cursor: pointer;
    transition: background 0.2s;
}

#zoomControls button:hover {
    background: #3a9428;
}

#back-btn {
    margin: 10px
}

.sidenav-trigger-right-my-uploads img {
    /* margin-top: 0px */
}

#codePanel {
    position: fixed;
    top: 0;
    right: -55%;
    width: 55%;
    height: 100%;
    background: #fff;
    box-shadow: -2px 0 10px rgba(0, 0, 0, 0.3);
    transition: right 0.3s ease;
    z-index: 1000;
    display: flex;
    flex-direction: column;
    resize: horizontal;
    overflow: hidden;
    border-left: 2px solid #ccc;
}


#codePanel.open {
    right: 0;
}

#codeEditor {
    flex-grow: 1;
    width: 100%;
    height: 100%;
    border: none;
    padding: 10px;
    font-family: monospace;
}

#toggleCodeBtn {
    position: fixed;
    top: 20px;
    right: 20px;
    z-index: 1001;
    background: #007bff;
    color: #fff;
    border: none;
    padding: 8px 12px;
    border-radius: 5px;
    cursor: pointer;
}

#resizeHandle {
    width: 5px;
    cursor: ew-resize;
    background: #ccc;
    position: absolute;
    top: 0;
    left: 0;
    bottom: 0;
    z-index: 10;
}

#resizeHandle {
    width: 10px;
    cursor: ew-resize;
    background: #e0e0e0;
    position: absolute;
    top: 0;
    left: 0;
    bottom: 0;
    display: flex;
    align-items: center;
    justify-content: center;
    z-index: 10;
}

#resizeHandle::before {
    content: "â‹®";
    font-size: 18px;
    color: black;
    font-weight: bold;
    writing-mode: vertical-rl;
    transform: rotate(90deg);
}

.CodeMirror {
    min-height: 100%
}

.node.selected rect {
    stroke: black;
    stroke-width: 2.5px;
    stroke-dasharray: 8;
}

.pulse-glow {
    animation: pulse-glow-animation 1.5s infinite ease-in-out;
}

@keyframes pulse-glow-animation {
    0% {
        filter: url(#pulse-glow);
        opacity: 1;
    }

    50% {
        filter: url(#pulse-glow);
        opacity: 0.4;
    }

    100% {
        filter: url(#pulse-glow);
        opacity: 1;
    }
}


#outboxZone {
    position: absolute;
    bottom: 10px;
    left: 10px;
    padding: 8px 12px;
    background-color: #ffe69c;
    border: 2px dashed #999;
    border-radius: 8px;
    font-weight: bold;
    color: #333;
    z-index: 10;
    cursor: grab;
    transition: background-color 0.3s ease;
}

#outboxZone.active {
    background-color: var(--color-green);
    color: white;
}

.context-menu {
    position: absolute;
    display: none;
    background-color: #fff;
    border: 1px solid #ccc;
    box-shadow: 0 2px 6px rgba(0, 0, 0, 0.2);
    border-radius: 6px;
    padding: 4px 0;
    z-index: 9999;
    list-style: none;
    min-width: 180px;
}

.context-menu li {
    padding: 8px 16px;
    cursor: pointer;
    font-size: 14px;
}

.context-menu li:hover {
    background-color: #f0f0f0;
}

#moveToParentBtn {
    overflow: hidden;
    width: 36px;
    height: 36px;
    background-color: var(--color-green);
    color: white;
    border: none;
    border-radius: 18px;
    font-weight: bold;
    cursor: pointer;
    opacity: 0;
    visibility: hidden;
    display: flex;
    align-items: center;

    display: none;
    /* 👈 Hide fully, no layout space taken */
    justify-content: center;
    gap: 4px;
    padding: 0 12px;
    white-space: nowrap;
    font-size: 14px;
    transform: translateY(10px) scale(0.95);
    transition:
        opacity 0.3s ease,
        transform 0.3s ease,
        width 0.3s ease,
        padding 0.3s ease;

    border-radius: 12px;
}

#moveToParentBtn .label {
    display: none;
    transition: opacity 0.2s ease;
    color: white
}

#moveToParentBtn.show {
    width: auto;
    opacity: 1;
    display: flex;
    /* 👈 Fully show */
    visibility: visible;
    padding: 0 16px;
    transform: translateY(0) scale(1);
    animation: popIn 0.25s ease-out;
    border-radius: 12px;
}

#moveToParentBtn.show .label {
    display: inline;
    opacity: 1;
}

@keyframes popIn {
    0% {
        opacity: 0;
        transform: translateY(10px) scale(0.9);
    }

    100% {
        opacity: 1;
        transform: translateY(0) scale(1);
    }
}

#moveToParentBtn.hovered {
    background-color: #45a026;
    box-shadow: 0 0 8px var(--color-green);
}

#detachOption {
    margin-bottom: 0px
}

.folder-drawer {
    position: absolute;
    top: 80px;
    left: 20px;
    width: 250px;
    max-height: 90%;
    min-height:80%;
    background: #fff;
    border: 1px solid #ccc;
    box-shadow: 0 2px 8px rgba(0, 0, 0, 0.1);
    border-radius: 8px;
    overflow: hidden;
    z-index: 9;
    display: flex;
    flex-direction: column;
    font-size: 14px;
}

#folderDrawerHeader {
    background: #f1f1f1;
    padding: 8px 12px;
    font-weight: bold;
    border-bottom: 1px solid #ccc;
    cursor: pointer;
}


.drawer-row {
    display: flex;
    align-items: center;
    gap: 6px;
    padding: 4px 6px;
    user-select: none;
    transition: background 0.2s;
}

.drawer-row.folder:hover {
    background-color: #f1f1f1;
}

.drawer-label {
    flex: 1;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.drawer-children {
    margin-left: 0;
}

.preview-btn {
    line-height: 40px;
}

/* .modal {
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
  
    display: flex;
    align-items: center;
    justify-content: center;
    background:transparent;
    box-shadow: none;
    z-index: 9999;
  }
  
  .modal-content {
    background: white;
    border-radius: 8px;
    box-shadow: 0 4px 16px rgba(0, 0, 0, 0.2);
    width: 100%;
    max-width: 400px;
    padding: 20px;
    box-sizing: border-box;
    margin:0 auto
  }
    
   */

   [type="checkbox"]:not(:checked), [type="checkbox"]:checked {
    position: relative;
   }