:root {
    --primary-color: #2c3e50;
    --secondary-color: #3498db;
    --accent-color: #e74c3c;
    --background-color: #f8f9fa;
    --card-background: #ffffff;
    --text-color: #2c3e50;
    --border-color: #ddd;
    --success-color: #27ae60;
    --warning-color: #f39c12;
    --error-color: #e74c3c;
}

/* Base Styles */
body {
    font-family: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif; 
    padding: 20px; 
    margin: 0 auto;
    line-height: 1.6;
    background-color: var(--background-color);
    color: var(--text-color);
    overflow-x: hidden;
    font-size: 20px;
}

/* === TENČÍ BANNER S LOGOM === */
.header {
    background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    color: white;
    padding: 10px 0; /* Tenčí padding */
    margin: -20px -20px 20px -20px;
    text-align: center;
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
    width: 100vw;
    position: relative;
    left: 50%;
    right: 50%;
    margin-left: -50vw;
    margin-right: -50vw;
    display: flex;
    justify-content: center; /* Center the content horizontally */
    align-items: center;
    min-height: 50px; /* Menšia výška */
}

.header-content {
    max-width: 1400px;
    margin: 0 auto;
    padding: 0 20px;
    flex: 1;
    display: flex;
    align-items: center;
    justify-content: center; /* Center content inside header-content */
    gap: 15px;
}

.header h1 {
    margin: 0;
    font-size: 1.8em; /* Menší nadpis */
    font-weight: 600;
}

.header p {
    display: none; /* Skryj podnadpis */
}

/* Logo */
.logo {
    width: 36px;
    height: 36px;
    background: linear-gradient(45deg, #ff6b6b, #4ecdc4);
    border-radius: 6px;
    display: flex;
    align-items: center;
    justify-content: center;
    font-weight: bold;
    font-size: 1.1em;
    color: white;
    box-shadow: 0 2px 4px rgba(0,0,0,0.2);
}

/* === HLAVNÉ ROZLOŽENIE 2/3 vs 1/3 === */
.container {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(400px, 1fr));
    gap: 25px;
    margin-bottom: 25px;
    padding: 0 10px;
    transition: all 0.3s ease;
}

/* Normálny stav - 2 karty */
.container:not(.expanded) {
    grid-template-columns: minmax(0, 2fr) minmax(0, 1fr);
}

/* Expandovaný stav - 1 karta */
.container.expanded {
    grid-template-columns: minmax(0, 1fr);
}

.container.expanded .card:nth-child(2) {
    display: none;
}

/* Editor zaberá celú šírku */
.container.expanded .card:first-child {
    grid-column: 1 / -1;
}

/* Karty - začína od ľava */
.card {
    background: var(--card-background);
    border-radius: 10px;
    padding: 25px;
    box-shadow: 0 2px 10px rgba(0,0,0,0.1);
    border-left: 4px solid var(--secondary-color);
    margin: 0;
    /* Pridané: vnútorné okraje */
    position: relative;
}

.card h2 {
    margin-top: 0;
    color: var(--primary-color);
    border-bottom: 2px solid var(--border-color);
    padding-bottom: 10px;
}

/* Špeciálne okraje pre prvú a poslednú kartu */
.container .card:first-child {
    margin-left: 0;
    min-height: 400px; /* Menšia výška */
}

.card:last-child {
    /* Špecifické pre Nápovedu */
    min-height: 400px; /* Menšia výška */
    height: fit-content;
}

.results-section .proof-tree-container:first-child {
    margin-left: 0;
}

.results-section .evaluation-container:last-child {
    margin-right: 0;
}

/* === ŠTÝLY PRE PRÁZDNY OBSAH === */
.empty-state {
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    height: 200px;
    color: #999;
    text-align: center;
    padding: 40px 20px;
}

.empty-state .icon {
    font-size: 3em;
    margin-bottom: 15px;
    opacity: 0.5;
}

.empty-state h3 {
    margin: 0 0 10px 0;
    color: #666;
    font-weight: 500;
}

.empty-state p {
    margin: 0;
    font-size: 0.9em;
    line-height: 1.4;
}

/* Editor Container - o polovicu tenčí */
.editor-container {
    height: 300px; /* Ešte menšia výška editora */
    border: 1px solid var(--border-color);
    border-radius: 8px;
    overflow: hidden;
    margin-bottom: 0;
}

