/* ==========================================================================
   Tarski Theme Clone
   ========================================================================== */

/* Reset & Base */
html { box-sizing: border-box; }
*, *::before, *::after { box-sizing: inherit; }

body {
    margin: 0;
    padding: 0;
    font-family: "Times New Roman", Times, Georgia, serif;
    font-size: 100%;
    line-height: 1.6;
    color: #404040;
    background: #fff;
}

a { color: #006a80; text-decoration: none; }
a:hover { color: #a8001c; }

img { max-width: 100%; height: auto; }

/* ==========================================================================
   Layout
   ========================================================================== */

#wrapper {
    width: 760px;
    margin: 0 auto;
    padding: 0 10px;
}

/* Header */
#header {
    padding: 30px 0 0;
    margin-bottom: 10px;
}

#blog-title {
    font-family: "Times New Roman", Times, serif;
    font-size: 2em;
    font-weight: normal;
    margin: 0;
    line-height: 1.2;
}

#blog-title a {
    color: #404040;
    text-decoration: none;
}

#blog-title a:hover {
    color: #a8001c;
}

#tagline {
    font-family: "Times New Roman", Times, serif;
    font-style: italic;
    font-size: 1em;
    color: #808080;
    margin: 4px 0 16px;
}

/* Navigation */
#navigation {
    border-top: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
    margin-bottom: 20px;
}

#navigation ul {
    list-style: none;
    margin: 0;
    padding: 0;
    display: flex;
}

#navigation li {
    margin: 0;
}

#navigation a {
    display: block;
    padding: 6px 14px;
    font-size: .9em;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: #404040;
}

#navigation a:hover {
    color: #a8001c;
}

#navigation .current a {
    color: #8fbf60;
    font-weight: bold;
}

/* Primary Content */
#primary {
    float: left;
    width: 500px;
}

/* Sidebar */
#secondary {
    float: right;
    width: 200px;
}

#secondary h3 {
    color: #8fbf60;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    font-size: .9em;
    font-family: "Times New Roman", Times, Georgia, serif;
    margin: 20px 0 8px;
    padding: 0;
}

#secondary h3:first-child {
    margin-top: 0;
}

#secondary ul {
    list-style: none;
    margin: 0 0 16px;
    padding: 0;
}

#secondary li {
    margin: 4px 0;
    font-size: .9em;
}

#secondary p {
    font-size: 1em;
    margin: 0 0 16px;
}

/* Footer */
#footer {
    clear: both;
    border-top: 3px double #ccc;
    padding: 12px 0;
    margin-top: 30px;
    font-size: 1em;
    color: #808080;
    text-align: center;
}

#footer a {
    color: #808080;
}

#footer a:hover {
    color: #a8001c;
}

/* Clearfix */
#header::after,
#wrapper::after {
    content: "";
    display: table;
    clear: both;
}

/* ==========================================================================
   Post Styles
   ========================================================================== */

.post {
    margin-bottom: 30px;
}

.post-title {
    font-family: "Times New Roman", Times, serif;
    font-size: 2em;
    font-weight: normal;
    margin: 0 0 4px;
    padding-bottom: 8px;
    border-bottom: 1px solid #ccc;
    line-height: 1.3;
}

.post-title a {
    color: #404040;
}

.post-title a:hover {
    color: #a8001c;
}

.post-meta {
    font-size: 1em;
    color: #808080;
    margin-bottom: 16px;
}

.post-content {
    line-height: 1.7;
}

.post-content p {
    margin: 1em 0;
}

.post-content ul {
    padding-left: 24px;
    margin: 16px 0;
}

.post-content ul ul {
    margin: 4px 0;
}

.post-content li {
    margin: 8px 0;
}

.continue-reading {
    display: inline-block;
    margin-top: 8px;
    font-size: 0.9em;
}

/* ==========================================================================
   Code & Syntax Highlighting
   ========================================================================== */

pre {
    background: #f8f8f8;
    padding: 12px 16px;
    overflow-x: auto;
    font-family: Consolas, Monaco, "Courier New", monospace;
    font-size: 0.9em;
    line-height: 1.5;
    border: 1px solid #e8e8e8;
}

code {
    font-family: Consolas, Monaco, "Courier New", monospace;
    font-size: 0.9em;
    background: #f8f8f8;
    padding: 1px 4px;
}

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

.keyword { color: #569cd6; }
.arg { color: #4ec9b0; }

/* ==========================================================================
   ARC Visualization
   ========================================================================== */

.arc-example {
    background: #1a1a1a;
    border-radius: 4px;
    padding: 12px;
    margin: 16px 0;
}

.arc-header {
    display: flex;
    justify-content: space-between;
    color: #888;
    font-size: 12px;
    margin-bottom: 8px;
}

.arc-pair {
    display: flex;
    align-items: center;
    gap: 16px;
    justify-content: center;
}

.arc-arrow {
    color: #666;
    font-size: 20px;
}

.arc-grid {
    display: inline-block;
}

.arc-row {
    display: flex;
}

.arc-cell {
    width: 14px;
    height: 14px;
    border: 1px solid #333;
    box-sizing: border-box;
}

/* ==========================================================================
   Responsive
   ========================================================================== */

@media (max-width: 800px) {
    #wrapper {
        width: auto;
        padding: 0 16px;
    }

    #primary {
        float: none;
        width: 100%;
    }

    #secondary {
        float: none;
        width: 100%;
        margin-top: 30px;
        border-top: 1px solid #ddd;
        padding-top: 10px;
    }

    .post-title {
        font-size: 1.6em;
    }

    #blog-title {
        font-size: 2em;
    }

    #tagline {
        font-size: 1.2em;
    }
}