styles.css

/* Theme Variables */
:root {
    /* Theme-independent variables */
    --spacing: 0.5rem;
    --mobile-spacing: 0.25rem;
    --radius: 8px;
    --font-sm: 0.75rem;
    --font-md: 1.1rem;
    --font-lg: 1.3rem;
    --font-family: "DejaVu Sans", "DejaVu Sans Book", "DejaVu Sans Condensed", sans-serif;
    --max-width: 800px;
    --mobile-max-width: 400px;
    --transition-standard: all 0.2s ease;
    --min-height: 400px;

    /* Component dimensions */
    --button-height: 40px;
    --button-min-width: 40px;
    --tab-min-width: 80px;

    /* Theme-independent variables */
    --primary-color: #4CAF50;
    --primary-hover: #3498db;
    --warning-color: #FF9800;
    --danger-color: #dc3545;

    /* Light theme (default) */
    --cell-selected-color: #bdffbd;
    --cell-dont-care-color: #fff0bf;
    --cell-unselected-color: none;
    --bg-main: #f5f5f5;
    --bg-surface: #f8f9fa;
    --border-color: #ccc;
    --text-primary: #000;
    --text-secondary: #777;
    --shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
    --surface-hover: #f0f0f0;
    --soft-border: rgba(0, 0, 0, 0.08);
    --header-btn-border: rgba(255, 255, 255, 0.3);
    --header-btn-hover-border: rgba(255, 255, 255, 0.5);
    --header-btn-hover-bg: rgba(255, 255, 255, 0.1);
}

/* Dark theme */
[data-theme="dark"] {
    --cell-selected-color: #395c39;
    --cell-dont-care-color: #5a4f33;
    --cell-unselected-color: none;
    --bg-main: #121212;
    --bg-surface: #1E1E1E;
    --border-color: #333;
    --text-primary: #FFFFFF;
    --text-secondary: #AAAAAA;
    --shadow: 0 2px 4px rgba(0, 0, 0, 0.3);
    --surface-hover: #2A2A2A;
    --soft-border: rgba(255, 255, 255, 0.08);
    --header-btn-border: rgba(255, 255, 255, 0.2);
    --header-btn-hover-border: rgba(255, 255, 255, 0.4);
    --header-btn-hover-bg: rgba(255, 255, 255, 0.05);
}

/* CSS Reset and Base Styles */
* {
    margin: 0;
    padding: 1px;
    box-sizing: border-box;
}

*, *::before, *::after {
    font-family: var(--font-family);
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}

body {
    line-height: 1.6;
    color: var(--text-primary);
    background-color: var(--bg-main);
    max-height: 100vh;
    overscroll-behavior-y: contain;
}

/* Layout & Container Styles */

/* this is the main container that everything is inside of*/
.container {
    flex: 1;
    width: 100%;
    max-width: var(--max-width);
    margin: var(--mobile-spacing) auto;
    padding: var(--mobile-spacing);
}

/* Common container properties */
.header-bar-container,
.control-container,
.solution-container,
.tab-content-container {
    border-radius: var(--radius);
    box-shadow: var(--shadow);
    margin-bottom: var(--mobile-spacing);
    padding: var(--spacing);
    gap: var(--spacing);
}

/* Specific container properties */
.header-bar-container {
    background-color: var(--primary-color);
    display: flex;
    align-items: center;
    justify-content: space-between;
    height: 50px;
}

.control-container {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(var(--button-min-width), auto));
    background-color: var(--bg-surface);
}

.solution-container {
    display: grid;
    font-size: var(--font-lg);
    text-align: center;
    background-color: var(--bg-surface);
}

.tab-content-container {
    background-color: var(--bg-surface);
    display: none;
}

.tab-content-container.active {
    display: block;
}

/* Header & Navigation */

.header-tab-menu {
    background: rgba(255, 255, 255, 0.1);
    border-radius: 20px;
    display: inline-flex;
    position: relative;
}

.header-controls {
    display: flex;
    gap: var(--spacing);
    align-items: center;
}

.header-controls .svg-button {
    background: none;
    color: white;
    border: 1px solid var(--header-btn-border);
}

/* Tab Navigation */

