:root {
    --bg-color: #f6f8fa;
    --card-bg: #ffffff;
    --text-main: #24292e;
    --text-muted: #586069;
    --border: #e1e4e8;
    --primary: #0366d6;
    --primary-hover: #005cc5;
}

* {
    box-sizing: border-box;
    margin: 0;
    padding: 0;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
    background-color: var(--bg-color);
    color: var(--text-main);
    line-height: 1.5;
    padding: 20px;
}

.container {
    max-width: 1000px;
    margin: 0 auto;
    background-color: var(--card-bg);
    border: 1px solid var(--border);
    border-radius: 6px;
    padding: 30px;
}

h1 {
    font-size: 24px;
    font-weight: 600;
    margin-bottom: 20px;
    padding-bottom: 10px;
    border-bottom: 1px solid var(--border);
}

.input-section {
    margin-bottom: 25px;
}

.input-section label {
    display: block;
    font-weight: 600;
    margin-bottom: 8px;
    font-size: 14px;
}

.input-group {
    display: flex;
    gap: 8px;
    margin-bottom: 10px;
}

input[type="text"] {
    flex: 1;
    padding: 6px 12px;
    font-size: 14px;
    font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
    color: var(--text-main);
    background-color: #fafbfc;
    border: 1px solid var(--border);
    border-radius: 4px;
    outline: none;
}

input[type="text"]:focus {
    border-color: var(--primary);
    background-color: #fff;
    box-shadow: 0 0 0 3px rgba(3, 102, 214, 0.3);
}

.help-text {
    font-size: 12px;
    color: var(--text-muted);
}

button {
    padding: 6px 16px;
    font-size: 14px;
    font-weight: 600;
    color: #fff;
    background-color: #2ea44f;
    border: 1px solid rgba(27, 31, 35, 0.15);
    border-radius: 4px;
    cursor: pointer;
    appearance: none;
}

button:hover {
    background-color: #2c974b;
}

button:active {
    background-color: #2a8f47;
}

.error-msg {
    color: #cb2431;
    background-color: #ffeef0;
    border: 1px solid #fdaeb7;
    padding: 10px;
    border-radius: 4px;
    font-size: 14px;
    margin-bottom: 20px;
    display: none;
}

.output-section {
    display: flex;
    flex-direction: column;
    gap: 20px;
}

.circuit-container {
    overflow: auto;
    border: 1px solid var(--border);
    border-radius: 4px;
    background-color: #fff;
    background-image: linear-gradient(#f1f1f1 1px, transparent 1px), linear-gradient(90deg, #f1f1f1 1px, transparent 1px);
    background-size: 20px 20px;
    max-height: 500px;
    cursor: crosshair;
}

canvas {
    display: block;
}

.summary-container {
    border: 1px solid var(--border);
    border-radius: 4px;
    padding: 20px;
}

.summary-container h2 {
    font-size: 16px;
    margin-bottom: 15px;
    font-weight: 600;
    display: flex;
    align-items: center;
    gap: 8px;
    color: var(--text-main);
}

#summary-content p {
    font-size: 14px;
    margin-bottom: 15px;
    line-height: 1.6;
}

#summary-content ul li {
    font-size: 13px;
    color: var(--text-muted);
}

table.truth-table {
    width: 100%;
    border-collapse: collapse;
    font-size: 13px;
    font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
}

table.truth-table th, table.truth-table td {
    border: 1px solid var(--border);
    padding: 6px 10px;
    text-align: center;
}

table.truth-table th {
    background-color: #f6f8fa;
    font-weight: 600;
}

table.truth-table tr:nth-child(even) {
    background-color: #fafbfc;
}

table.truth-table td.out-col {
    font-weight: bold;
    background-color: #f1f8ff;
}

/* Mobile Responsive */
@media (max-width: 600px) {
    body {
        padding: 10px;
    }
    .container {
        padding: 15px;
    }
    .input-group {
        flex-direction: column;
    }
    button {
        width: 100%;
        padding: 10px;
    }
}

/* Scrollbar Styling */
::-webkit-scrollbar {
    width: 10px;
    height: 10px;
}

::-webkit-scrollbar-track {
    background: var(--bg-color);
    border-radius: 4px;
}

::-webkit-scrollbar-thumb {
    background: #c1c1c1;
    border: 2px solid var(--bg-color);
    border-radius: 6px;
}

::-webkit-scrollbar-thumb:hover {
    background: #a8a8a8;
}

::-webkit-scrollbar-corner {
    background: var(--bg-color);
}

.circuit-container::-webkit-scrollbar-track {
    background: #fff;
}

.circuit-container::-webkit-scrollbar-thumb {
    border-color: #fff;
}

.circuit-container::-webkit-scrollbar-corner {
    background: #fff;
}