/* Erdos Problems LLM Hunter - Styles
   Plain, academic styling inspired by erdosproblems.com */

:root {
    --bg-color: #ffffff;
    --text-color: #333333;
    --link-color: #0066cc;
    --link-hover: #004499;
    --border-color: #dddddd;
    --header-bg: #f5f5f5;
    --code-bg: #f8f8f8;
    --accent-color: #0066cc;
    --success-color: #28a745;
    --warning-color: #ffc107;
    --danger-color: #dc3545;
    --muted-color: #666666;
}

* {
    box-sizing: border-box;
}

body {
    font-family: "Computer Modern Serif", Georgia, "Times New Roman", serif;
    font-size: 16px;
    line-height: 1.6;
    color: var(--text-color);
    background-color: var(--bg-color);
    margin: 0;
    padding: 0;
}

/* Header */
header {
    background-color: var(--header-bg);
    border-bottom: 1px solid var(--border-color);
    padding: 1rem 2rem;
}

header h1 {
    margin: 0 0 0.5rem 0;
    font-size: 1.75rem;
    font-weight: normal;
}

header .subtitle {
    margin: 0 0 0.5rem 0;
    font-size: 0.9rem;
    color: var(--muted-color);
    font-style: italic;
}

nav {
    display: flex;
    gap: 1.5rem;
    flex-wrap: wrap;
}

nav a {
    color: var(--link-color);
    text-decoration: none;
}

nav a:hover {
    text-decoration: underline;
}

nav a.active {
    font-weight: bold;
}

/* Main content */
main {
    max-width: 900px;
    margin: 0 auto;
    padding: 2rem;
}

h2 {
    font-size: 1.4rem;
    font-weight: normal;
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 0.5rem;
    margin-top: 2rem;
}

h3 {
    font-size: 1.1rem;
    font-weight: bold;
    margin-top: 1.5rem;
}

a {
    color: var(--link-color);
}

a:hover {
    color: var(--link-hover);
}

/* Intro section */
.intro {
    font-size: 1.1rem;
    margin-bottom: 2rem;
}

/* Stats */
.stats {
    margin: 2rem 0;
}

#stats-container {
    display: flex;
    gap: 2rem;
    flex-wrap: wrap;
}

.stat-box {
    flex: 1;
    min-width: 250px;
    padding: 1.5rem;
    border: 1px solid var(--border-color);
    background-color: var(--header-bg);
}

.stat-box h3 {
    margin-top: 0;
    font-size: 1.2rem;
}

.btn {
    display: inline-block;
    padding: 0.5rem 1rem;
    background-color: var(--accent-color);
    color: white;
    text-decoration: none;
    margin-top: 1rem;
}

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

/* Tables */
table {
    width: 100%;
    border-collapse: collapse;
    margin: 1rem 0;
    font-size: 0.95rem;
}

th, td {
    padding: 0.75rem 1rem;
    text-align: left;
    border-bottom: 1px solid var(--border-color);
    vertical-align: middle;
}

th {
    background-color: var(--header-bg);
    font-weight: bold;
    white-space: nowrap;
}

th[style*="cursor: pointer"]:hover {
    background-color: #e8e8e8;
}

tr:hover {
    background-color: #f9f9f9;
}

/* Status text in tables */
td:nth-child(2) {
    font-weight: 500;
}

/* Links column */
td:last-child {
    white-space: nowrap;
}

/* Table status colors */
.table-status-solved {
    color: var(--success-color);
    font-weight: 600;
}

.table-status-partial {
    color: #b8860b;
    font-weight: 600;
}

.table-status-unresolved {
    color: var(--muted-color);
}

/* Filters */
.filters {
    margin: 1rem 0;
    padding: 1rem;
    background-color: var(--header-bg);
    border: 1px solid var(--border-color);
    display: flex;
    gap: 2rem;
    flex-wrap: wrap;
    align-items: center;
}

.filters label {
    display: flex;
    align-items: center;
    gap: 0.5rem;
}

.filters input[type="text"] {
    padding: 0.5rem;
    border: 1px solid var(--border-color);
    font-family: inherit;
    font-size: 1rem;
}

/* Problem page */
.problem-header {
    margin-bottom: 2rem;
}

#problem-meta p {
    margin: 0.25rem 0;
}

.problem-statement {
    margin: 2rem 0;
}

.math-content {
    padding: 1rem;
    background-color: #fafafa;
    border: 1px solid var(--border-color);
    overflow-x: auto;
}

.external-links {
    margin-top: 1rem;
    padding: 0.75rem;
    background-color: var(--header-bg);
    border: 1px solid var(--border-color);
}

/* LLM attempts */
.llm-attempts {
    margin: 2rem 0;
}

.attempt {
    margin: 1.5rem 0;
    border: 1px solid var(--border-color);
}

.attempt-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 0.75rem 1rem;
    background-color: var(--header-bg);
    border-bottom: 1px solid var(--border-color);
}

.attempt-header h3 {
    margin: 0;
    font-size: 1rem;
}

.attack-date {
    padding: 0.5rem 1rem;
    font-size: 0.85rem;
    color: var(--muted-color);
    background-color: #fafafa;
    border-bottom: 1px solid var(--border-color);
}

.status-badge {
    padding: 0.25rem 0.75rem;
    font-size: 0.8rem;
    font-weight: bold;
    text-transform: uppercase;
}

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

.status-partial {
    background-color: var(--warning-color);
    color: #333;
}

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

.attempt-content {
    padding: 1.5rem;
    font-family: "Computer Modern Serif", Georgia, serif;
    font-size: 1rem;
    line-height: 1.7;
    overflow-x: auto;
    background-color: #fafafa;
    max-height: none;
    overflow-y: visible;
}

