/* General styles */
body {
    font-family: 'Roboto', sans-serif;
    line-height: 1.6;
    color: #eee;
    margin: 0;
    padding: 0;
    display: flex;
    flex-direction: column;
    min-height: 100vh;
}

.mascot {
    height: 20px;
}

.container {
    max-width: 1200px;
    margin: 0 auto;
    padding: 20px;
}

/* Header styles */
.site-header {
    background-color: #3b637a; /* Blue header */
    color: white;
    padding: 20px 0;
}

.header-content {
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.header-branding {
    display: flex;
    align-items: center;
}

.header h1 {
    margin-right: 10px;
    font-size: 1.8em;
}

.version {
    font-size: 0.8em;
    opacity: 0.8;
}

.header-nav .nav-link {
    color: white;
    text-decoration: none;
    font-weight: 500;
    padding: 8px 15px;
    border: 2px solid white;
    border-radius: 5px;
    transition: background-color 0.3s, color 0.3s;
}

.header-nav .nav-link:hover {
    background-color: white;
    color: #3b637a; /* Blue hover color */
}

/* Main Content Styles */
.site-main {
    flex-grow: 1;
}

.editor {
  background: #1e1e1e;
  color: #d4d4d4;
  font-family: monospace;
  padding: 10px;
  border: 1px solid #333;
  min-height: 200px;
  overflow: auto;
  white-space: pre-wrap;
}

.keyword {
  color: #569cd6;
}

.string {
  color: #ce9178;
}

.number {
  color: #b5cea8;
}

.examples {
    background-color: #111; /* Slightly lighter black for contrast */
    padding: 20px;
    border-radius: 8px;
    box-shadow: 0 2px 5px rgba(0, 0, 0, 0.2); /* More pronounced shadow */
    margin-bottom: 20px;
}

.instructions {
    background-color: #111; /* Slightly lighter black for contrast */
    padding: 20px;
    border-radius: 8px;
    box-shadow: 0 2px 5px rgba(0, 0, 0, 0.2); /* More pronounced shadow */
    margin-bottom: 20px;
}

.editor-area {
    margin-bottom: 20px;
}

.editor-container {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 20px;
}

.editor-box {
    background-color: #111; /* Slightly lighter black for contrast */
    border-radius: 8px;
    box-shadow: 0 2px 5px rgba(0, 0, 0, 0.2); /* More pronounced shadow */
    padding: 20px;
    display: flex;
    flex-direction: column;
}

.editor-label {
    font-weight: 600;
    margin-bottom: 10px;
    color: #ddd;
}

textarea {
    width: 100%;
    height: 300px;
    padding: 12px;
    border: 1px solid #333; /* Darker border for textareas */
    border-radius: 5px;
    font-family: 'Courier New', monospace;
    resize: vertical;
    outline: none;
    box-sizing: border-box;
    font-size: 14px;
    background-color: #111;
    color: #eee;
}

.button-container {
    margin-top: 15px;
    display: flex;
    gap: 10px;
}

.button {
    margin-right: 10px;
}

.button:last-child {
    margin-right: 0;
}

.output-container {
    display: flex;
    flex-direction: column;
    flex-grow: 1;
}

.output-tabs {
    display: none;
}

.output-box {
    display: block;
    flex-grow: 1;
    overflow-y: auto;
    border: 1px solid #333; /* Darker border for output boxes */
    margin-bottom: 10px;
    padding: 10px;
    border-radius: 5px;
    background-color: #111;
}

#result,
#console-output {
    white-space: pre-wrap;
    font-family: 'Courier New', monospace;
    height: 150px;
    resize: vertical;
    border: none;
    padding: 0;
    background-color: #111;
    color: #eee;
}