/* === VÝSLEDKY - ROVNAKÉ ROZLOŽENIE === */
.results-section {
    margin-top: 25px;
    display: grid;
    grid-template-columns: minmax(0, 2fr) minmax(0, 1fr);
    gap: 25px;
    padding: 0 10px;
}


/* Proof Tree a Evaluation kontajnery - vždy viditeľné */
.proof-tree-container, 
.evaluation-container {
    background: white;
    border-radius: 10px;
    padding: 25px;
    margin: 0;
    box-shadow: 0 2px 10px rgba(0,0,0,0.1);
    border-left: 4px solid var(--accent-color);
    min-height: 650px; /* Väčšia výška */
    display: block !important;
}

/* Štýly pre prázdne stav */
.proof-tree-container:empty::before,
.evaluation-container:empty::before {
    content: "Žiadne výsledky typovej kontroly";
    color: #999;
    font-style: italic;
    display: flex;
    align-items: center;
    justify-content: center;
    height: 100%;
    text-align: center;
}

.evaluation-container:empty::before {
    content: "Žiadny postup evaluácie";
}

/* === OSTATNÉ ŠTÝLY === */

/* Status & Results */
.status-panel {
    background: #f8f9fa;
    padding: 15px;
    border-radius: 6px;
    border-left: 4px solid var(--border-color);
    margin-top: 20px;
}

.status-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    margin-bottom: 10px;
}

.status-indicator {
    padding: 6px 12px;
    border-radius: 4px;
    font-weight: 600;
    font-size: 0.9em;
}

.status-ok {
    background: var(--success-color);
    color: white;
}

.status-error {
    background: var(--error-color);
    color: white;
}

.status-warning {
    background: var(--warning-color);
    color: white;
}

.status-details {
    font-size: 0.9em;
    line-height: 1.5;
}

.error-item {
    color: var(--error-color);
    margin: 5px 0;
    padding-left: 15px;
    border-left: 3px solid var(--error-color);
}

.warning-item {
    color: var(--warning-color);
    margin: 5px 0;
    padding-left: 15px;
    border-left: 3px solid var(--warning-color);
}

.preview {
    background: #f8f9fa;
    padding: 20px;
    border-radius: 8px;
    border-left: 4px solid var(--success-color);
    margin: 20px 0;
}

.parse-result {
    margin: 15px 0;
    padding: 15px;
    background: #f8f9fa;
    border-radius: 6px;
    border-left: 4px solid var(--border-color);
}

.parse-result h4 {
    margin: 0 0 10px 0;
    color: var(--primary-color);
}

.parse-result pre {
    background: white;
    padding: 10px;
    border-radius: 4px;
    border: 1px solid var(--border-color);
    font-size: 0.85em;
    overflow-x: auto;
    max-height: 200px;
    overflow-y: auto;
}

/* Buttons & Controls */
.controls {
    display: flex;
    gap: 15px;
    margin-bottom: 20px;
    flex-wrap: wrap;
}

.btn {
    padding: 10px 20px;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    font-size: 1em;
    transition: all 0.3s ease;
    display: inline-flex;
    align-items: center;
    gap: 8px;
}

.btn-primary {
    background: var(--secondary-color);
    color: white;
}

.btn-primary:hover {
    background: #2980b9;
    transform: translateY(-2px);
}

.btn-secondary {
    background: #95a5a6;
    color: white;
}

.btn-secondary:hover {
    background: #7f8c8d;
}

.btn-success {
    background: var(--success-color);
    color: white;
}

.btn-success:hover {
    background: #219955;
}

.download-buttons {
    display: flex;
    gap: 10px;
    margin: 0 !important;
}

.symbol-palette {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    margin: 15px 0;
    padding: 15px;
    background: #f8f9fa;
    border-radius: 8px;
    border: 1px solid var(--border-color);
}

.symbol-btn {
    padding: 8px 12px;
    background: white;
    border: 1px solid var(--border-color);
    border-radius: 4px;
    cursor: pointer;
    font-family: 'Consolas', monospace;
    transition: all 0.2s ease;
}

.symbol-btn:hover {
    background: var(--secondary-color);
    color: white;
    transform: scale(1.05);
}

