.logic-not{text-decoration:overline;text-decoration-thickness:2px;text-decoration-color:#1e90ff;}.logic-symbol{color:#1e90ff;font-weight:bold;font-family:'Fira Mono','Consolas','Menlo',monospace;font-size:1.1em;letter-spacing:0.05em;}:root{--kit-blue:#003366;--kit-green:#008c3d;--card-bg:#ffffff;--page-bg:#f8f9fb;--text:#000;--shadow:0 1px 6px rgba(0,0,0,0.08);}*,*::before,*::after{box-sizing:border-box;}*{-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;}input[type="text"],input[type="number"],input[type="email"],input[type="password"],input[type="search"],textarea,[contenteditable="true"],.custom-function-input{-webkit-user-select:text;-moz-user-select:text;-ms-user-select:text;user-select:text;}body{margin:0;line-height:1.5;font-family:'Rubik',sans-serif;background:radial-gradient(circle,#fff,#003366);overflow:auto;height:100%;scroll-behavior:smooth;overflow-x:hidden;}.page{max-width:1200px;margin:2rem auto;padding:1.5rem;display:grid;place-items:center;overflow-x:hidden;}.header-card{margin-bottom:2rem;}.header-card .inner-card{background:linear-gradient(135deg,var(--card-bg) 0%,#f8f9fb 100%);border:2px solid var(--kit-blue);}.page-header{display:flex;align-items:center;gap:1rem;flex-wrap:wrap;justify-content:space-between;padding:1.5rem 1rem 1rem 1rem;background:linear-gradient(90deg,rgba(0,51,102,0.05) 0%,rgba(0,140,61,0.05) 100%);border-radius:8px 8px 0 0;border-bottom:2px solid rgba(0,51,102,0.1);}.controls-section{border-top:1px solid rgba(0,51,102,0.1);background:#f8f9fb;}.config-card{padding:1.5rem;border-radius:0.75rem;border:1px solid;}.config-card-blue{background:linear-gradient(135deg,#eff6ff 0%,#dbeafe 100%);border-color:#bfdbfe;}.config-card-green{background:linear-gradient(135deg,#f0fdf4 0%,#dcfce7 100%);border-color:#bbf7d0;}.config-header{display:flex;align-items:center;margin-bottom:0.75rem;}.config-dot{width:0.75rem;height:0.75rem;border-radius:50%;margin-right:0.75rem;}.config-dot-blue{background-color:#3b82f6;}.config-dot-green{background-color:#10b981;}.config-dot-orange{background-color:#fdba74;}.config-dot-red{background-color:#ef4444;}.config-title{font-size:1.125rem;font-weight:600;}.config-title-blue{color:#1e3a8a;}.config-title-green{color:#064e3b;}.config-title-red{color:#b91c1c;}.config-title-orange{color:#fdba74;}.modern-select{width:100%;padding:0.75rem 1rem;border:2px solid #e5e7eb;border-radius:0.5rem;background:white;font-size:1rem;color:#374151;transition:all 0.2s ease;}.modern-select:focus{outline:none;border-color:#3b82f6;box-shadow:0 0 0 3px rgba(59,130,246,0.1);}.variable-controls{display:flex;align-items:center;justify-content:center;gap:1rem;}.var-btn{width:2.5rem;height:2.5rem;border:2px solid #10b981;border-radius:0.5rem;background:white;color:#10b981;font-size:1.25rem;font-weight:bold;cursor:pointer;transition:all 0.2s ease;}.var-btn:hover:not(:disabled){background:#10b981;color:white;transform:translateY(-1px);}.var-btn:disabled{cursor:not-allowed;transform:none;border-color:#d1d5db;opacity:0.5;}.var-count{font-size:1.5rem;font-weight:bold;color:#064e3b;min-width:2rem;text-align:center;}.options-title{margin-bottom:1rem;font-size:1.25rem;font-weight:600;color:#374151;}#collapseToggle{user-select:none;position:relative;}#collapseToggle:focus{outline:none;}#collapseIcon{position:absolute;right:0.25rem;top:50%;transform:translateY(-50%);transition:transform 0.3s ease-in-out;}#displayOptionsContent{will-change:max-height,opacity,padding;overflow:hidden;transition:max-height 0.3s ease-in-out,opacity 0.3s ease-in-out,padding 0.3s ease-in-out;}.options-title.mb-0{margin-bottom:0;}#current-function{max-width:100%;}#current-function > div{max-width:100%;scrollbar-width:thin;scrollbar-color:rgba(59,130,246,0.3) transparent;}#current-function > div::-webkit-scrollbar{height:6px;}#current-function > div::-webkit-scrollbar-track{background:transparent;}#current-function > div::-webkit-scrollbar-thumb{background-color:rgba(59,130,246,0.3);border-radius:3px;}#current-function > div::-webkit-scrollbar-thumb:hover{background-color:rgba(59,130,246,0.5);}#current-function-expression{min-width:max-content;}.option-card{background:white;border:1px solid #e5e7eb;border-radius:0.5rem;padding:0.75rem;transition:all 0.2s ease;}.option-card:hover{border-color:#3b82f6;box-shadow:0 2px 4px rgba(0,0,0,0.1);}.option-checkbox{margin-right:0.5rem;width:1rem;height:1rem;accent-color:#3b82f6;}.option-label{font-weight:500;color:#374151;cursor:pointer;}.landscape-btn{display:flex;align-items:center;justify-content:center;width:100%;height:100%;background:white;border:1px solid #e5e7eb;border-radius:0.5rem;cursor:pointer;transition:all 0.15s ease-in-out;padding:0.75rem;min-height:3rem;}.landscape-btn:hover{border-color:#3b82f6;background:#f8fafc;transform:translateY(-1px);box-shadow:0 2px 4px rgba(0,0,0,0.1);}.landscape-btn img{width:1.25rem;height:1.25rem;flex-shrink:0;}.landscape-btn:hover img{}.logo{height:70px;width:auto;filter:drop-shadow(0 2px 4px rgba(0,0,0,0.1));transition:transform 0.2s ease;}.logo:hover{transform:scale(1.05);}.title-group{text-align:center;flex:1;padding:0 1rem;}.title-group h1{font-size:1.25rem;font-weight:600;margin:0;color:var(--kit-blue);text-shadow:0 1px 2px rgba(0,0,0,0.1);}.title-group h2{font-size:2rem;color:var(--kit-blue);margin:0.25rem 0 0;font-weight:700;text-shadow:0 2px 4px rgba(0,0,0,0.1);}.title-group h3{font-size:1.5rem;margin:0.15rem 0 0;color:var(--kit-green);font-weight:600;text-shadow:0 1px 2px rgba(0,0,0,0.1);}.card{display:flex;flex-direction:column;padding:3px;word-break:break-word;border-radius:11px;background:rgba(255,255,255,0.59);box-shadow:0 4px 30px rgba(0,0,0,0.1);backdrop-filter:blur(10px);-webkit-backdrop-filter:blur(10px);border:1px solid rgba(255,255,255,0.3);position:initial;overflow:visible;}.inner-card{background:var(--card-bg);border-radius:8px;box-shadow:var(--shadow);overflow:hidden;height:100%;}.card-title{background:var(--kit-blue);color:#fff;padding:0.5rem 1rem;margin:0;font-size:1.1rem;font-weight:600;border-radius:4px 4px 0 0;}.card-body{padding:1rem;flex:1;overflow:auto;}@media (max-width:768px){.page-header{justify-content:center;text-align:center;padding:1rem;}.title-group{min-width:100%;order:-1;margin-bottom:1rem;padding:0;}.logo{height:50px;}}button:not(.var-btn):not(.landscape-btn),select:not(.modern-select){padding:4px 8px;font-size:1rem;cursor:pointer;}#landscapeToggleBtn.old-style{width:30px;height:30px;padding:2px;vertical-align:middle;border:1px solid #ccc;background-color:#f0f0f0;}#landscapeToggleBtn.old-style img{width:100%;height:100%;display:block;}table{border-collapse:collapse;margin:12px 0;}th,td{border:1px solid #888;padding:4px 6px;text-align:center;}th{background:#eee;}.truth th,.truth td,.outCell{padding:0.25rem;}.outCell,.kmap td{height:42px;cursor:pointer;}.on{background:#4caf50;color:#000;font-weight:bold;}.off{background:#fafafa;}.dc{background:#ff9800;color:#000;font-weight:bold;}.hl-cell-on{background-color:oklch(87.1% 0.15 154.449) !important;color :#000 !important;border :2px solid oklch(52.7% 0.154 150.069) !important;}.hl-cell-off{background-color:oklch(70.4% 0.04 256.788) !important;color :#000 !important;border :2px solid oklch(37.2% 0.044 257.287) !important;}.hl-cell-dc{background-color:oklch(85.2% 0.199 91.936) !important;color :#000 !important;border :2px solid oklch(55.4% 0.135 66.442) !important;}.hl-dnf-cell{background-color:oklch(70.7% 0.165 254.624) !important;}.hl-cnf-cell{background-color:oklch(70.4% 0.191 22.216) !important;}.hl-dmf-cell{background-color:oklch(79.2% 0.209 151.711) !important;}.hl-cmf-cell{background-color:oklch(75% 0.183 55.934) !important;}.hl-color{color:#f57c00 !important;background-color:#fff3e0 !important;border-radius:3px !important;padding:0 1px;}.kmap th.varhead{width:40px;height:36px;}.term{padding:4px 10px;margin:2px 4px;border-radius:6px;background:#f3f6fa;color:#1e3a8a;font-weight:500;font-size:1rem;box-shadow:0 1px 4px rgba(0,51,102,0.06);border:1px solid #dbeafe;cursor:pointer;display:inline-block;}.ov{text-decoration:overline;}pre{white-space:pre-wrap;word-break:break-word;margin-top:5px;}pre span{cursor:default;}#muxDiagramSvg{display:block;margin:0 auto;width:100%;height:100%;}#muxWrap{flex-grow:1;display:flex;min-height:300px;}.page.landscape-mode{max-width:95%;}.modern-select{width:100%;padding:0.5rem;border:1px solid #d1d5db;border-radius:0.375rem;background-color:#fff;color:#374151;font-size:1rem;transition:border-color 0.2s ease-in-out;}svg{border:none !important;}.katex-display{margin:0 !important;display:inline-block !important;}.custom-function-container{display:flex;align-items:center;gap:1rem;min-height:60px;padding:0.5rem;background:rgba(255,255,255,0.05);border-radius:12px;border:1px solid rgba(0,51,102,0.1);transition:all 0.3s ease;}.custom-function-content{flex:1;display:flex;align-items:center;min-height:48px;position:relative;overflow:hidden;}.custom-button-container{width:48px;height:48px;flex-shrink:0;display:flex;align-items:center;justify-content:center;}.custom-function-edit-area{display:flex;align-items:center;width:100%;gap:0.75rem;transition:all 0.4s cubic-bezier(0.4,0,0.2,1);opacity:0;transform:translateX(20px);}.custom-function-edit-area[style*="flex"]{opacity:1;transform:translateX(0);}.katex-container{width:100%;display:flex;justify-content:center;align-items:center;min-height:48px;transition:all 0.4s cubic-bezier(0.4,0,0.2,1);opacity:1;transform:translateX(0);}.katex-container[style*="none"]{opacity:0;transform:translateX(-20px);}.katex-container-edit{display:flex;align-items:center;flex-shrink:0;transition:all 0.4s cubic-bezier(0.4,0,0.2,1);}.custom-function-input{flex:1;padding:0.75rem 0.5rem;border:2px solid #e5e7eb;border-radius:8px;background:white;color:#374151;font-family:'Fira Mono','Consolas','Menlo',monospace;font-size:1rem;font-weight:500;transition:all 0.3s cubic-bezier(0.4,0,0.2,1);outline:none;min-height:48px;}.custom-function-input:focus{border-color:var(--kit-blue);box-shadow:0 0 0 3px rgba(0,51,102,0.1);}.custom-function-input:invalid{border-color:#dc2626;box-shadow:0 0 0 3px rgba(220,38,38,0.1);}.custom-edit-btn{display:flex;align-items:center;justify-content:center;width:48px;height:48px;border:2px solid #e5e7eb;border-radius:8px;background:white;color:#6b7280;font-size:1.1rem;cursor:pointer;transition:all 0.2s ease;}.custom-edit-btn:hover{background:#f9fafb;border-color:var(--kit-blue);color:var(--kit-blue);transform:translateY(-1px);box-shadow:0 4px 8px rgba(0,0,0,0.1);}.custom-edit-btn:active{transform:translateY(0);}.custom-edit-btn-save{background:var(--kit-green);border-color:var(--kit-green);color:white;transition:all 0.3s cubic-bezier(0.4,0,0.2,1);}.custom-edit-btn-save:hover{background:#006b2d;border-color:#006b2d;color:white;}.preset-btn:disabled{opacity:0.5;cursor:not-allowed;}.modal-backdrop{z-index:50;transition:opacity 0.3s ease-in-out;}.modal-panel{transition:transform 0.3s ease-in-out;}#symmetry-diagram{display:inline-block;user-select:none;}#container{margin:100px;}.symmetry-diagram-row{display:flex;align-items:center;margin-bottom:2px;}.symmetry-diagram-cell{width:54;height:54px;text-align:center;display:flex;justify-content:center;align-items:center;vertical-align:middle;border:1px solid black;aspect-ratio:1 / 1;padding:0;margin:0;position:relative;box-sizing:border-box;cursor:pointer;user-select:none;}.container{display:inline-block;position:relative;padding:50px }.symmetry-diagram-frame-cell{width:54px;height:54px;text-align:center;display:flex;justify-content:center;align-items:center;vertical-align:middle;font-size:1.2em;aspect-ratio:1 / 1;padding:0;margin:0;position:relative;box-sizing:border-box;}.symmetry-diagram-left-frame-cell{margin-right:5px;}.symmetry-diagram-right-frame-cell{margin-left:5px;}.symmetry-diagram-top-frame-cell{margin-bottom:5px;}.symmetry-diagram-bottom-frame-cell{margin-top:5px;}.symmetry-diagram-frame-top-label-cell{border-bottom:2px solid #d1d5db;}.symmetry-diagram-frame-left-label-cell{border-right:2px solid #d1d5db;}.symmetry-diagram-frame-bottom-label-cell{border-top:2px solid #d1d5db;}.symmetry-diagram-frame-right-label-cell{border-left:2px solid #d1d5db;}.octal-index{position:absolute;bottom:0;right:0;font-size:8px;color:#1a1a80;padding-right:1px;}.top-label-cell{width:20px;aspect-ratio:1 / 1;border-bottom:2px solid black;}.left-label-cell{border-right:2px solid black;}.bottom-label-cell{border-top:2px solid black;}.right-label-cell{border-left:2px solid black;}