.attempt-content p {
    margin: 0.75rem 0;
    text-align: justify;
}

.attempt-content pre {
    background-color: var(--code-bg);
    border: 1px solid var(--border-color);
    padding: 1rem;
    overflow-x: auto;
    font-family: "Courier New", monospace;
    font-size: 0.85rem;
    white-space: pre-wrap;
    word-wrap: break-word;
}

/* Contribute CTA */
.contribute-cta {
    margin: 2rem 0;
    padding: 1rem 1.5rem;
    background-color: #e8f4fc;
    border: 1px solid #b8daef;
    border-left: 4px solid var(--accent-color);
}

.contribute-cta h3 {
    margin: 0 0 0.5rem 0;
    font-size: 1rem;
    color: var(--accent-color);
}

.contribute-cta p {
    margin: 0;
}

/* Navigation */
.navigation {
    display: flex;
    justify-content: space-between;
    margin: 2rem 0;
    padding: 1rem 0;
    border-top: 1px solid var(--border-color);
}

.nav-btn {
    padding: 0.5rem 1rem;
    background-color: var(--header-bg);
    border: 1px solid var(--border-color);
    text-decoration: none;
    color: var(--text-color);
}

.nav-btn:hover {
    background-color: var(--border-color);
}

/* About page */
.about-content section {
    margin: 2rem 0;
}

.disclaimer {
    padding: 1rem;
    background-color: #fff3cd;
    border: 1px solid #ffc107;
    border-left: 4px solid #ffc107;
}

.disclaimer p {
    margin: 0.5rem 0;
}

/* Footer */
footer {
    margin-top: 3rem;
    padding: 1.5rem 2rem;
    background-color: var(--header-bg);
    border-top: 1px solid var(--border-color);
    text-align: center;
    font-size: 0.9rem;
}

footer p {
    margin: 0;
}

/* TeX content styling */
.tex-content {
    font-family: "Computer Modern Serif", Georgia, serif;
    line-height: 1.8;
}

.tex-content blockquote {
    margin: 1rem 0;
    padding: 0.75rem 1.5rem;
    border-left: 3px solid var(--accent-color);
    background-color: #f5f5f5;
    font-style: italic;
}

.tex-content h2, .tex-content h3, .tex-content h4, .tex-content h5 {
    margin-top: 1.5rem;
    margin-bottom: 0.75rem;
    color: var(--text-color);
}

.tex-content ul, .tex-content ol {
    margin: 1rem 0;
    padding-left: 2rem;
}

.tex-content li {
    margin: 0.5rem 0;
}

/* MathJax overrides */
.MathJax {
    font-size: 1em !important;
}

/* Display math styling */
.MathJax_Display {
    overflow-x: auto;
    overflow-y: hidden;
    padding: 0.5rem 0;
}

/* Ensure math formulas don't overflow */
mjx-container {
    overflow-x: auto;
    max-width: 100%;
}

mjx-container[jax="CHTML"][display="true"] {
    margin: 1rem 0 !important;
}

/* Code blocks */
code {
    font-family: "Courier New", monospace;
    background-color: var(--code-bg);
    padding: 0.2rem 0.4rem;
    font-size: 0.9em;
}

pre {
    background-color: var(--code-bg);
    padding: 1rem;
    overflow-x: auto;
    border: 1px solid var(--border-color);
}

/* Lists */
ul, ol {
    padding-left: 2rem;
}

li {
    margin: 0.5rem 0;
}

/* Responsive */
@media (max-width: 768px) {
    main {
        padding: 1rem;
    }

    header {
        padding: 1rem;
    }

    header h1 {
        font-size: 1.4rem;
    }

    nav {
        gap: 0.75rem;
        font-size: 0.9rem;
    }

    #stats-container {
        flex-direction: column;
    }

    .filters {
        flex-direction: column;
        gap: 1rem;
    }

    .filters input[type="text"] {
        width: 100%;
    }

    table {
        font-size: 0.85rem;
        display: block;
        overflow-x: auto;
        white-space: nowrap;
    }

    th, td {
        padding: 0.5rem 0.75rem;
    }

    .attempt-header {
        flex-direction: column;
        gap: 0.5rem;
        align-items: flex-start;
    }

    .attempt-content {
        padding: 1rem;
        font-size: 0.9rem;
    }

    .tex-content blockquote {
        padding: 0.5rem 1rem;
    }

    .theorem, .lemma, .proposition, .corollary, .remark, .definition, .proof {
        padding: 0.75rem;
    }

    /* Make MathJax scrollable on mobile */
    mjx-container {
        max-width: calc(100vw - 2rem);
    }
}

/* Print styles */
@media print {
    header, footer, .navigation, .filters {
        display: none;
    }

    main {
        max-width: none;
        padding: 0;
    }

    .attempt-content {
        max-height: none;
    }
}
/* Theorem-like environments styling */
.theorem, .lemma, .proposition, .corollary, .remark, .definition, .proof {
    margin: 1.5rem 0;
    padding: 1rem;
    border-left: 3px solid var(--accent-color);
    background-color: #f9f9f9;
}

.theorem strong, .lemma strong, .proposition strong, .corollary strong, .remark strong, .definition strong {
    color: var(--accent-color);
    font-weight: bold;
}

.proof {
    border-left-color: var(--muted-color);
    background-color: transparent;
    font-style: normal;
}

.proof em {
    font-weight: bold;
    font-style: italic;
}

/* LaTeX comments styling */
.latex-comment {
    color: #228B22;
    font-family: monospace;
    font-size: 0.9em;
    display: block;
    line-height: 1.4;
}