/* CS81 Summaries - Mobile-Friendly Stylesheet */

:root {
    --primary-color: #2c3e50;
    --accent-color: #3498db;
    --bg-color: #ffffff;
    --text-color: #333333;
    --border-color: #e0e0e0;
    --code-bg: #f5f5f5;
    --link-color: #2980b9;
    --link-hover: #1a5a8a;
}

/* Reset and base styles */
* {
    box-sizing: border-box;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto,
                 'Helvetica Neue', Arial, sans-serif;
    line-height: 1.6;
    color: var(--text-color);
    max-width: 900px;
    margin: 0 auto;
    padding: 20px;
    background: var(--bg-color);
}

/* Container */
.container {
    max-width: 900px;
    margin: 0 auto;
}

/* Typography */
h1 {
    font-size: 2em;
    margin: 0.67em 0;
    color: var(--primary-color);
    border-bottom: 2px solid var(--accent-color);
    padding-bottom: 0.3em;
}

h2 {
    font-size: 1.5em;
    margin: 0.83em 0 0.5em 0;
    color: var(--primary-color);
}

h3 {
    font-size: 1.17em;
    margin: 0.83em 0;
    color: var(--primary-color);
}

h4, h5, h6 {
    margin: 1em 0 0.5em 0;
    color: var(--primary-color);
}

p {
    margin: 1em 0;
}

/* Links */
a {
    color: var(--link-color);
    text-decoration: none;
}

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

/* Navigation */
.page-navigation {
    display: flex;
    justify-content: space-between;
    align-items: center;
    flex-wrap: wrap;
    gap: 10px;
    padding: 15px;
    background: var(--code-bg);
    border: 1px solid var(--border-color);
    border-radius: 5px;
    margin: 20px 0;
}

.nav-prev,
.nav-next,
.nav-toc {
    padding: 8px 15px;
    background: var(--accent-color);
    color: white;
    text-decoration: none;
    border-radius: 3px;
    font-size: 0.9em;
    transition: background 0.2s;
}

.nav-prev:hover,
.nav-next:hover,
.nav-toc:hover {
    background: var(--primary-color);
    text-decoration: none;
}

.nav-toc {
    flex-grow: 1;
    text-align: center;
    margin: 0 10px;
}

/* Callout boxes */
.callout {
    border-left: 4px solid var(--accent-color);
    padding: 15px;
    margin: 20px 0;
    background: var(--code-bg);
    border-radius: 0 5px 5px 0;
}

.callout-definition {
    border-left-color: #e74c3c;
    background: #fef5f5;
}

.callout-example {
    border-left-color: #27ae60;
    background: #f0f9f4;
}

.callout-theorem {
    border-left-color: #f39c12;
    background: #fef9f0;
}

.callout-proof {
    border-left-color: #9b59b6;
    background: #f8f5fa;
}

.callout > p:first-child strong,
.callout > strong:first-child {
    display: block;
    font-size: 1.1em;
    margin-bottom: 10px;
    color: var(--primary-color);
}

/* Code blocks */
pre {
    background: var(--code-bg);
    border: 1px solid var(--border-color);
    border-radius: 5px;
    padding: 15px;
    overflow-x: auto;
    font-size: 0.9em;
}

code {
    background: var(--code-bg);
    padding: 2px 5px;
    border-radius: 3px;
    font-family: 'Courier New', 'Consolas', monospace;
    font-size: 0.9em;
}

pre code {
    background: none;
    padding: 0;
}

/* Images */
img {
    max-width: 100%;
    height: auto;
    display: block;
    margin: 20px auto;
    border-radius: 3px;
}

/* Tables */
table {
    border-collapse: collapse;
    width: 100%;
    margin: 20px 0;
    display: table;
    table-layout: auto;
}

/* Wrap table in scrollable container on mobile */
@media (max-width: 600px) {
    table {
        display: block;
        overflow-x: auto;
        white-space: nowrap;
    }
}

th,
td {
    border: 1px solid var(--border-color);
    padding: 10px;
    text-align: left;
    vertical-align: top;
}

th {
    background: var(--code-bg);
    font-weight: bold;
    color: var(--primary-color);
}

tr:nth-child(even) {
    background: #fafafa;
}

/* Lists */
ul, ol {
    margin: 1em 0;
    padding-left: 2em;
}

li {
    margin: 0.5em 0;
}

/* Blockquotes */
blockquote {
    border-left: 4px solid var(--border-color);
    padding-left: 20px;
    margin: 20px 0;
    color: #666;
    font-style: italic;
}

/* Table of Contents (Pandoc-generated) */
#TOC {
    background: var(--code-bg);
    border: 1px solid var(--border-color);
    padding: 20px;
    margin: 20px 0;
    border-radius: 5px;
}

#TOC ul {
    list-style-type: none;
    padding-left: 0;
}

#TOC li {
    margin: 5px 0;
}

#TOC ul ul {
    padding-left: 20px;
    margin-top: 5px;
}

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

/* Horizontal rules */
hr {
    border: none;
    border-top: 1px solid var(--border-color);
    margin: 2em 0;
}

/* Mobile responsiveness */
@media (max-width: 600px) {
    body {
        padding: 10px;
        font-size: 16px;
    }

    .page-navigation {
        flex-direction: column;
        align-items: stretch;
    }

    .nav-prev,
    .nav-next,
    .nav-toc {
        width: 100%;
        text-align: center;
        margin: 0;
    }

    h1 {
        font-size: 1.5em;
    }

    h2 {
        font-size: 1.2em;
    }

    h3 {
        font-size: 1.05em;
    }

    pre {
        padding: 10px;
        font-size: 0.85em;
    }

    th, td {
        padding: 8px;
        font-size: 0.9em;
    }
}

/* Print styles */
@media print {
    body {
        max-width: none;
        padding: 0;
    }

    .page-navigation {
        display: none;
    }

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

    pre, .callout {
        page-break-inside: avoid;
    }
}