@import"https://fonts.googleapis.com/css2?family=Montserrat:wght@100;200;300;400;500;600;700;800;900&display=swap";:root{--color-white: #ffffff;--color-primary: #4778eb;--color-primary-light: #e6edff;--color-primary-dark: #3c6cdd;--color-inactive: #8D8D8D;--color-danger: #d02727;--color-success: #009f11;--color-error: #9B1C24;--color-alert-info: #cfe2ff;--color-alert-info-text: #052c65;--border-alert-info: 1px solid #9ec5fe;--color-alert-success: #d1e7dd;--color-alert-success-text: #0a3622;--border-alert-success: 1px solid #a3cfbb;--color-alert-warning: #fff3cd;--color-alert-warning-text: #664d03;--border-alert-warning: 1px solid #ffe69c;--color-alert-danger: #f8d7da;--color-alert-danger-text: #58151c;--border-alert-danger: 1px solid #f1aeb5;--color-text: #000000;--color-secondary: #DCDCDC;--color-code: #3a3a3a;--color-code-background: #f2f1f1;--color-text-button: #FFFFFF;--color-background: #FFFFFF;--color-background-secondary: #F9F9F9;--color-background-cover: rgba(0, 0, 0, .5);--border: 1px solid var(--color-secondary);--border-hover: 1px solid var(--color-primary);--border-radius: 10px;--border-radius-input: 6px;--shadow: 0 0 10px rgba(0, 0, 0, .15)}:root.dark{--color-primary-light: #263659;--color-alert-info: #031633;--color-alert-info-text: #6ea8fe;--border-alert-info: 1px solid #084298;--color-alert-success: #051b11;--color-alert-success-text: #75b798;--border-alert-success: 1px solid #0f5132;--color-alert-warning: #332701;--color-alert-warning-text: #ffda6a;--border-alert-warning: 1px solid #997404;--color-alert-danger: #2c0b0e;--color-alert-danger-text: #ea868f;--border-alert-danger: 1px solid #842029;--color-text: #dadada;--color-secondary: #43454a;--color-code: #dadada;--color-code-background: #343434;--color-background: #252525;--color-background-secondary: #1d1d1d}body{margin:0;padding:0;font-family:Montserrat,sans-serif;font-size:14px;background:var(--color-background-secondary);color:var(--color-text)}header{display:flex;align-items:center;justify-content:space-between;box-shadow:var(--shadow);margin-bottom:25px;background:var(--color-background);border-bottom:var(--border);position:sticky;z-index:100;top:0;width:100%}header .logo{padding-left:30px}header .logo a{color:var(--color-text)}header nav{display:flex;align-items:center;padding-right:30px;gap:15px}header nav button.reverse{font-size:10px;padding:6px 8px;border-radius:100%}#progress{position:fixed;top:0;left:0;width:100%;z-index:99;height:4px}#progress-bar{width:0;height:100%;background-color:#007bff;box-shadow:0 0 6px #007bff}.success{color:#306b53;background:#b8ecc0;padding:16px;border-radius:var(--border-radius);margin-bottom:20px}.task-selection{display:grid;grid-template-columns:repeat(3,minmax(100px,1fr));gap:40px}.task-selection .task{height:70px;display:flex;justify-content:center;align-items:center;border:var(--border);border-radius:var(--border-radius);cursor:pointer;transition:all .3s ease}.task-selection .task:hover{border:var(--border-hover);color:var(--color-primary)}.task-selection .task p{white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:90%}.task-selection a{color:var(--color-text)}p.no-content{font-size:12px;color:var(--color-inactive);text-align:center}.section-selection{display:grid;grid-template-columns:repeat(2,1fr);gap:30px}.section-selection .section{border:var(--border);border-radius:var(--border-radius);display:flex;flex-direction:column;justify-content:center;align-items:center;height:300px;font-size:34px;font-weight:600;color:var(--color-text);transition:all .2s ease-in-out}.section-selection .section .sec-logo span{font-size:90px}.section-selection .section:hover{color:var(--color-primary);border:var(--border-hover)}a{text-decoration:none;color:var(--color-primary);transition:all .2s ease}a:hover{color:var(--color-text)}.content{margin:15px}.task-container{display:grid;grid-template-columns:minmax(100px,1fr) minmax(100px,3fr);gap:20px;align-items:start}.task-navigation{display:flex;flex-direction:column;border:var(--border);border-radius:var(--border-radius);background:var(--color-background);overflow:hidden}.task-navigation h3{margin-top:20px;margin-left:20px}.task-navigation .tasks-list{display:flex;flex-direction:column}.task-navigation .tasks-list a{color:var(--color-text)}.task-navigation .tasks-list a:hover{background:var(--color-background-secondary)}.task-navigation .tasks-list a:has(.active){background:var(--color-background-secondary);color:var(--color-primary);font-weight:500}.task-navigation .tasks-list div{padding:15px 15px 15px 30px;display:flex}.container{opacity:0;border:var(--border);border-radius:var(--border-radius);background:var(--color-background);padding:10px 30px 30px}.container.hidden{border:none;border-radius:0;background:none;padding:0}.block-header{display:flex;justify-content:space-between;align-items:center;margin-top:12px;margin-bottom:20px}.block-header h3{font-size:17px;margin:0;display:flex;align-items:center}.block-header a{color:var(--color-text);margin-right:10px;display:flex;align-items:center}.block-header a span{font-size:21px}.form-row{display:grid;grid-template-columns:repeat(3,1fr);column-gap:40px;margin-bottom:25px}.form-row.task-editor{grid-template-columns:1fr 2fr}.form-row.task-editor .main-info{display:flex;flex-direction:column;gap:20px}.form-row.task-editor .description-editor textarea{height:200px}.form-row-3-1{display:grid;grid-template-columns:2fr 2fr;margin-bottom:20px}.radios{display:flex}.args{display:grid;grid-template-columns:repeat(5,1fr);gap:10px}.program-output{display:flex;align-items:center;gap:40px}.program-output .output{width:60%}.program-output .input-group{width:40%}.program-output .buttons{width:20%;display:flex;flex-direction:column;align-items:center;justify-content:center}.selection{margin-top:20px;display:grid;grid-template-columns:repeat(3,1fr);gap:25px;align-content:center}.selection .inputs{display:flex;align-items:center}.selection .inputs p{margin:0 15px 0 0}.selection .inputs label{margin-bottom:0}.selection-big{display:flex;flex-direction:column}.selection-big>.input-group{display:flex;flex-direction:column;align-items:center}.selection-big>.input-group p{margin:0}.input-group{display:flex;flex-direction:column}label{margin-bottom:10px;font-size:13px;font-weight:500}input,textarea,select{font-family:Montserrat,sans-serif;font-size:13px;padding-left:14px;padding-right:14px;outline:0;height:40px;border:var(--border);border-radius:var(--border-radius);color:var(--color-text);background:var(--color-background);transition:all .2s ease}textarea{padding-top:10px;padding-bottom:10px;height:300px;resize:none}input:hover,input:focus{border:var(--border-hover)}.content-editor{display:grid;grid-template-columns:repeat(2,1fr);column-gap:20px;align-items:start}.buttons{display:flex;gap:10px}button{font-family:Montserrat,sans-serif;background:var(--color-primary);color:var(--color-text-button);border:none;border-radius:12px;padding:9px 15px;font-size:12px;transition:all .3s ease;cursor:pointer}button:hover{box-shadow:var(--shadow)}button.reverse{font-family:Montserrat,sans-serif;background:var(--color-background);color:var(--color-primary);border:var(--border-hover);border-radius:12px;padding:9px 15px;font-size:12px;transition:all .3s ease;cursor:pointer}button.reverse:hover{box-shadow:var(--shadow)}.result.success,.result.error{outline:0;padding:1.2rem;border-radius:var(--border-radius);margin-top:16px;margin-bottom:24px}.result.success{background:var(--color-alert-success);color:var(--color-alert-success-text);border:var(--border-alert-success)}.result.error{background:var(--color-alert-danger);color:var(--color-alert-danger-text);border:var(--border-alert-danger)}.preview{display:flex;flex-direction:column}.preview #preview{border:var(--border);border-radius:var(--border-radius);padding:20px;font-size:13px;overflow:auto;display:flex;flex-direction:column;justify-content:center}table{margin-top:25px;width:100%;border-collapse:collapse;font-size:14px}table thead{color:var(--color-inactive);font-size:12px;font-weight:600}table tr,table td{border-bottom:var(--border);padding:12px;transition:all .1s linear}table tr.no-content{font-size:12px;border-bottom:none}table tr.no-content td{padding-top:30px;padding-bottom:20px;border-bottom:none}table tr.no-content:hover{background:var(--color-background)}table tbody tr:hover{background:var(--color-background-secondary)}table tbody tr:last-child,table tbody tr:last-child td{border-bottom:none}table tbody tr .actions button:first-child{margin-left:0}table tbody tr .actions button{transition:all .1s linear;margin-left:4px}table tbody tr:hover .actions button.iconed-no-text{background:var(--color-background-secondary)}table a.table-link{color:var(--color-primary);transition:color .2s linear}table a.table-link:hover{color:var(--color-text)}tr.summary{color:var(--color-inactive);font-size:12px;font-weight:600;border-bottom:none}tr.summary td{border-bottom:none}tr.summary:hover{background:var(--color-background)}td.text-center{text-align:center}.calculate{display:flex;justify-content:space-around;align-items:center;margin-top:20px}.calculate button{padding-top:12px;padding-bottom:12px;font-size:13px}.output{display:flex;flex-direction:column;overflow:auto}#output{border:var(--border);border-radius:var(--border-radius);height:100px;display:flex;align-items:center;font-size:20px;padding-left:20px;padding-right:20px;overflow:auto;text-wrap:nowrap}input[type=checkbox]{position:absolute;z-index:-1;opacity:0;width:0}input[type=checkbox]+label{margin:10px;display:inline-flex;align-items:center;-webkit-user-select:none;user-select:none}input[type=checkbox]+label:before{content:"";display:inline-block;width:1em;height:1em;flex-shrink:0;flex-grow:0;border:1px solid #adb5bd;border-radius:.25em;margin-right:.5em;background-repeat:no-repeat;background-position:center center;background-size:50% 50%}input[type=checkbox]:checked+label:before{border-color:var(--color-primary);background-color:var(--color-primary);background-image:url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 8 8'%3e%3cpath fill='%23fff' d='M6.564.75l-3.59 3.612-1.538-1.55L0 4.26 2.974 7.25 8 2.193z'/%3e%3c/svg%3e")}input[type=checkbox]:not(:disabled):not(:checked)+label:hover:before{border-color:var(--color-primary)}input[type=checkbox]:not(:disabled):active+label:before{background-color:var(--color-primary-light);border-color:var(--color-primary)}input[type=checkbox]:focus+label:before{box-shadow:0 0 0 .2rem #4c52ec2b}input[type=checkbox]:focus:not(:checked)+label:before{border-color:var(--color-primary)}input[type=checkbox]:checked:disabled+label:before{border-color:var(--color-inactive);background-color:var(--color-inactive);background-image:url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 8 8'%3e%3cpath fill='%23fff' d='M6.564.75l-3.59 3.612-1.538-1.55L0 4.26 2.974 7.25 8 2.193z'/%3e%3c/svg%3e")}input[type=checkbox]:not(:checked):disabled+label:before{background-color:var(--color-secondary)}.cdx-search-field__input{height:auto}.cdx-search-field__input:hover{border:0}.custom-radio{position:absolute;z-index:-1;opacity:0}.custom-radio+label{display:inline-flex;align-items:center;-webkit-user-select:none;user-select:none;padding-right:20px}.custom-radio+label:before{content:"";display:inline-block;width:1em;height:1em;flex-shrink:0;flex-grow:0;border:1px solid #adb5bd;border-radius:50%;margin-right:.5em;background-repeat:no-repeat;background-position:center center;background-size:50% 50%}.custom-radio:not(:disabled):not(:checked)+label:hover:before{border-color:var(--color-primary)}.custom-radio:not(:disabled):active+label:before{background-color:var(--color-primary-light);border-color:var(--color-primary-light)}.custom-radio:focus+label:before{box-shadow:0 0 0 .2rem #007bff40}.custom-radio:focus:not(:checked)+label:before{border-color:var(--color-primary-light)}.custom-radio:checked+label:before{border-color:var(--color-primary);background-color:var(--color-primary);background-image:url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='-4 -4 8 8'%3e%3ccircle r='3' fill='%23fff'/%3e%3c/svg%3e")}.custom-radio:disabled+label:before{background-color:var(--color-secondary)}.custom-radio:checked:disabled+label:before{border-color:var(--color-inactive);background-color:var(--color-inactive);background-image:url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='-4 -4 8 8'%3e%3ccircle r='3' fill='%23fff'/%3e%3c/svg%3e")}.table{display:flex;justify-content:start}table.truth-table{width:auto}table.truth-table td{padding:8px;width:auto;text-align:center}table.truth-table tr{padding:8px}table.truth-table td:not(td:first-child){border-left:var(--border)}table.truth-table tbody tr:last-child,table.truth-table tbody tr:last-child td{border-bottom:none}table.truth-table caption{text-align:start;font-weight:500;margin-bottom:6px;font-size:13px}table.truth-table .success{color:var(--color-alert-success-text);background:var(--color-alert-success);border-radius:0}table.truth-table .error{color:var(--color-alert-danger-text);background:var(--color-alert-danger);border-radius:0}table.truth-table tr:hover:has(.success),table.truth-table tr:hover:has(.error){filter:opacity(.85)}.dnf-output:not(p),.knf-output:not(p){font-size:20px}.dnf-output p,.knf-output p{margin-top:20px;margin-bottom:10px}.dnf-input,.knf-input{margin-top:15px}.task-container p:not(#output p,.inputs p){margin-bottom:10px;font-size:13px;font-weight:500;margin-top:20px}.form-container{background:var(--color-background);padding:30px;border:var(--border);border-radius:var(--border-radius);position:fixed;top:50%;left:50%;transform:translate(-50%,-50%);width:400px;display:flex;flex-direction:column;align-items:center}.form-container h1{margin-bottom:25px}.form-container form{display:flex;flex-direction:column;align-items:center;width:90%}.form-container form .input-group{width:80%;margin-bottom:20px}.form-container form .form-check-label{margin-bottom:20px}.form-container form button{width:170px;height:40px;font-size:13px}.invalid-feedback{margin-bottom:20px;width:70%;text-align:center;padding:15px;color:var(--color-alert-danger-text);background:var(--color-alert-danger);border:var(--border-alert-danger);border-radius:var(--border-radius)}@media (max-width: 1000px){.task-selection{grid-template-columns:repeat(2,minmax(100px,1fr))}.task-container{grid-template-columns:initial;grid-template-areas:"B" "A"}.task-container .container{grid-area:B}.task-container .task-navigation{grid-area:A}}@media (max-width: 750px){header{flex-direction:column}header nav{margin-bottom:15px}.task-selection{grid-template-columns:minmax(100px,1fr)}}.admin-data{display:grid;grid-template-columns:repeat(3,1fr);gap:30px;margin-bottom:20px}.admin-data .data-block{padding:25px;border:var(--border);border-radius:var(--border-radius);background:var(--color-background)}.admin-data .data-block p{margin:0}.admin-data .data-block p:first-child{font-weight:700;font-size:12px;color:var(--color-inactive);margin-bottom:10px}.admin-data .data-block p:last-child{font-size:22px;font-weight:500}.sections-table td:nth-child(1){display:flex;align-items:center;border:none}.sections-table td:nth-child(1) span{font-size:20px;color:var(--color-inactive);margin-right:10px}.tasks-table td:nth-child(2),.sections-table td:nth-child(2){width:9%}.tasks-table td:nth-child(3),.tasks-table td:nth-child(4),.sections-table td:nth-child(4),.sections-table td:nth-child(5){width:15%}.tasks-table td:nth-child(5),.sections-table td:nth-child(3),.sections-table td:nth-child(6){width:12%}.graph{display:grid;grid-template-columns:calc(25% - 20px) calc(75% - 20px);gap:30px;justify-content:space-between;align-items:start;margin-bottom:10px}.main-data{display:flex;flex-direction:column;gap:20px;margin-bottom:20px}.def-input{margin-bottom:20px}.graph-def-container .selection{display:flex;flex-direction:column;margin-top:15px;gap:10px}.graph-def-container .selection label{margin:0}.num-of-ver .input{margin-top:15px;display:flex;align-items:stretch;gap:10px}.num-of-ver input{width:40px}.num-of-ver button{font-size:20px;padding:8px 20px}.graph-definition{margin-top:15px;overflow-x:auto}.graph-definition table tr,.graph-definition table td{border:none}.graph-definition table{width:auto;text-align:center;color:var(--color-inactive);font-size:13px;margin-top:15px}.graph-definition table td{padding:10px}.graph-definition table td:not([contenteditable]){background:var(--color-background-secondary)}.graph-definition table td[contenteditable]{color:var(--color-text);outline:0}.graph-definition table td:has(button){background:var(--color-background)!important}.graph-definition table td:has(button) button{background:var(--color-background);padding:5px 10px;color:var(--color-primary);border:var(--border-hover)}.graph-output{border:var(--border);border-radius:var(--border-radius)}.graph-output{margin-bottom:20px;overflow:hidden}.graph-input .result{margin-top:15px}.graph-input p{font-size:18px!important;margin:8px 0 0}#graph-display{height:520px}.run-alg{display:flex;flex-direction:column;gap:20px}.graph #graph-display div.vis-network div.vis-manipulation{background:var(--color-background);border-bottom:var(--border);padding:10px;display:flex!important;align-items:center}.graph #graph-display div.vis-network div.vis-manipulation div.vis-separator-line{background:var(--color-inactive)}.graph #graph-display div.vis-network div.vis-edit-mode div.vis-button,.graph #graph-display div.vis-network div.vis-manipulation div.vis-button{font-family:Montserrat,sans-serif;background:var(--color-primary);color:var(--color-white);padding:3px 12px;transition:all .3s ease}.graph #graph-display div.vis-network div.vis-edit-mode div.vis-button:hover,.graph #graph-display div.vis-network div.vis-manipulation div.vis-button:hover{box-shadow:var(--shadow)}.graph #graph-display div.vis-network div.vis-manipulation div.vis-button.vis-none{background:var(--color-background);color:var(--color-text)}.graph #graph-display div.vis-network div.vis-manipulation div.vis-button.vis-none:hover{box-shadow:none}.graph #graph-display div.vis-network div.vis-edit-mode div.vis-label,.graph #graph-display div.vis-network div.vis-manipulation div.vis-label{margin:0}.graph #graph-display div.vis-network div.vis-close{top:18px;right:18px}.graph #graph-display div.vis-network div.vis-navigation div.vis-button{transition:all .3s ease}.graph #graph-display div.vis-network div.vis-navigation div.vis-button:hover{box-shadow:var(--shadow)}.adjacency-list-table td:nth-child(2){width:100%;text-align:start}