html, body
{
    margin: 0;
    padding: 0;
    height: 100%;
    width: 100%;
    font-family: 'Courier New', monospace;
    background: #d0e1f5;
    color: #1a2e45;
    overflow: hidden;
}

.header
{
    text-align: center;
    background: #d0e1f5;
    padding: 5px 15px;
    border-radius: 20px;
    border: 2px solid #3366FF;
    margin: 10px;
    position: relative;
    z-index: 10;
    flex: 0 0 auto;
}

.header h1
{
   margin:0;
   color:#3366FF;
   text-shadow:0 0 3px #336666;
   font-size:2.0em;
}

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

.terminal
{
    flex: 1;
    position: relative;
    background: #d0e1f5;
    border-top: 2px solid #3366FF;
    overflow-y: auto;
    overflow-x: hidden;
    -webkit-overflow-scrolling: touch;
    min-height: 0;
    z-index: 1;
}

.output-container
{
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    bottom: 73px;
    overflow: auto;
    padding: 10px;
    white-space: pre-wrap;
    word-wrap: break-word;
    box-sizing: border-box;
    font-size: 12px;
}

.splitter
{
    position: absolute;
    left: 0;
    right: 0;
    bottom: 70px; /* Initial position: 70px from bottom */
    height: 3px;
    background: #3366FF;
    cursor: row-resize;
    user-select: none;
    z-index: 10;
}

.input-container
{
    position: absolute;
    left: 0;
    right: 0;
    bottom: 0;
    height: 70px; /* Initial height */
    display: flex;
    align-items: flex-start;
    padding: 10px;
    border-top: 1px solid #3366FF;
    background: rgba(26,46,69,0.15);
    box-sizing: border-box;
    font-size: 12px;
}

#commandInput
{
    flex: 1;
    resize: none;
    background: transparent;
    border: 1px solid #3366FF;
    border-radius: 2px;
    color: #1a2e45;
    font-family: 'Courier New', monospace;
    font-size: 14px;
    outline: none;
    padding: 5px;
    height: 50px; /* Initial height */
}

/* Output line styles */
.output-line { margin: 5px 0; }
.result-line { color: #3366FF; font-weight: bold; }
.error-line  { color: #FF3333; font-weight: bold; }
.help-line   { color: #0099cc; }
.info-line   { color: #004466; }

.loading
{
    color: #ff8800;
    font-style : italic;
    font-weight: bold;
    font-size  : 18px;
    animation  : blink 2s infinite;
}

@keyframes blink
{
    0%, 100% { opacity: 1;   }
    50%      { opacity: 0.2; }
}

.welcome-message
{
    color: #3366FF;
    border: 2px solid #3366FF;
    padding: 10px;
    margin-bottom: 10px;
    border-radius: 5px;
    background: #d0e1f5;
}

.example-bar
{
    position: fixed;
    bottom: 0;
    left: 0;
    right: 0;
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 6px 10px;
    background-color: #d0e1f5;
    border-top: 3px solid #3366FF;
    color: black;
    font-size: 14px;
    z-index: 5000;
    touch-action: manipulation;
}

.example-bar-left
{
    display: flex;
    align-items: center;
    gap: 1px;
    flex-shrink: 0;
}

.example-bar-right
{
    margin-left: auto;
}

.example-bar select
{
    flex: 1;
    margin-left: 10px;
    padding: 4px 6px;
    font-size: 14px;
    background-color: #3366FF;
    color: white;
    border: 1px solid #555;
    border-radius: 4px;
    font-size: 14px;
    appearance: none;
    -webkit-appearance: none;
}

.example-bar select:focus
{
    outline: none;
    border-color: #888;
}

#computeButton
{
    background-color: #33AAFF;
    color: #FFFF00;
    border: 1px solid #1a2e45;
    border-radius: 4px;
    padding: 6px 14px;
    font-size: 14px;
    font-weight: bold;
    cursor: pointer;
    transition: background-color 0.2s ease, transform 0.1s ease;
}

#computeButton:hover
{
    background-color: #1a2e45;
    transform: scale(1.03);
}

#computing
{
    display: none;
    position: absolute;
    top: 10px;
    right: 15px;
    color: #ff8800;
    font-weight: bold;
    font-size: 22px;
    animation: fadeinout 1.5s ease-in-out infinite;
    z-index: 9999;
}

.spinner
{
    display: inline-block;
    width: 14px;
    height: 14px;
    border: 2px solid rgba(255, 136, 0, 0.3);
    border-top-color: #ff8800;
    border-radius: 50%;
    animation: spin 0.8s linear infinite;
    vertical-align: middle;
    margin-right: 5px;
}

@keyframes spin
{
    to { transform: rotate(360deg); }
}

@keyframes fadeinout
{
    0%,100% { opacity: 1;   }
    50%     { opacity: 0.4; }
}

.large-arrow
{
    font-size: 1.6em;
    font-weight: bold;
}

.repl-support-icon
{
  width:  22px;
  height: 22px;
}