.example-selector {
    width: 40%;
    padding: 12px 15px; /* Väčšie padding */
    border: 1px solid var(--border-color);
    border-radius: 6px;
    margin-bottom: 15px;
    background: white;
    font-size: 18px; /* Väčšie písmo */
    font-weight: 500;
    color: var(--text-color);
    cursor: pointer;
    transition: all 0.2s ease;
}

.example-selector:focus {
    outline: none;
    border-color: var(--secondary-color);
    box-shadow: 0 0 0 3px rgba(52, 152, 219, 0.1);
}

.example-selector:hover {
    border-color: var(--secondary-color);
}

.example-selector option {
    font-size: 16px;
    padding: 8px 12px;
}

/* Štýly pre placeholder */
.example-selector option[value=""] {
    color: #999;
    font-style: italic;
}

/* Messages */
.error {
    background: #ffeaa7;
    color: #d63031;
    padding: 15px;
    border-radius: 6px;
    border-left: 4px solid #e74c3c;
    margin: 15px 0;
}

.success {
    background: #d1f7c4;
    color: #27ae60;
    padding: 15px;
    border-radius: 6px;
    border-left: 4px solid var(--success-color);
    margin: 15px 0;
}

/* Proof Tree Styles */
.proof-tree-step.active {
    display: block;
}

.proof-tree-nav {
    background: white !important;
    padding: 8px 16px !important;
    border: 1px solid var(--border-color) !important;
    border-radius: 6px !important;
    display: flex !important;
    justify-content: center !important;
    align-items: center !important;
    gap: 12px !important;
    margin: 0 !important;
    width: auto !important;
    position: static !important;
    z-index: 100 !important;
    flex: 0 0 auto;
    height: auto !important;
}

.proof-tree-nav button {
    padding: 6px 12px !important;
    background: var(--secondary-color) !important;
    color: white !important;
    border: none !important;
    border-radius: 4px !important;
    cursor: pointer !important;
    font-size: 14px !important;
    font-weight: 500;
}

.proof-tree-nav button:disabled {
    background: #bdc3c7 !important;
    cursor: not-allowed !important;
}

.proof-tree-nav button:hover:not(:disabled) {
    background: #2980b9 !important;
}

#stepCounter {
    font-weight: bold !important;
    color: var(--primary-color) !important;
    min-width: 100px !important;
    text-align: center !important;
    font-size: 14px !important;
    margin: 0 10px !important;
}

/* Proof Tree Container with Zoom and Pan */
.proof-tree-container {
    position: relative;
    overflow: hidden;
    border: 1px solid var(--border-color);
    border-left: 4px solid var(--accent-color); /* Červená */
    border-radius: 8px;
    background: white;
    height: 800px;
    margin-bottom: 0;
    padding: 0 !important;
    box-sizing: border-box !important;
    width: 100% !important;
    display: flex;
    flex-direction: column;
}

.proof-tree-viewport {
    position: relative;
    width: 100% !important;
    height: calc(100% - 80px) !important; /* Odpočítaj header */
    flex: 1 1 auto;
    overflow: hidden;
    cursor: grab;
    background: #f8f9fa;
    border: none !important;
    padding: 0 !important;
    margin: 0 !important;
    box-sizing: border-box !important;
}

.proof-tree-viewport:active {
    cursor: grabbing;
}

.proof-tree-content {
    position: absolute;
    top: 0;
    left: 0;
    width: max-content;
    height: max-content;
    transform-origin: 0 0;
    transition: transform 0.01s ease;
    padding: 20px;
    box-sizing: border-box !important;
}

.proof-tree-steps {
    position: relative;
}

.proof-tree-step {
    background: white;
    padding: 20px;
    border-radius: 8px;
    border: 1px solid var(--border-color);
    box-shadow: 0 2px 4px rgba(0,0,0,0.1);
    margin: 10px 0;
    min-width: 200px !important;
    max-width: none !important;
    transform-origin: 0 0;
    transition: transform 0.2s ease;
    overflow: visible !important;
}

/* Zoom & Pan Controls */
.proof-tree-zoom-controls {
    position: absolute;
    top: 150px;  /* Zmenené z 10px na 70px */
    right: 10px;
    z-index: 100;
    display: flex;
    flex-direction: row;
    gap: 5px;
    background: white;
    padding: 8px;
    border-radius: 6px;
    box-shadow: 0 2px 8px rgba(0,0,0,0.15);
    border: 1px solid var(--border-color);
}