.tab-btn {
    color: rgba(255, 255, 255, 0.7);
    padding: 6px 16px;
    border: none;
    background: none;
    cursor: pointer;
    border-radius: 17px;
    font-size: var(--font-lg);
    position: relative;
    z-index: 2;
    transition: var(--transition-standard);
    min-width: var(--tab-min-width);
    user-select: none;
}

.tab-btn.active {
    color: #333;
}

.slider-bg {
    position: absolute;
    top: 3px;
    left: 3px;
    background: white;
    border-radius: 17px;
    height: calc(100% - 6px);
    transition: var(--transition-standard);
    z-index: 1;
    min-width: var(--tab-min-width);
}

/* Hamburger Menu */
.hamburger-menu {
    display: none;
    background: none;
    border: 1px solid rgba(255, 255, 255, 0.3);
    color: white;
}

.kmap-groups-svg {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    pointer-events: none;
    z-index: 1;
    overflow: visible;
}

.kmap-group-path {
    fill: none;
    stroke-width: 4;
    opacity: 0.8;
    transition: var(--transition-standard);
    /* vector-effect: non-scaling-stroke; */
}

.kmap-group-path[data-wrap="true"] {
    stroke-dasharray: 10 5;
}

.cell {
    aspect-ratio: 1;
    border: 1px solid var(--border-color);
    border-radius: var(--radius);
    display: grid;
    grid-template-areas: 
        "topleft topcenter topright"
        "midleft midcenter midright"
        "botleft botcenter botright";
    grid-template-columns: 1fr auto 1fr;
    grid-template-rows: auto 1fr auto;
    cursor: pointer;
    user-select: none;
    background-color: var(--bg-surface);
    color: var(--text-primary);
    transition: var(--transition-standard);
    padding: var(--mobile-spacing);
}

.cell.selected {
    background-color: var(--cell-selected-color);
}

.cell.dont-care {
    background-color: var(--cell-dont-care-color);
}

.binary-display, .decimal-display {
    font-family: monospace;
    text-align: center;
    user-select: none;
}

.binary-display {
    font-size: var(--font-sm);
    color: var(--text-secondary);
    grid-area: botcenter;
    align-self: end;
}

.decimal-display {
    font-size: var(--font-md);
    color: var(--primary-color);
    grid-area: topleft;
    align-self: start;
    justify-self: start;
}

.center-wrapper {
    display: flex;
    align-items: center;
    justify-content: center;
    grid-area: midcenter;
}

.value-display {
    font-size: var(--font-lg);
    font-weight: bold;
    user-select: none;
}

.kmap-grid {
    display: grid;
    gap: var(--mobile-spacing);
    margin: 0 auto;
    width: 100%;
    position: relative;
}

/* Main Components - Truth Table */
.truth-table {
    width: 100%;
    border-collapse: separate;
    border-spacing: 2px;
    background-color: var(--bg-surface);
}

.truth-table th,
.truth-table td {
    padding: calc(var(--spacing) * 0.5);
    text-align: center;
    user-select: none;
    background-color: var(--bg-surface);
}

.truth-table th {
    background-color: var(--primary-color);
    color: white;
    border-radius: var(--radius);
}

.truth-table td:last-child {
    font-weight: normal;
    border: 1px solid var(--soft-border);
    border-radius: var(--radius);
    cursor: pointer;
    transition: var(--transition-standard);
    background-color: var(--bg-surface);
    color: var(--text-primary);
}

.truth-table td.selected,
.truth-table tr td.selected:last-child {
    background-color: var(--cell-selected-color);
    border-color: var(--cell-selected-color);
}

.truth-table td.dont-care,
.truth-table tr td.dont-care:last-child {
    background-color: var(--cell-dont-care-color);
    border-color: var(--cell-dont-care-color);
}

.truth-table td.row-id {
    background-color: var(--bg-surface);
    font-weight: bold;
    color: var(--text-secondary);
    cursor: default;
    border: none;
}

