body {
    font-family: 'JetBrains Mono NL', monospace;
    font-size: 15pt;
    background-color: #232627; /* Background color */
    color: #ffffff; /* Default font color */
    padding: 20px;
    margin: 0;
}

.pre, pre {
    color: #5294e2; /* ASCII text color - making it blue to match link color */
}

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

li {
    margin-bottom: 10px;
}

a {
    color: #5294e2;  /* Link color */
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

.prompt {
    color: #ffffff; /* Prompt color */
}

.insertion-point {
    display: inline-block;
    width: 0.5em; /* Adjust width as needed */
    height: 1em; /* Adjust height as needed */
    background-color: #ffffff; /* Insertion point color */
    animation: blink-animation 1s infinite;
}

@keyframes blink-animation {
    0% { opacity: 1; }
    50% { opacity: 0; }
    100% { opacity: 1; }
}

/* Modal styles updated to fit theme */
.modal {
    display: none;
    position: fixed;
    z-index: 1;
    left: 0;
    top: 0;
    width: 100%;
    height: 100%;
    overflow: auto;
    background-color: rgba(35, 38, 39, 0.9); /* Semi-transparent background matching body */
}

.modal-content {
    background-color: #2e3133; /* Dark modal background */
    margin: 10% auto;
    padding: 20px;
    border: 1px solid #444;
    width: 70%; /* Responsive width */
    animation: slideIn 0.5s;
}

.close {
    color: #aaa;
    float: right;
    font-size: 28px;
    font-weight: bold;
}

.close:hover,
.close:focus {
    color: #fff;
    text-decoration: none;
    cursor: pointer;
}

@media screen and (max-width: 600px) {
    .modal-content {
        width: 95%;
        margin: 10% auto;
    }
}

@keyframes fadeIn {
    from { opacity: 0; }
    to { opacity: 1; }
}

@keyframes slideIn {
    from { transform: translateY(-20%); }
    to { transform: translateY(0); }
}