.zoom-btn {
    width: 32px;
    height: 32px;
    border: none;
    border-radius: 4px;
    background: var(--secondary-color);
    color: white;
    cursor: pointer;
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 16px;
    font-weight: bold;
}

.zoom-btn:hover {
    background: #2980b9;
}

.zoom-btn:disabled {
    background: #bdc3c7;
    cursor: not-allowed;
}

.zoom-reset-btn {
    background: var(--primary-color);
}

.zoom-reset-btn:hover {
    background: #1a252f;
}

.zoom-level {
    text-align: center;
    font-size: 12px;
    font-weight: bold;
    color: var(--primary-color);
    margin: 2px 0;
    min-width: 45px;
}

.proof-tree-pan-controls {
    position: absolute;
    bottom: 10px;
    right: 10px;
    z-index: 10;
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 2px;
    background: white;
    padding: 8px;
    border-radius: 6px;
    box-shadow: 0 2px 8px rgba(0,0,0,0.15);
    border: 1px solid var(--border-color);
}

.pan-btn {
    width: 28px;
    height: 28px;
    border: none;
    border-radius: 3px;
    background: var(--secondary-color);
    color: white;
    cursor: pointer;
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 12px;
}

.pan-btn:hover {
    background: #2980b9;
}

/* Control Panel */
.control-panel-container {
    position: fixed;
    top: 15px;
    right: 20px;
    z-index: 1000;
}

.control-panel-btn {
    padding: 10px 16px;
    background: var(--secondary-color);
    color: white;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    font-size: 1em;
    display: flex;
    align-items: center;
    gap: 8px;
    transition: all 0.3s ease;
    box-shadow: 0 2px 8px rgba(0,0,0,0.15);
}

.control-panel-btn:hover {
    background: #2980b9;
    transform: translateY(-1px);
    box-shadow: 0 4px 12px rgba(0,0,0,0.2);
}

.control-panel-popover {
    position: absolute;
    top: 100%;
    right: 0;
    margin-top: 5px;
    background: white;
    border: 1px solid var(--border-color);
    border-radius: 8px;
    box-shadow: 0 4px 20px rgba(0,0,0,0.15);
    z-index: 1000;
    min-width: 280px;
    max-height: 500px;
    overflow-y: auto;
}

.control-panel-section {
    padding: 16px;
    border-bottom: 1px solid var(--border-color);
}

.control-panel-section:last-child {
    border-bottom: none;
}

.control-panel-label {
    display: flex;
    align-items: center;
    justify-content: space-between;
    margin-bottom: 8px;
    font-weight: 600;
    color: var(--primary-color);
}

/* Toggle Switch */
.switch {
    position: relative;
    display: inline-block;
    width: 44px;
    height: 24px;
}

.switch input {
    opacity: 0;
    width: 0;
    height: 0;
}

.slider {
    position: absolute;
    cursor: pointer;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background-color: #ccc;
    transition: .4s;
    border-radius: 24px;
}

.slider:before {
    position: absolute;
    content: "";
    height: 18px;
    width: 18px;
    left: 3px;
    bottom: 3px;
    background-color: white;
    transition: .4s;
    border-radius: 50%;
}

input:checked + .slider {
    background-color: var(--success-color);
}

input:checked + .slider:before {
    transform: translateX(20px);
}

/* Font Size Controls */
.font-size-controls {
    display: flex;
    align-items: center;
    gap: 12px;
}

.font-size-btn {
    padding: 6px 10px;
    background: var(--secondary-color);
    color: white;
    border: none;
    border-radius: 4px;
    cursor: pointer;
    font-size: 16px;
    display: flex;
    align-items: center;
    justify-content: center;
    width: 32px;
    height: 32px;
}

.font-size-btn:disabled {
    background: #bdc3c7;
    cursor: not-allowed;
}

.font-size-input {
    width: 60px;
    padding: 6px 8px;
    border: 1px solid var(--border-color);
    border-radius: 4px;
    text-align: center;
    font-size: 14px;
}

