.initially-hidden {
    display: none;
}

body {
    font-family: sans-serif;
    margin: 0;
    background-color: #002b36;
    color: #839496;
}

#tractatus-app-container {
    max-width: 1200px;
    margin: 20px auto 3rem;
}

.tractatus-layout-wrapper {
    display: flex;
    align-items: stretch;
    justify-content: center;
    gap: 10px;
}

.main-column {
    display: flex;
    flex-direction: column;
    width: 100%;
    max-width: 100%;
}

/* Shared styles for all panel-like containers */
.language-config,
.nav-bar,
.content-pane {
    background-color: #073642;
    border: 1px solid #586e75;
    border-radius: .25rem;
}

/* Shared styles for panel headings */
.content-pane h3 {
    margin-top: 0;
    margin-bottom: 1rem;
    color: #2aa198;
    text-align: center;
    font-weight: bold;
}

.side-nav-button {
    background-color: #eee8d5;
    color: #002b36;
    border: 1px solid #93a1a1;
    border-radius: .25rem;
    padding: .5rem .75rem; 
    font-size: 1.2em;
    font-weight: bold;
    cursor: pointer;
    transition: background-color 0.15s ease-in-out, border-color 0.15s ease-in-out;
    flex-shrink: 0; 
    display: flex;
    align-items: center;
    justify-content: center;
}

.side-nav-button:hover {
    background-color: #fdf6e3;
    border-color: #657b83;
}

.side-nav-button:disabled {
    background-color: #586e75;
    color: #073642;
    border-color: #586e75;
    cursor: not-allowed;
}

.language-config {
    margin-bottom: 20px;
    padding: 10px;
    color: #93a1a1;
    text-align: center;
    max-width: 800px;
    margin-left: auto;
    margin-right: auto;
    box-sizing: border-box;
}

.language-config strong {
    margin-right: 10px;
    color: #eee8d5;
}

.language-config label {
    margin-right: 15px;
    font-size: 0.9em;
    font-weight: normal;
    cursor: pointer;
    user-select: none;
}

.language-config input[type="checkbox"] {
    margin-right: 5px;
}

.language-tier-group {
    margin-bottom: 8px;
}

.nav-bar {
    display: flex;
    justify-content: center;
    overflow-x: auto;
    padding: 8px 5px;
    margin-bottom: 15px;
    max-width: 100%;
}

.nav-bar-item {
    padding: .375rem .75rem;
    margin: 0 4px;
    border: 1px solid transparent;
    border-radius: .25rem;
    cursor: pointer;
    white-space: nowrap;
    font-size: 0.9em;
    color: #93a1a1;
    transition: filter 0.15s ease-in-out, border-color 0.15s ease-in-out, background-color 0.15s ease-in-out;
}

.nav-bar-item:hover {
   filter: brightness(120%);
}

.nav-bar-item.ancestor-path {
    border: 2px solid #b58900 !important;
    font-weight: bold;
    padding: calc(.375rem - 1px) calc(.75rem - 1px);
}

.nav-bar-item.active {
    background-color: #2aa198 !important;
    color: #002b36 !important;
    border-color: #2aa198 !important;
    font-weight: bold;
}

.content-pane {
    padding: 20px;
    margin-top: 15px;
    max-width: 100%;
    min-height: 200px;
    color: #93a1a1;
}

.translation-section {
    margin-bottom: 20px;
    padding: 15px;
    background-color: #002b36;
    border-radius: .20rem;
    border-left: 3px solid #586e75;
}

.translation-section h4 {
    margin-top: 0;
    margin-bottom: 10px;
    font-size: 1.1em; 
    color: #93a1a1;
    font-weight: bold;
}

.proposition-text-content {
    line-height: 1.6;
    color: #839496;
}

.proposition-text-content.empty-text {
    min-height: 50px;
}