.Breadcrumb_breadcrumb__Dewk8{display:flex;list-style:none;padding:10px 20px;background:none;border-radius:5px;margin-bottom:-10px}.Breadcrumb_breadcrumb-item__gD4mQ{margin-right:10px}.Breadcrumb_breadcrumb-item__gD4mQ a{text-decoration:none;color:#007bff;font-weight:700}.Breadcrumb_breadcrumb-item__gD4mQ a:hover{text-decoration:underline}.Breadcrumb_breadcrumb-item__gD4mQ:after{content:"/";margin-left:10px;color:#6c757d}.Breadcrumb_breadcrumb-item__gD4mQ:last-child:after{content:""}.Breadcrumb_breadcrumb-item__gD4mQ.Breadcrumb_active__ioOOH{color:#6c757d;font-weight:400}.OperaSidebar_container___FedC{position:relative}.OperaSidebar_sidebar__CiPHk{position:fixed;height:100%;display:flex;flex-direction:column;align-items:center;padding:1rem 0;z-index:3000;transition:all .3s ease}.OperaSidebar_sidebarItem__TMUy_{position:relative;margin-bottom:.5rem}.OperaSidebar_iconWrapper__gY9gW{padding:.75rem;border-radius:.5rem;cursor:pointer;transition:background-color .3s}.OperaSidebar_iconWrapper__gY9gW:hover{background-color:rgba(255,255,255,.1)}.OperaSidebar_iconWrapper__gY9gW.OperaSidebar_active__90Amt{background-color:rgba(255,255,255,.2)}.OperaSidebar_icon__K74ry{width:1.5rem;height:1.5rem}.OperaSidebar_tooltip__tJNI5{position:absolute;top:50%;transform:translateY(-50%);padding:.25rem .5rem;background-color:#4b5563;color:white;font-size:.75rem;border-radius:.25rem;opacity:0;pointer-events:none;transition:opacity .3s;white-space:nowrap;z-index:40}.OperaSidebar_sidebarItem__TMUy_:hover .OperaSidebar_tooltip__tJNI5{opacity:1}.OperaSidebar_panel__ybcpW{position:fixed;top:0;bottom:0;box-shadow:0 4px 6px -1px rgba(0,0,0,.1),0 2px 4px -1px rgba(0,0,0,.06);padding:1.5rem;z-index:20;transition:all .3s ease;animation:OperaSidebar_slideIn__z59YY .3s ease-out;display:flex;flex-direction:column}@keyframes OperaSidebar_slideIn__z59YY{0%{transform:translateX(-100%);opacity:0}to{transform:translateX(0);opacity:1}}.OperaSidebar_panelTitle__Ps6f7{font-size:1.5rem;font-weight:700;margin-bottom:1rem;padding-bottom:.5rem;border-bottom:2px solid #e5e7eb}.OperaSidebar_panelContent__dv45R{flex-grow:1;overflow-y:auto;padding-right:.5rem;white-space:pre-wrap}.OperaSidebar_closeButton__UTcVt{position:absolute;top:.5rem;right:.5rem;background:none;border:none;cursor:pointer;padding:.5rem;display:flex;align-items:center;justify-content:center;color:#4b5563;transition:color .3s ease}.OperaSidebar_closeButton__UTcVt:hover{color:#1f2937}.OperaSidebar_linkList__wG3yw{list-style:none;padding:0;margin:0}.OperaSidebar_linkList__wG3yw li{border-bottom:1px solid #eee}.OperaSidebar_linkList__wG3yw li:last-child{border-bottom:none}.OperaSidebar_linkList__wG3yw a{display:block;padding:16px 20px;color:#333;text-decoration:none;font-size:14px;font-weight:600;font-family:Segoe UI,-apple-system,BlinkMacSystemFont,Roboto,Oxygen,Ubuntu,sans-serif;letter-spacing:.3px;transition:all .2s ease}.OperaSidebar_linkList__wG3yw a:hover{background-color:#f5f5f5;color:#2563eb;transform:translateX(4px)}.title{text-align:center;margin:2rem 0 -30px}@media (max-width:768px){.title{font-size:1.5rem;margin:1rem 0}}.divy{display:flex;flex-direction:row}.link,.markdown-link{text-decoration:none}.markdown-link{color:#2563eb;font-weight:700}.verifier-container{font-family:Arial,sans-serif;max-width:1200px;margin:0 auto;padding:20px}h1{text-align:center;margin-bottom:20px}.split-layout{display:flex;gap:20px;min-height:calc(100vh - 150px)}.editor-column{flex:1 1;border-right:1px solid #ddd;padding-right:20px}.results-column{flex:1 1;position:-webkit-sticky;position:sticky;top:20px;max-height:calc(100vh - 100px);overflow-y:auto;padding-left:20px}.expression-boxes,.expression-editor{display:flex;flex-direction:column;gap:15px}.expression-box{padding:12px;border:2px solid #ccc;border-radius:5px;cursor:pointer;transition:all .3s}.expression-box.active{border-color:#4a90e2;box-shadow:0 0 10px rgba(74,144,226,.3)}.expression-box label{display:block;margin-bottom:8px;font-weight:700}.expression-input{width:100%;min-height:40px;padding:8px;border:1px solid #ddd;border-radius:4px;background-color:#f9f9f9;font-family:monospace;word-break:break-all;outline:none}.expression-input:focus{border-color:#4a90e2;box-shadow:0 0 5px rgba(74,144,226,.3)}.input-controls{display:flex;flex-wrap:wrap;gap:15px}.controls-section{flex:1 1;min-width:120px}.controls-section h4{margin:0 0 8px;padding-bottom:5px;border-bottom:1px solid #eee}.button-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(40px,1fr));grid-gap:5px;gap:5px}.button-grid button{padding:8px;border:1px solid #ccc;border-radius:4px;background-color:#f0f0f0;cursor:pointer;transition:background-color .2s}.button-grid button:hover{background-color:#e0e0e0}.button-grid button[title]{position:relative}.button-grid button[title]:hover:after{content:attr(title);bottom:120%;padding:5px 10px;background-color:#333;color:white;font-size:12px;white-space:nowrap;border-radius:3px;width:max-content;max-width:250px}.button-grid button[title]:hover:after,.button-grid button[title]:hover:before{position:absolute;left:50%;transform:translateX(-50%);z-index:10;pointer-events:none}.button-grid button[title]:hover:before{content:"";top:-5px;border:5px solid transparent;border-top-color:#333}.action-buttons{display:flex;gap:10px;margin-top:10px}.verify-button{flex:1 1;padding:12px;font-size:16px;font-weight:700;color:white;background-color:#4a90e2;border:none;border-radius:4px;cursor:pointer;transition:background-color .2s}.verify-button:hover{background-color:#3a7bc8}.help-toggle{padding:12px;font-size:14px;color:#555;background-color:#f0f0f0;border:1px solid #ccc;border-radius:4px;cursor:pointer}.help-panel{margin-top:15px;padding:15px;background-color:#f8f9fa;border:1px solid #e9ecef;border-radius:5px}.operators-table{width:100%;border-collapse:collapse;margin:10px 0}.operators-table td{padding:5px;border-bottom:1px solid #eee}.example{font-style:italic;margin-top:10px;color:#666}.error{color:#d32f2f;padding:10px;margin-bottom:15px;background-color:#ffebee;border-left:4px solid #d32f2f}.error,.result{border-radius:4px}.result{text-align:center;padding:15px;margin-bottom:20px}.result.equivalent{background-color:#e8f5e9;color:#2e7d32;border-left:4px solid #2e7d32}.result.not-equivalent{background-color:#ffebee;color:#c62828;border-left:4px solid #c62828}.truth-table-container{margin-top:20px}.truth-table-container h2{margin-bottom:15px}.table-wrapper{max-height:400px;overflow-y:auto;border:1px solid #e0e0e0;border-radius:4px}table{width:100%;border-collapse:collapse}td,th{padding:10px;text-align:center;border:1px solid #ddd}th{position:-webkit-sticky;position:sticky;top:0;background-color:#f5f5f5;font-weight:700;z-index:1}.equivalent-row{background-color:#e8f5e9!important}.not-equivalent-row{background-color:#ffebee!important}.result-indicator{font-weight:700;font-size:1.2em}.equivalent-indicator{color:#2e7d32}.not-equivalent-indicator{color:#c62828}.equal-value{background-color:rgba(46,125,50,.1)}.different-value{background-color:rgba(198,40,40,.1)}.reset-button{margin-top:10px;padding:8px 16px;background-color:#f0f0f0;border:1px solid #ccc;border-radius:4px;cursor:pointer}.reset-button:hover{background-color:#e0e0e0}@media (max-width:768px){.split-layout{flex-direction:column}.editor-column{border-right:none;border-bottom:1px solid #ddd;padding-right:0;padding-bottom:20px}.results-column{position:static;padding-left:0;padding-top:20px}}