/* Color Picker */
.color-picker-btn {
    display: flex;
    align-items: center;
    gap: 8px;
    padding: 8px 12px;
    background: #f8f9fa;
    border: 1px solid var(--border-color);
    border-radius: 6px;
    cursor: pointer;
    width: 100%;
    transition: all 0.2s ease;
}

.color-picker-btn:hover {
    background: #e9ecef;
}

.color-swatch {
    width: 24px;
    height: 24px;
    border-radius: 4px;
    border: 2px solid var(--border-color);
}

.color-picker-popup {
    position: absolute;
    background: white;
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 16px;
    box-shadow: 0 4px 20px rgba(0,0,0,0.15);
    z-index: 1001;
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 8px;
}

.color-option {
    width: 32px;
    height: 32px;
    border-radius: 4px;
    cursor: pointer;
    border: 2px solid transparent;
    transition: all 0.2s ease;
}

.color-option:hover {
    transform: scale(1.1);
    border-color: var(--primary-color);
}

/* React Aria Components */
.react-aria-Popover {
    background: white;
    border: 1px solid var(--border-color);
    border-radius: 8px;
    box-shadow: 0 8px 30px rgba(0,0,0,0.12);
    padding: 0;
    min-width: 280px;
    z-index: 10000;
    position: fixed !important;
    top: 60px !important;
    right: 20px !important;
    left: auto !important;
    transform: none !important;
    max-height: 80vh;
    overflow-y: auto;
}

.menu-bx {
    padding: 0;
}

.menu-bx .p-4 {
    padding: 16px;
    border-bottom: 1px solid var(--border-color);
}

.menu-bx .p-4:last-child {
    border-bottom: none;
}

.react-aria-Switch {
    display: flex;
    align-items: center;
    gap: 12px;
    cursor: pointer;
    font-size: 14px;
}

.react-aria-Switch input[type="checkbox"] {
    opacity: 0;
    position: absolute;
    width: 0;
    height: 0;
}

.indicator {
    width: 44px;
    height: 24px;
    background: #ccc;
    border-radius: 12px;
    position: relative;
    transition: all 0.2s ease;
}

.indicator:before {
    content: '';
    position: absolute;
    width: 18px;
    height: 18px;
    border-radius: 50%;
    background: white;
    top: 3px;
    left: 3px;
    transition: all 0.2s ease;
}

.react-aria-Switch input[type="checkbox"]:checked + .indicator {
    background: var(--success-color);
}

.react-aria-Switch input[type="checkbox"]:checked + .indicator:before {
    transform: translateX(20px);
}

.color-picker {
    display: flex;
    align-items: center;
    gap: 12px;
    background: none;
    border: none;
    cursor: pointer;
    width: 100%;
    padding: 8px 0;
    font-size: 14px;
}

.react-aria-ColorSwatch {
    width: 24px;
    height: 24px;
    border-radius: 4px;
    border: 2px solid var(--border-color);
}

.font-size-field {
    margin: 0 12px;
}

.text-input {
    width: 60px;
    padding: 6px 8px;
    border: 1px solid var(--border-color);
    border-radius: 4px;
    text-align: center;
    font-size: 14px;
}

.react-aria-Button {
    background: var(--secondary-color);
    color: white;
    border: none;
    border-radius: 4px;
    cursor: pointer;
    width: 32px;
    height: 32px;
    display: flex;
    align-items: center;
    justify-content: center;
}

.react-aria-Button:disabled {
    background: #bdc3c7;
    cursor: not-allowed;
}

.react-aria-Separator {
    border: none;
    border-top: 1px solid var(--border-color);
    margin: 0;
}

/* Utility Classes */
.proof-tree-compact .proof-tree-step {
    display: block !important;
}

.proof-tree-compact .proof-tree-nav {
    display: none;
}

.proof-tree-container.compact-view .proof-tree-nav {
    display: none !important;
}

.proof-tree-container.compact-view .proof-tree-step {
    display: block !important;
    margin-bottom: 0;
}

.math-container {
    transform-origin: 0 0;
}

.proof-tree-nav-wrapper {
    display: none !important;
}

/* Navigation visibility classes */
.proof-tree-nav.visible {
    display: flex !important;
    visibility: visible !important;
}

.proof-tree-nav.hidden {
    display: none !important;
    visibility: hidden !important;
}
.proof-tree-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 15px 25px;
    border-bottom: 2px solid var(--border-color);
    background: white;
    border-radius: 10px 10px 0 0;
}