/* UI Elements - Buttons & Controls */
.svg-button {
    border: 1px solid var(--soft-border);
    border-radius: var(--radius);
    cursor: pointer;
    transition: var(--transition-standard);
    user-select: none;
    background: var(--bg-surface);
    color: var(--text-primary);
    display: flex;
    align-items: center;
    justify-content: center;
    flex-direction: column;
    height: auto;
    min-width: var(--button-min-width);
    padding: var(--spacing);
    gap: calc(var(--spacing) * 0.5);
}

.svg-button svg {
    width: 24px;
    height: 24px;
}

.svg-button svg:not(:only-child) {
    margin-right: 0;
}

.close-btn {
    position: absolute;
    top: 10px;
    right: 10px;
    border: 1px solid var(--border-color) !important;
    color: var(--text-primary);
    box-shadow: var(--shadow);
    z-index: 1;
}

#hide-zeros-btn.active svg {
    opacity: 0.7;
}

#hide-zeros-btn.active path,
#hide-zeros-btn.active circle,
#hide-zeros-btn.active line {
    stroke: white;
}

/* Disabled button state */
.svg-button:disabled,
.svg-button.disabled {
    opacity: 0.1;
    cursor: not-allowed;
    filter: grayscale(100%) blur(0.5px);
    pointer-events: none;
}

/* Solution Components */
.solution-header {
    display: flex;
    justify-content: center;
    align-items: center;
    position: relative;
    margin-bottom: var(--spacing);
}

.solution-header h3 {
    margin: 0;
    margin-right: var(--spacing);
}

.solution-select {
    position: static;
    right: auto;
    border-radius: var(--radius);
    border: 1px solid var(--border-color);
    background-color: var(--bg-surface);
    color: var(--text-primary);
    font-size: var(--font-lg);
    cursor: pointer;
    display: none;
}

.solution-select:focus {
    outline: none;
    border-color: var(--primary-color);
}

.solution-toolbar {
    align-items: center;
    background-color: var(--bg-surface);
    border: 1px solid var(--border-color);
    border-radius: var(--radius);
    display: flex;
    flex-direction: row;
    gap: var(--mobile-spacing);
    padding: var(--mobile-spacing);
}

.solution-toolbar div {
    flex: 1;
    text-align: left;
}

.solution {
    font-size: var(--font-lg);
    font-weight: 600;
    margin: 10px 0;
    padding: 10px;
    border-radius: 5px;
    background: rgba(255, 255, 255, 0.1);
}

/* Variable select styles */
.var-select {
    padding: 0.5rem;
    border: 1px solid var(--border-color);
    border-radius: 4px;
    background-color: var(--bg-surface);
    color: var(--text-primary);
    font-size: 0.9rem;
    cursor: pointer;
    outline: none;
    transition: border-color 0.2s, box-shadow 0.2s;
}

.var-select:focus {
    border-color: var(--text-primary);
    box-shadow: 0 0 0 2px rgba(0, 0, 0, 0.1);
}

/* Popup Components */
.popup-overlay {
    display: none;
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgba(0, 0, 0, 0.5);
    z-index: 1000;
}

.popup-overlay.active {
    display: flex;
    justify-content: center;
    align-items: center;
}

.popup-wrapper {
    position: relative;
    max-width: var(--max-width);
    width: 90%;
    margin: 15px auto;
}

.popup-content {
    padding: var(--spacing);
    border-radius: var(--radius);
    max-height: 80vh;
    overflow-y: auto;
    scrollbar-width: thin;
    color: var(--text-primary);
    line-height: 1.2;
}

.popup-content h1 {
    font-size: 2em;
    margin-bottom: 1em;
}

.popup-content h2 {
    font-size: 1.5em;
    margin: 1em 0;
}

.popup-content h3 {
    font-size: 1.2em;
    margin: 1em 0;
}

.popup-content p {
    margin: 0.8em 0;
    line-height: 1.6;
}

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

.popup-content li {
    margin: 0.1em 0;
}

.popup-content a {
    color: var(--primary-color);
    text-decoration: none;
}

.popup-content code {
    background: var(--bg-surface);
    padding: 0.2em 0.4em;
    border-radius: 3px;
    font-family: monospace;
    font-size: 0.9em;
}

.popup-overlay {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgba(0, 0, 0, 0.5);
    display: none;
    justify-content: center;
    align-items: center;
    z-index: 1000;
}

.popup-overlay.show {
    display: flex;
}

