body {
    font-family: sans-serif;
    line-height: 1.6;
    margin: 20px;
    background-color: #f4f4f4;
}

h1 {
    color: #333;
    text-align: center;
}

.controls {
    background-color: #fff;
    padding: 15px;
    border-radius: 5px;
    margin-bottom: 20px;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
    display: flex;
    gap: 10px;
    align-items: center;
}

.controls label {
    font-weight: bold;
}

.controls input[type="number"],
.controls select {
    padding: 8px;
    border: 1px solid #ccc;
    border-radius: 3px;
}

.controls button {
    padding: 8px 15px;
    background-color: #5cb85c;
    color: white;
    border: none;
    border-radius: 3px;
    cursor: pointer;
    transition: background-color 0.3s ease;
}

.controls button:hover {
    background-color: #4cae4c;
}

#output {
    background-color: #fff;
    padding: 15px;
    border-radius: 5px;
    border: 1px solid #ddd;
    min-height: 100px;
    white-space: pre-wrap; /* Preserve line breaks from backend */
    font-family: 'Courier New', Courier, monospace;
}

.info {
    margin-top: 30px;
    background-color: #e9e9e9;
    padding: 15px;
    border-radius: 5px;
}

.info h2 {
    color: #555;
    margin-top: 0;
}

hr {
    border: 0;
    height: 1px;
    background: #ccc;
    margin: 20px 0;
}

/* Style for initially hidden elements */
.hidden {
    display: none;
}

/* Navbar styles */
.navbar {
    background-color: #f8f9fa; /* Light grey background */
    padding: 0;
    position: sticky;
    top: 0;
    left: 0;
    right: 0;
    z-index: 1000;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
}

.navbar-container {
    max-width: 4xl; /* Equivalent to max-w-4xl in Tailwind */
    margin-left: auto;
    margin-right: auto;
    display: flex; 
    justify-content: space-between; 
    align-items: center; 
}

.navbar-nav {
    display: flex;
    list-style: none;
    margin: 0;
    padding: 0; 
}

.nav-item {
    margin: 0;
}

.nav-link {
    display: block;
    padding: 1rem 1.5rem; 
    text-decoration: none;
    color: #4a5568; /* Tailwind gray-700 */
    font-weight: 500;
}

.nav-link:hover {
    background-color: #e2e8f0; /* Tailwind gray-200 */
    color: #2d3748; /* Tailwind gray-800 */
}

.nav-link.active {
    background-color: #3182ce; /* Tailwind blue-600 */
    color: white;
}

.loader {
    border: 4px solid #f3f3f3; 
    border-top: 4px solid #3498db; 
    border-radius: 50%;
    width: 24px;
    height: 24px;
    animation: spin 1s linear infinite;
    display: none; 
    flex-shrink: 0;
}

@keyframes spin {
    0% { transform: rotate(0deg); }
    100% { transform: rotate(360deg); }
}