/* Base font */
        body {
            font-family: 'Inter', sans-serif;
            transition: background-color 0.3s, color 0.3s;
        }

        /* CodeMirror styling */
        .CodeMirror {
            border: 1px solid #d1d5db; border-radius: 0.375rem; height: auto;
            min-height: 200px; font-size: 0.9rem; line-height: 1.5;
            transition: background-color 0.3s, color 0.3s, border-color 0.3s;
        }
        .CodeMirror-scroll {
             min-height: 200px; max-height: 60vh; /* Increased max height */
             overflow-y: auto !important;
        }

        /* Output area styling */
        #output {
            white-space: pre-wrap; word-wrap: break-word; background-color: #f3f4f6;
            border: 1px solid #d1d5db; min-height: 100px; border-radius: 0.375rem;
            transition: background-color 0.3s, color 0.3s, border-color 0.3s;
            font-family: 'Monospace', monospace; /* Monospace for output */
        }

        /* Loading overlay */
        #loading-overlay {
            position: fixed; top: 0; left: 0; width: 100%; height: 100%;
            background-color: rgba(255, 255, 255, 0.9); display: flex;
            justify-content: center; align-items: center; z-index: 9999;
            font-size: 1.2rem; color: #333; transition: opacity 0.5s ease-out;
        }
        #loading-overlay.hidden { opacity: 0; pointer-events: none; }

        /* --- Dark Mode Styles --- */
        body.dark-mode { background-color: #1f2937; color: #f3f4f6; }
        .dark-mode .bg-white { background-color: #374151; }
        .dark-mode .text-gray-700 { color: #d1d5db; }
        .dark-mode .text-gray-800 { color: #e5e7eb; }
        .dark-mode #output { background-color: #4b5563; color: #f9fafb; border-color: #6b7280; }
        .dark-mode .CodeMirror { border-color: #6b7280; }
        .dark-mode #loading-overlay { background-color: rgba(31, 41, 55, 0.9); color: #f3f4f6; }
        .dark-mode .border-gray-300 { border-color: #4b5563; }
        .dark-mode .hover\:bg-gray-200:hover { background-color: #4b5563; }