.popup-wrapper {
    background: var(--bg-surface);
    border-radius: var(--radius);
    box-shadow: var(--shadow);
    max-width: 90%;
    width: 600px;
    max-height: 90vh;
    overflow-y: auto;
    position: relative;
}

.close-btn {
    position: absolute;
    top: var(--spacing);
    right: var(--spacing);
    z-index: 1;
}

/* Layout toggle button icons */
.binary-layout-icon {
    display: none;
}

.gray-layout .gray-layout-icon {
    display: inline;
}

.gray-layout .binary-layout-icon {
    display: none;
}

.binary-layout .gray-layout-icon {
    display: none;
}

.binary-layout .binary-layout-icon {
    display: inline;
}

/* Theme toggle button icons */
.light-theme-icon,
.dark-theme-icon {
    display: none;
}

[data-theme="light"] .dark-theme-icon {
    display: inline;
}

[data-theme="light"] .light-theme-icon {
    display: none;
}

[data-theme="dark"] .dark-theme-icon {
    display: none;
}

[data-theme="dark"] .light-theme-icon {
    display: inline;
}

/* narrow screens only */
@media (max-width: 400px) {
    :root {
        --spacing: 0.25rem;
    }

    .hamburger-menu {
        display: flex;
    }

    .tabs-wrapper {
        display: none;
        position: absolute;
        top: 100%;
        left: 0;
        background: var(--primary-color);
        border-radius: var(--radius);
        padding: var(--mobile-spacing);
        box-shadow: var(--shadow);
        flex-direction: column;
        min-width: 150px;
        z-index: 10;
    }

    .tabs-wrapper.show {
        display: flex;
    }

    .tab-btn {
        width: 100%;
        text-align: left;
        color: white;
        padding: 8px 16px;
    }

    .tab-btn.active {
        color: white;
        background: rgba(255, 255, 255, 0.1);
    }

    .slider-bg {
        display: none;
    }

    .header-controls {
        gap: var(--mobile-spacing);
    }
}

@media (min-width: 400px) {
    :root {
        --spacing: 0.5rem;
    }

    .hamburger-menu {
        display: none;
    }

    .tabs-wrapper {
        display: inline-flex;
        position: relative;
        flex-direction: row;
        align-items: center;
    }

    .tab-btn {
        color: rgba(255, 255, 255, 0.7);
        min-width: var(--tab-min-width);
        text-align: center;
    }

    .tab-btn.active {
        color: #333;
    }

    .slider-bg {
        display: block;
    }
}

@media (hover: hover) {
    .header-controls .svg-button:hover {
        color: rgba(255, 255, 255, 0.8);
        background: var(--header-btn-hover-bg);
        border-color: var(--header-btn-hover-border);
    }

    .tab-btn:hover {
        color: var(--text-primary);
    }

    .hamburger-menu:hover {
        background: rgba(255, 255, 255, 0.1);
        border-color: rgba(255, 255, 255, 0.5);
    }

    .cell:hover {
        /* background-color: var(--surface-hover); */
        transform: translateY(-1px);
        box-shadow: var(--shadow);
        border-color: var(--primary-hover);
    }

    .truth-table td:last-child:hover {
        border-color: var(--primary-color);
        box-shadow: var(--shadow);
        transform: translateY(-1px);
        background-color: var(--bg-surface);
    }

    .truth-table td.row-id:hover {
        background-color: var(--bg-surface);
        transform: none;
        box-shadow: none;
    }

    .svg-button:hover {
        background: var(--surface-hover);
        transform: translateY(-1px);
        box-shadow: var(--shadow);
    }

    .svg-button:disabled:hover,
    .svg-button.disabled:hover {
        background-color: transparent;
    }

    .close-btn:hover {
        border-color: var(--primary-color) !important;
    }

    #all-one-btn:hover {
        background: var(--primary-color);
        border-color: var(--primary-color);
        color: white;
    }

    #all-zero-btn:hover {
        background-color: var(--danger-color);
        border-color: var(--danger-color);
        color: white;
    }

    .var-select:hover {
        border-color: var(--text-secondary);
    }

    .popup-content a:hover {
        text-decoration: underline;
    }
}