.proof-tree-title-section {
    display: flex;
    align-items: center;
    gap: 20px;
}
.proof-tree-title-section h2 {
    margin: 0;
    color: var(--primary-color);
    font-size: 1.4em;
    font-weight: 600;
}

.MathJax, mjx-container {
    max-width: none !important;
    overflow: visible !important;
}

/* Guide Button */
.guide-btn {
    position: fixed;
    top: 20px;
    left: 20px;
    z-index: 1000;
    padding: 12px 20px;
    background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    color: white;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    font-size: 1em;
    font-weight: 600;
    display: flex;
    align-items: center;
    gap: 8px;
    box-shadow: 0 4px 12px rgba(0,0,0,0.15);
    transition: all 0.3s ease;
}

.guide-btn:hover {
    transform: translateY(-2px);
    box-shadow: 0 6px 16px rgba(0,0,0,0.2);
}

/* Guide Modal */
.guide-modal {
    display: none;
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgba(0,0,0,0.7);
    z-index: 2000;
    backdrop-filter: blur(5px);
}

.guide-content {
    position: absolute;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    background: white;
    padding: 0;
    border-radius: 12px;
    max-width: 900px;
    width: 90%;
    max-height: 85vh;
    overflow: hidden;
    box-shadow: 0 20px 60px rgba(0,0,0,0.3);
}

.guide-header {
    background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    color: white;
    padding: 25px 30px;
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.guide-header h2 {
    margin: 0;
    font-size: 1.8em;
    font-weight: 300;
}

.close-guide {
    background: none;
    border: none;
    color: white;
    font-size: 2em;
    cursor: pointer;
    padding: 0;
    width: 40px;
    height: 40px;
    display: flex;
    align-items: center;
    justify-content: center;
    border-radius: 50%;
    transition: background 0.3s ease;
}

.close-guide:hover {
    background: rgba(255,255,255,0.2);
}

.guide-body {
    padding: 30px;
    max-height: calc(85vh - 100px);
    overflow-y: auto;
}

.guide-section {
    margin-bottom: 35px;
}

.guide-section h3 {
    color: var(--primary-color);
    border-bottom: 2px solid var(--border-color);
    padding-bottom: 10px;
    margin-bottom: 20px;
    font-size: 1.4em;
}

.guide-section h4 {
    color: var(--secondary-color);
    margin: 20px 0 10px 0;
    font-size: 1.1em;
}

.guide-example {
    background: #f8f9fa;
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 20px;
    margin: 15px 0;
    font-family: 'Consolas', 'Monaco', monospace;
    font-size: 0.9em;
    line-height: 1.5;
}

.guide-note {
    background: #e8f4fd;
    border-left: 4px solid var(--secondary-color);
    padding: 15px;
    margin: 15px 0;
    border-radius: 4px;
}

.guide-table {
    width: 100%;
    border-collapse: collapse;
    margin: 15px 0;
}

.guide-table th, .guide-table td {
    border: 1px solid var(--border-color);
    padding: 12px;
    text-align: left;
}

.guide-table th {
    background: var(--primary-color);
    color: white;
    font-weight: 600;
}

.guide-table tr:nth-child(even) {
    background: #f8f9fa;
}

.syntax-keyword {
    color: #d73a49;
    font-weight: bold;
}

.syntax-symbol {
    color: #6f42c1;
    font-weight: bold;
}

.syntax-type {
    color: #005cc5;
    font-weight: bold;
}

.syntax-var {
    color: #e36209;
    font-weight: bold;
}

/* Responzívne pre mobil */
@media (max-width: 968px) {
    .container {
        grid-template-columns: 1fr;
    }
    .container:not(.expanded) {
        grid-template-columns: 1fr;
    }
    
    .results-section {
        grid-template-columns: 1fr;
    }
}
@media (max-width: 968px) {
    .proof-tree-header {
        flex-direction: column;
        gap: 15px;
        align-items: flex-start;
    }
    
    .proof-tree-title-section {
        flex-direction: column;
        align-items: flex-start;
        gap: 10px;
        width: 100%;
    }
    
    .proof-tree-nav {
        width: 100%;
        justify-content: center;
    }
    
    .download-buttons {
        width: 100%;
        justify-content: center;
    }
}