/* latin */
@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-latin-italic.woff2) format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }

/* greek */
@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-greek-italic.woff2) format("woff2");
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF; }

/* math */
@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-math-italic.woff2) format("woff2");
  unicode-range: U+0302-0303, U+0305, U+0307-0308, U+0310, U+0312, U+0315, U+031A, U+0326-0327, U+032C, U+032F-0330, U+0332-0333, U+0338, U+033A, U+0346, U+034D, U+0391-03A1, U+03A3-03A9, U+03B1-03C9, U+03D1, U+03D5-03D6, U+03F0-03F1, U+03F4-03F5, U+2016-2017, U+2034-2038, U+203C, U+2040, U+2043, U+2047, U+2050, U+2057, U+205F, U+2070-2071, U+2074-208E, U+2090-209C, U+20D0-20DC, U+20E1, U+20E5-20EF, U+2100-2112, U+2114-2115, U+2117-2121, U+2123-214F, U+2190, U+2192, U+2194-21AE, U+21B0-21E5, U+21F1-21F2, U+21F4-2211, U+2213-2214, U+2216-22FF, U+2308-230B, U+2310, U+2319, U+231C-2321, U+2336-237A, U+237C, U+2395, U+239B-23B7, U+23D0, U+23DC-23E1, U+2474-2475, U+25AF, U+25B3, U+25B7, U+25BD, U+25C1, U+25CA, U+25CC, U+25FB, U+266D-266F, U+27C0-27FF, U+2900-2AFF, U+2B0E-2B11, U+2B30-2B4C, U+2BFE, U+3030, U+FF5B, U+FF5D, U+1D400-1D7FF, U+1EE00-1EEFF; }

/* symbols */
@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-symbols-italic.woff2) format("woff2");
  unicode-range: U+0001-000C, U+000E-001F, U+007F-009F, U+20DD-20E0, U+20E2-20E4, U+2150-218F, U+2190, U+2192, U+2194-2199, U+21AF, U+21E6-21F0, U+21F3, U+2218-2219, U+2299, U+22C4-22C6, U+2300-243F, U+2440-244A, U+2460-24FF, U+25A0-27BF, U+2800-28FF, U+2921-2922, U+2981, U+29BF, U+29EB, U+2B00-2BFF, U+4DC0-4DFF, U+FFF9-FFFB, U+10140-1018E, U+10190-1019C, U+101A0, U+101D0-101FD, U+102E0-102FB, U+10E60-10E7E, U+1D2C0-1D2D3, U+1D2E0-1D37F, U+1F000-1F0FF, U+1F100-1F1AD, U+1F1E6-1F1FF, U+1F30D-1F30F, U+1F315, U+1F31C, U+1F31E, U+1F320-1F32C, U+1F336, U+1F378, U+1F37D, U+1F382, U+1F393-1F39F, U+1F3A7-1F3A8, U+1F3AC-1F3AF, U+1F3C2, U+1F3C4-1F3C6, U+1F3CA-1F3CE, U+1F3D4-1F3E0, U+1F3ED, U+1F3F1-1F3F3, U+1F3F5-1F3F7, U+1F408, U+1F415, U+1F41F, U+1F426, U+1F43F, U+1F441-1F442, U+1F444, U+1F446-1F449, U+1F44C-1F44E, U+1F453, U+1F46A, U+1F47D, U+1F4A3, U+1F4B0, U+1F4B3, U+1F4B9, U+1F4BB, U+1F4BF, U+1F4C8-1F4CB, U+1F4D6, U+1F4DA, U+1F4DF, U+1F4E3-1F4E6, U+1F4EA-1F4ED, U+1F4F7, U+1F4F9-1F4FB, U+1F4FD-1F4FE, U+1F503, U+1F507-1F50B, U+1F50D, U+1F512-1F513, U+1F53E-1F54A, U+1F54F-1F5FA, U+1F610, U+1F650-1F67F, U+1F687, U+1F68D, U+1F691, U+1F694, U+1F698, U+1F6AD, U+1F6B2, U+1F6B9-1F6BA, U+1F6BC, U+1F6C6-1F6CF, U+1F6D3-1F6D7, U+1F6E0-1F6EA, U+1F6F0-1F6F3, U+1F6F7-1F6FC, U+1F700-1F7FF, U+1F800-1F80B, U+1F810-1F847, U+1F850-1F859, U+1F860-1F887, U+1F890-1F8AD, U+1F8B0-1F8BB, U+1F8C0-1F8C1, U+1F900-1F90B, U+1F93B, U+1F946, U+1F984, U+1F996, U+1F9E9, U+1FA00-1FA6F, U+1FA70-1FA7C, U+1FA80-1FA89, U+1FA8F-1FAC6, U+1FACE-1FADC, U+1FADF-1FAE9, U+1FAF0-1FAF8, U+1FB00-1FBFF; }

/* latin */
@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-latin-normal.woff2) format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }

/* greek */
@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-greek-normal.woff2) format("woff2");
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF; }

/* math */
@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-math-normal.woff2) format("woff2");
  unicode-range: U+0302-0303, U+0305, U+0307-0308, U+0310, U+0312, U+0315, U+031A, U+0326-0327, U+032C, U+032F-0330, U+0332-0333, U+0338, U+033A, U+0346, U+034D, U+0391-03A1, U+03A3-03A9, U+03B1-03C9, U+03D1, U+03D5-03D6, U+03F0-03F1, U+03F4-03F5, U+2016-2017, U+2034-2038, U+203C, U+2040, U+2043, U+2047, U+2050, U+2057, U+205F, U+2070-2071, U+2074-208E, U+2090-209C, U+20D0-20DC, U+20E1, U+20E5-20EF, U+2100-2112, U+2114-2115, U+2117-2121, U+2123-214F, U+2190, U+2192, U+2194-21AE, U+21B0-21E5, U+21F1-21F2, U+21F4-2211, U+2213-2214, U+2216-22FF, U+2308-230B, U+2310, U+2319, U+231C-2321, U+2336-237A, U+237C, U+2395, U+239B-23B7, U+23D0, U+23DC-23E1, U+2474-2475, U+25AF, U+25B3, U+25B7, U+25BD, U+25C1, U+25CA, U+25CC, U+25FB, U+266D-266F, U+27C0-27FF, U+2900-2AFF, U+2B0E-2B11, U+2B30-2B4C, U+2BFE, U+3030, U+FF5B, U+FF5D, U+1D400-1D7FF, U+1EE00-1EEFF; }

/* symbols */
@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 100 900;
  font-stretch: 100%;
  font-display: swap;
  src: url(https://iltis.rub.de/fonts/Roboto-symbols-normal.woff2) format("woff2");
  unicode-range: U+0001-000C, U+000E-001F, U+007F-009F, U+20DD-20E0, U+20E2-20E4, U+2150-218F, U+2190, U+2192, U+2194-2199, U+21AF, U+21E6-21F0, U+21F3, U+2218-2219, U+2299, U+22C4-22C6, U+2300-243F, U+2440-244A, U+2460-24FF, U+25A0-27BF, U+2800-28FF, U+2921-2922, U+2981, U+29BF, U+29EB, U+2B00-2BFF, U+4DC0-4DFF, U+FFF9-FFFB, U+10140-1018E, U+10190-1019C, U+101A0, U+101D0-101FD, U+102E0-102FB, U+10E60-10E7E, U+1D2C0-1D2D3, U+1D2E0-1D37F, U+1F000-1F0FF, U+1F100-1F1AD, U+1F1E6-1F1FF, U+1F30D-1F30F, U+1F315, U+1F31C, U+1F31E, U+1F320-1F32C, U+1F336, U+1F378, U+1F37D, U+1F382, U+1F393-1F39F, U+1F3A7-1F3A8, U+1F3AC-1F3AF, U+1F3C2, U+1F3C4-1F3C6, U+1F3CA-1F3CE, U+1F3D4-1F3E0, U+1F3ED, U+1F3F1-1F3F3, U+1F3F5-1F3F7, U+1F408, U+1F415, U+1F41F, U+1F426, U+1F43F, U+1F441-1F442, U+1F444, U+1F446-1F449, U+1F44C-1F44E, U+1F453, U+1F46A, U+1F47D, U+1F4A3, U+1F4B0, U+1F4B3, U+1F4B9, U+1F4BB, U+1F4BF, U+1F4C8-1F4CB, U+1F4D6, U+1F4DA, U+1F4DF, U+1F4E3-1F4E6, U+1F4EA-1F4ED, U+1F4F7, U+1F4F9-1F4FB, U+1F4FD-1F4FE, U+1F503, U+1F507-1F50B, U+1F50D, U+1F512-1F513, U+1F53E-1F54A, U+1F54F-1F5FA, U+1F610, U+1F650-1F67F, U+1F687, U+1F68D, U+1F691, U+1F694, U+1F698, U+1F6AD, U+1F6B2, U+1F6B9-1F6BA, U+1F6BC, U+1F6C6-1F6CF, U+1F6D3-1F6D7, U+1F6E0-1F6EA, U+1F6F0-1F6F3, U+1F6F7-1F6FC, U+1F700-1F7FF, U+1F800-1F80B, U+1F810-1F847, U+1F850-1F859, U+1F860-1F887, U+1F890-1F8AD, U+1F8B0-1F8BB, U+1F8C0-1F8C1, U+1F900-1F90B, U+1F93B, U+1F946, U+1F984, U+1F996, U+1F9E9, U+1FA00-1FA6F, U+1FA70-1FA7C, U+1FA80-1FA89, U+1FA8F-1FAC6, U+1FACE-1FADC, U+1FADF-1FAE9, U+1FAF0-1FAF8, U+1FB00-1FBFF; }

/* latin */
@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  src: url(https://iltis.rub.de/fonts/Roboto-Mono-latin.woff2) format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }

/* greek */
@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  src: url(https://iltis.rub.de/fonts/Roboto-Mono-greek.woff2) format("woff2");
  unicode-range: U+0370-0377, U+037A-037F, U+0384-038A, U+038C, U+038E-03A1, U+03A3-03FF; }

.iltis-TaskViewSkeleton .iltis-taskbody .iltis-formula-input-box, .iltis-TaskViewSkeleton .iltis-taskbody .iltis-task-component {
  margin-top: 30px; }

:root {
  --propositional-color: rgb(18, 3, 184);
  --dark-propositional-color: rgb(15, 1, 102);
  --modal-color: rgb(165, 50, 0);
  --dark-modal-color: rgb(83, 25, 0);
  --first-order-color: rgb(21, 97, 0);
  --dark-first-order-color: rgb(2, 12, 0);
  --additional-color: rgb(0, 100, 120);
  --dark-additional-color: rgb(0, 20, 24); }

body {
  font-family: Roboto;
  font-weight: 400;
  /* Regular */
  font-size: 20px !important;
  background: #fef6ee;
  color: black; }
  body td {
    padding: 0; }
  body.iltis-modal-open {
    height: 100vh;
    overflow-y: hidden; }

.iltis-main-content {
  width: 980px;
  max-width: 100%;
  margin: 30px auto auto; }
  .iltis-main-content p, .iltis-main-content .introductorytext, .iltis-main-content .assignment, .iltis-main-content .advice, .iltis-main-content .warning, .iltis-main-content .usagehint, .iltis-main-content .varioustext {
    margin: 20px 0 !important; }
  .iltis-main-content p {
    padding: 0; }
  .iltis-main-content a, .iltis-main-content .pagelink {
    color: #2E5B80; }
    .iltis-main-content a:visited, .iltis-main-content .pagelink:visited {
      color: #6F5F96; }
    .iltis-main-content a:hover, .iltis-main-content .pagelink:hover {
      text-decoration: underline !important;
      cursor: pointer; }

.iltis-header {
  font-family: Roboto;
  font-size: 25px;
  font-weight: 400;
  /* Regular */
  display: flex;
  align-items: center;
  line-height: 140%;
  padding-top: 10px;
  padding-bottom: 10px; }
  .iltis-header .material-icons {
    font-size: 140% !important; }
  .iltis-header .iltis-title {
    display: block;
    align-items: center; }

.iltis-footer {
  font-family: Roboto;
  font-size: 20px;
  font-weight: 300;
  /* Light */ }

.iltis-interaction {
  background-color: #ffffff; }
  .iltis-interaction .iltis-header {
    background-color: #ffe3a2; }
  .iltis-interaction .iltis-interaction {
    background-color: #ffe3a2; }
  .iltis-interaction .white.iltis-interaction {
    background-color: #ffe3a2 !important; }

ul {
  margin-top: 0;
  margin-bottom: 7px;
  padding: 0; }
  ul > li {
    list-style-type: disc;
    list-style-position: outside;
    margin-left: 30px; }

.iltis-protocol {
  background-color: #edebe8; }
  .iltis-protocol .iltis-header {
    background-color: #c2bfbc !important; }

.iltis-TaskViewSkeleton .iltis-taskbody .iltis-protocol .iltis-header {
  padding-top: 0;
  padding-bottom: 0; }

.iltis-show-more {
  height: 30px;
  display: flex;
  align-items: center;
  background: white;
  padding: 5px;
  border-radius: 7px;
  color: black !important;
  box-shadow: 1px 2px 4px 0 rgba(0, 0, 0, 0.2);
  white-space: nowrap;
  font-size: 16px;
  font-weight: 400; }
  .iltis-show-more.iltis-show-more:hover {
    text-decoration: none !important;
    box-shadow: 0 5px 11px 0 rgba(0, 0, 0, 0.18), 0 4px 15px 0 rgba(0, 0, 0, 0.15); }

.iltis-main-content .iltis-build-timestamp, .iltis-main-content .iltis-page-timestamp {
  cursor: default !important;
  color: #cccac8 !important;
  font-size: 16px;
  display: flex; }
  .iltis-main-content .iltis-build-timestamp:hover, .iltis-main-content .iltis-page-timestamp:hover {
    color: #cccac8 !important;
    text-decoration: none !important; }
  .iltis-main-content .iltis-build-timestamp .material-icons, .iltis-main-content .iltis-page-timestamp .material-icons {
    cursor: default !important;
    margin-right: 5px;
    font-size: 20px; }

.iltis-legal-container {
  display: block;
  width: max-content;
  margin: 100px auto 0; }
  .iltis-legal-container .iltis-privacy-link {
    margin-left: 20px;
    margin-right: auto; }
  .iltis-legal-container .iltis-imprint-link {
    margin-left: auto; }
  .iltis-legal-container .iltis-privacy-link, .iltis-legal-container .iltis-imprint-link {
    font-size: 20px;
    font-weight: 300;
    color: black !important; }

.iltis-timestamp-container {
  margin: 20px auto 0;
  display: flex;
  align-items: center;
  flex-direction: column; }

.iltis-checkbox [type="checkbox"]:checked + label:before {
  border-right: 2px solid #000000;
  border-bottom: 2px solid #000000;
  width: 13px;
  height: 24px; }

details > summary {
  display: list-item; }

ol[type="i"] > li {
  list-style-type: inherit; }

.iltis-popup-glass, .iltis-fullscreen-loading-indicator {
  position: fixed;
  top: 0;
  left: 0;
  height: 100vh;
  width: 100%;
  background-color: rgba(0, 0, 0, 0.1); }

.iltis-button, .pseudotask > details > summary, .iltis-change-quantity-panel .iltis-add-button, .iltis-dropdown-widget > .iltis-dropdown-button, .iltis-dropdown-widget .iltis-dropdown-button:focus, .iltis-back-to-top-btn {
  border-radius: 7px;
  font-size: 20px;
  font-weight: 500;
  color: #000000;
  background: #ffffff;
  box-shadow: 0 2px 3px 0 rgba(0, 0, 0, 0.2);
  border: none;
  text-transform: none; }
  .iltis-button:focus, .pseudotask > details > summary:focus, .iltis-change-quantity-panel .iltis-add-button:focus, .iltis-dropdown-widget .iltis-dropdown-button:focus, .iltis-back-to-top-btn:focus {
    border-radius: 7px;
    font-size: 20px;
    font-weight: 500;
    color: #000000;
    background: #ffffff;
    box-shadow: 0 0 0 3px #706f6d;
    border: none;
    text-transform: none; }
  .iltis-button:hover:not(.iltis-disabled), .pseudotask > details > summary:hover:not(.iltis-disabled), .iltis-change-quantity-panel .iltis-add-button:hover:not(.iltis-disabled), .iltis-dropdown-widget > .iltis-dropdown-button:hover:not(.iltis-disabled), .iltis-dropdown-widget .iltis-dropdown-button:hover:not(.iltis-disabled):focus, .iltis-back-to-top-btn:hover:not(.iltis-disabled) {
    background-color: #f2c55e;
    box-shadow: 0 5px 11px 0 rgba(0,0,0,0.18), 0 4px 15px 0 rgba(0,0,0,0.15);
    cursor: pointer; }
  .iltis-button:active, .pseudotask > details > summary:active, .iltis-change-quantity-panel .iltis-add-button:active, .iltis-dropdown-widget > .iltis-dropdown-button:active, .iltis-dropdown-widget .iltis-dropdown-button:active:focus, .iltis-back-to-top-btn:active {
    background: #f2c55e; }
  .iltis-disabled.iltis-button, .pseudotask > details > summary.iltis-disabled, .iltis-change-quantity-panel .iltis-disabled.iltis-add-button, .iltis-dropdown-widget > .iltis-disabled.iltis-dropdown-button, .iltis-dropdown-widget .iltis-disabled.iltis-dropdown-button:focus, .iltis-disabled.iltis-back-to-top-btn {
    cursor: default !important;
    box-shadow: 0 2px 3px 0 rgba(0, 0, 0, 0.2);
    background-color: #d9d6d2;
    color: #706f6d !important; }

.iltis-interaction .iltis-button {
  background: #ffe3a2; }
  .iltis-interaction .iltis-button:focus {
    background: #ffe3a2; }

.iltis-card, .iltis-autogenerated-start-page .tree, .iltis-about-the-project, .iltis-change-quantity-panel .iltis-change-quantity-element, .iltis-login-modal, .iltis-tile {
  border-radius: 12px;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); }
  .iltis-card .card-content, .iltis-autogenerated-start-page .tree .card-content, .iltis-about-the-project .card-content, .iltis-change-quantity-panel .iltis-change-quantity-element .card-content, .iltis-login-modal .card-content, .iltis-tile .card-content {
    padding: 30px 40px;
    border-radius: 12px; }
    .iltis-card .card-content .card-title, .iltis-autogenerated-start-page .tree .card-content .card-title, .iltis-about-the-project .card-content .card-title, .iltis-change-quantity-panel .iltis-change-quantity-element .card-content .card-title, .iltis-login-modal .card-content .card-title, .iltis-tile .card-content .card-title {
      font-family: Roboto;
      font-size: 25px;
      font-weight: 400;
      /* Regular */
      line-height: 1;
      margin-bottom: 20px;
      display: block; }

.iltis-collapsible {
  border-radius: 12px;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); }
  .iltis-collapsible > li > .iltis-header {
    border-radius: 12px; }
  .iltis-collapsible > li.active > .iltis-header {
    border-radius: 12px 12px 0 0; }
  .iltis-collapsible > li .collapsible-body {
    border-radius: 0 0 12px 12px; }

ul.iltis-collapsible > li, ul.collapsible > li {
  list-style-type: none;
  margin-left: 0; }

.iltis-formula-highlight {
  background-color: #eda498;
  font-size: 20px;
  padding: 0 3px;
  margin: 0 3px;
  border-radius: 7px; }

.iltis-feedback-table {
  border-radius: 12px;
  overflow: hidden;
  border-collapse: collapse;
  width: unset;
  margin: 1em; }
  .iltis-feedback-table.iltis-bright .iltis-feedback-table-hr {
    background: #e8ded5; }
    .iltis-feedback-table.iltis-bright .iltis-feedback-table-hr + tr {
      background: #e8ded5; }
  .iltis-feedback-table.iltis-bright .iltis-feedback-table-valuation-row {
    background: #F3EEE8; }
  .iltis-feedback-table td {
    text-align: center;
    padding: 0 10px;
    border-radius: 0; }
  .iltis-feedback-table .iltis-feedback-table-your-formula-cell {
    border-left: 1px solid #707070;
    border-right: 1px solid #707070; }
  .iltis-feedback-table .iltis-feedback-table-formula {
    font-weight: 400; }
  .iltis-feedback-table .iltis-feedback-table-hr {
    background: #b9b2ac; }
    .iltis-feedback-table .iltis-feedback-table-hr + tr {
      background: #b9b2ac; }
    .iltis-feedback-table .iltis-feedback-table-hr td:first-child {
      border-top-left-radius: 12px; }
    .iltis-feedback-table .iltis-feedback-table-hr td:last-child {
      border-top-right-radius: 12px; }
  .iltis-feedback-table .iltis-feedback-table-valuation-row {
    border-top: 1px solid #707070;
    background: #e8ded5;
    height: 40px; }
    .iltis-feedback-table .iltis-feedback-table-valuation-row td:first-child {
      border-bottom-left-radius: 12px; }
    .iltis-feedback-table .iltis-feedback-table-valuation-row td:last-child {
      border-bottom-right-radius: 12px; }

h1 {
  font-size: 35px;
  font-weight: 500;
  /* Medium */ }

h2 {
  font-size: 30px;
  font-weight: 400; }

h3 {
  font-size: 25px;
  font-weight: 400; }

h4 {
  font-size: 22px;
  font-weight: 400; }

.iltis-nav-header.iltis-sticky {
  position: sticky;
  top: 0;
  z-index: 1000; }

.iltis-nav {
  background-color: #ffffff;
  box-shadow: none;
  height: 64px;
  line-height: 64px;
  color: #000000; }
  @media only screen and (max-width: 1100px) {
    .iltis-nav .iltis-devs-icon {
      display: none; } }
  @media only screen and (max-width: 855px) {
    .iltis-nav .iltis-nav-title-right {
      display: none; } }
  @media only screen and (max-width: 650px) {
    .iltis-nav .iltis-nav-title-left {
      display: none; } }
  .iltis-nav .nav-wrapper > a.button-collapse {
    display: none !important; }
  .iltis-nav .iltis-nav-wrapper {
    height: 64px;
    max-width: 1300px;
    margin: 0 auto;
    display: flex; }
    .iltis-nav .iltis-nav-wrapper * {
      max-height: 64px; }
  .iltis-nav .iltis-nav-left {
    display: flex;
    margin-right: auto; }
  .iltis-nav .iltis-nav-right {
    display: flex;
    margin-left: auto; }
    .iltis-nav .iltis-nav-right > * {
      padding: 0 10px; }
    .iltis-nav .iltis-nav-right > .iltis-icon {
      width: unset !important;
      height: unset !important;
      display: flex;
      align-items: center; }
  .iltis-nav .iltis-nav-title-left, .iltis-nav .iltis-nav-title-right {
    font-size: 30px;
    padding: 0 10px;
    white-space: nowrap; }
  .iltis-nav .iltis-nav-titlePanel {
    display: inline-flex;
    cursor: pointer; }
    .iltis-nav .iltis-nav-titlePanel .iltis-nav-titleImagePanel {
      display: flex;
      align-items: center;
      height: 64px;
      width: auto; }
      .iltis-nav .iltis-nav-titlePanel .iltis-nav-titleImagePanel:hover {
        transform: scale(1.1);
        transition: .1s ease-in; }
      .iltis-nav .iltis-nav-titlePanel .iltis-nav-titleImagePanel img {
        max-width: 100%;
        max-height: 100%;
        padding: 7px;
        height: 64px;
        width: auto; }
  .iltis-nav .material-icons, .iltis-nav .brand-logo, .iltis-nav .material-icons + span {
    color: #000000;
    height: 64px;
    line-height: 64px; }
  .iltis-nav .iltis-icon {
    padding: 10px; }
  .iltis-nav .progress {
    background-color: transparent; }
    .iltis-nav .progress .indeterminate {
      background-color: #17365c; }
  .iltis-nav .iltis-related-instances-selection-panel {
    display: inline-flex;
    margin-right: 10px; }
    .iltis-nav .iltis-related-instances-selection-panel .iltis-icon {
      width: 100% !important;
      height: 100% !important; }
    .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown {
      position: absolute;
      top: 64px;
      display: flex;
      flex-direction: column;
      z-index: 10001;
      height: 64px;
      opacity: 1;
      transition: opacity 0.5s; }
      .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown .iltis-related-instance {
        background: #ffffff;
        padding: 0 15px;
        border-bottom: 1px solid;
        border-left: 1px solid;
        border-right: 1px solid; }
        .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown .iltis-related-instance:hover {
          background: #fef2d0; }
        .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown .iltis-related-instance .iltis-iconed-label {
          cursor: pointer; }
          .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown .iltis-related-instance .iltis-iconed-label .iltis-iconed-label-icon-td .material-icons {
            cursor: pointer !important; }
      .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown.iltis-cookies-accepted {
        z-index: 995 !important; }
      .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown .iltis-icon {
        padding: 10px;
        height: 49.73px !important;
        /* height of icon + 2*10px for padding */ }
        .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown .iltis-icon img {
          display: block; }
      .iltis-nav .iltis-related-instances-selection-panel .iltis-related-instances-dropdown.iltis-hidden {
        visibility: hidden;
        opacity: 0; }

.pseudotask, .advice, .warning, .usagehint {
  padding: 25px;
  border-radius: 12px;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
  overflow: hidden; }
  .pseudotask > h3, .advice > h3, .warning > h3, .usagehint > h3, .pseudotask > h4, .advice > h4, .warning > h4, .usagehint > h4 {
    margin-top: 0; }

hint, .iltis-hint {
  border-radius: 12px;
  background: #F3EEE8;
  padding: 10px 20px;
  display: block;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); }
  hint.iltis-alt, .iltis-hint.iltis-alt {
    background: #FFFCF9; }
  hint title, hint h3, .iltis-hint title, .iltis-hint h3 {
    font-size: 25px;
    font-weight: 500;
    margin: 0 0 7px; }

.pseudotask {
  background-color: #fef2d0;
  padding: 0 50px 25px 50px; }
  .pseudotask h3, .pseudotask .iltis-header {
    background-color: #ffe3a2;
    font-family: Roboto;
    border: none;
    font-size: 25px;
    width: calc(100% + 100px);
    left: -50px;
    position: relative;
    margin: 0;
    min-height: 3rem;
    line-height: 1;
    display: flex;
    align-items: center;
    padding: 0 20px; }
  .pseudotask > p:last-child {
    margin-bottom: 0 !important; }
  .pseudotask > details > summary {
    padding: 5px 10px;
    width: max-content; }

.assignment .iltis-exercise-icon {
  cursor: default;
  align-items: normal; }

.assignment .iltis-assignment-text {
  width: 100%; }

.advice {
  background-color: #fef2d0; }

.warning {
  background-color: #ffdfb3; }

.usagehint {
  background-color: #e3d5c8; }

table.propositions, table.formulas, table.properties, table.signature {
  margin-left: 25px; }
  table.propositions tr > td:first-child, table.formulas tr > td:first-child, table.properties tr > td:first-child, table.signature tr > td:first-child {
    padding-right: 15px;
    width: 1%;
    white-space: nowrap;
    vertical-align: top; }

em {
  font-style: italic; }

strong {
  font-weight: bold; }

Problem > Given::before, Problem > Question::before {
  display: table-cell;
  font-weight: 500;
  width: 0;
  padding: 0 20px; }

:lang(de) Problem Given::before {
  content: "Gegeben: " !important; }

:lang(de) Problem Question::before {
  content: "Frage: " !important; }

Problem {
  border-radius: 12px;
  border: 2px solid #b1a5cc;
  background: #ede6ff;
  padding-bottom: 10px;
  display: block; }
  Problem > Name {
    border-top-left-radius: 9px;
    border-top-right-radius: 9px;
    display: table-caption;
    background: #b1a5cc;
    border: 2px solid #b1a5cc;
    font-size: 110%;
    font-weight: 500;
    font-variant: small-caps;
    padding: 0 10px;
    margin-bottom: 5px; }
    Problem > Name > sub {
      font-variant: normal; }
  Problem > Given {
    display: table-row;
    background: #ede6ff; }
    Problem > Given::before {
      content: "Input: "; }
      Problem > Given::before:lang(en) {
        content: "Input: "; }
      Problem > Given::before:lang(de) {
        content: "Gegeben: "; }
    Problem > Given::after {
      content: "";
      display: table-cell;
      width: 10px; }
  Problem > Question {
    display: table-row;
    background: #ede6ff;
    border-bottom-right-radius: 12px;
    border-bottom-left-radius: 12px; }
    Problem > Question::before {
      content: "Question: "; }
      Problem > Question::before:lang(en) {
        content: "Question: "; }
      Problem > Question::before:lang(de) {
        content: "Frage: "; }
    Problem > Question::after {
      content: "";
      display: table-cell;
      width: 10px; }

span.problem-ref {
  font-variant: small-caps; }

ProblemPair {
  display: grid;
  grid-auto-rows: 1fr;
  grid-gap: 20px; }
  ProblemPair.vertical {
    grid-template-columns: repeat(2, 1fr); }
    ProblemPair.vertical Problem {
      height: 100%; }

.iltis-spinningloader {
  border-color: #f2c55e; }

.iltis-interaction .iltis-interaction .iltis-spinningloader {
  border-color: #f2c55e; }

.iltis-autogenerated-start-page .iltis-title {
  font-size: 25px;
  margin-bottom: 20px; }

.iltis-autogenerated-start-page .tree {
  padding: 20px 10px;
  background: white; }

.iltis-startpage {
  /*
	.iltis-module {

		.iltis-module-title {
			font-size: 1.6rem;
			width: unquote("calc(100% + 80px)");
			left: -40px;
			position: relative;
			margin: 0;
			min-height: 3rem;
			line-height: 1;
			display: flex;
			align-items: center;
			padding: 0 20px;
		}

		.iltis-module-additional-title {
			font-size: 1.2rem;
			font-variant: small-caps;
			position: relative;
			top: -5px;
		}

		.iltis-module-blocks {
			margin-top: 30px;
		}
	}
	*/ }
  .iltis-startpage > .row {
    margin-bottom: 0; }
  .iltis-startpage .iltis-tile.iltis-module.card {
    margin: 0; }
  .iltis-startpage .iltis-tile.iltis-part {
    margin-top: 50px;
    box-shadow: 0px 0px 8px 0 rgba(0, 0, 0, 0.2); }
    .iltis-startpage .iltis-tile.iltis-part.propositional-logic {
      background-color: #ffdfb3; }
      .iltis-startpage .iltis-tile.iltis-part.propositional-logic > .card-content > .card-title {
        background-color: #ffc97d; }
      .iltis-startpage .iltis-tile.iltis-part.propositional-logic .iltis-module {
        background-color: #ffdfb3; }
    .iltis-startpage .iltis-tile.iltis-part.modal-logic {
      background-color: #E4DFF0 !important; }
      .iltis-startpage .iltis-tile.iltis-part.modal-logic > .card-content > .card-title {
        background-color: #b1a5cc !important; }
      .iltis-startpage .iltis-tile.iltis-part.modal-logic .iltis-module {
        background-color: #E4DFF0 !important; }
    .iltis-startpage .iltis-tile.iltis-part.additional-components {
      background-color: #B9EDC5 !important; }
      .iltis-startpage .iltis-tile.iltis-part.additional-components > .card-content > .card-title {
        background-color: #81C99F !important; }
      .iltis-startpage .iltis-tile.iltis-part.additional-components .iltis-module {
        background-color: #B9EDC5 !important; }
    .iltis-startpage .iltis-tile.iltis-part.first-order-logic {
      background-color: #BED4E6 !important; }
      .iltis-startpage .iltis-tile.iltis-part.first-order-logic > .card-content > .card-title {
        background-color: #8DB8D9 !important; }
      .iltis-startpage .iltis-tile.iltis-part.first-order-logic .iltis-module {
        background-color: #BED4E6 !important; }
    .iltis-startpage .iltis-tile.iltis-part .chapter ~ .chapter {
      margin-top: 60px; }
    .iltis-startpage .iltis-tile.iltis-part > .card-content {
      padding: 0 20px 20px; }
      .iltis-startpage .iltis-tile.iltis-part > .card-content > .card-title {
        font-size: 30px;
        font-weight: bold;
        height: 55px;
        line-height: 55px;
        width: calc(100% + 40px);
        padding: 0 20px;
        left: -20px;
        border-top-left-radius: 12px;
        border-top-right-radius: 12px;
        position: relative; }
        .iltis-startpage .iltis-tile.iltis-part > .card-content > .card-title + .row {
          padding-top: 0; }
    .iltis-startpage .iltis-tile.iltis-part .evaluation .iltis-module .chapter-intro {
      background-color: #ffffff;
      border-radius: 12px;
      padding: 20px; }
    .iltis-startpage .iltis-tile.iltis-part .iltis-module {
      box-shadow: none; }
      .iltis-startpage .iltis-tile.iltis-part .iltis-module .chapter-intro {
        margin-bottom: 20px; }
      .iltis-startpage .iltis-tile.iltis-part .iltis-module .card-title .chapter {
        font-size: 30px;
        padding-right: 15px; }
      .iltis-startpage .iltis-tile.iltis-part .iltis-module .card-title .chapter-title {
        font-size: 30px;
        font-weight: 500; }
      .iltis-startpage .iltis-tile.iltis-part .iltis-module > .card-content {
        padding: 0; }
        .iltis-startpage .iltis-tile.iltis-part .iltis-module > .card-content > .row {
          background-color: #ffffff;
          padding-top: 20px;
          margin-bottom: 0;
          border-top-left-radius: 12px;
          border-top-right-radius: 12px; }
          .iltis-startpage .iltis-tile.iltis-part .iltis-module > .card-content > .row ~ .row {
            border-radius: 0; }
          .iltis-startpage .iltis-tile.iltis-part .iltis-module > .card-content > .row:last-of-type {
            border-bottom-left-radius: 12px;
            border-bottom-right-radius: 12px; }
        .iltis-startpage .iltis-tile.iltis-part .iltis-module > .card-content > .card-title {
          margin: 30px 0; }
    .iltis-startpage .iltis-tile.iltis-part .iltis-module-block {
      box-shadow: none;
      background-color: #ffffff; }
      .iltis-startpage .iltis-tile.iltis-part .iltis-module-block > .card-content {
        background-color: #ffffff;
        padding: 0 20px 20px; }
      .iltis-startpage .iltis-tile.iltis-part .iltis-module-block .card-title {
        font-size: 25px;
        font-weight: bold; }
      .iltis-startpage .iltis-tile.iltis-part .iltis-module-block .iltis-module-block-subtitle {
        font-size: 20px;
        font-weight: 500; }
  .iltis-startpage .iltis-module.welcome {
    box-shadow: none;
    background: transparent; }
    .iltis-startpage .iltis-module.welcome > .card-content {
      padding: 0; }
  .iltis-startpage .iltis-module.chapter-overview {
    background-color: #fef2d0; }
    .iltis-startpage .iltis-module.chapter-overview .iltis-module-title {
      font-size: 30px;
      font-weight: bold; }
    .iltis-startpage .iltis-module.chapter-overview .iltis-module {
      box-shadow: none;
      background-color: #ffffff; }
      .iltis-startpage .iltis-module.chapter-overview .iltis-module .iltis-module-title {
        font-size: 25px;
        font-weight: bold; }
      .iltis-startpage .iltis-module.chapter-overview .iltis-module table.pagelink td {
        vertical-align: top; }
        .iltis-startpage .iltis-module.chapter-overview .iltis-module table.pagelink td.chapter {
          font-weight: 500;
          padding-right: 10px;
          width: 1%;
          white-space: nowrap; }
      .iltis-startpage .iltis-module.chapter-overview .iltis-module ul > li {
        list-style: none;
        margin-left: 0; }
        .iltis-startpage .iltis-module.chapter-overview .iltis-module ul > li ~ li {
          margin-top: 10px; }
  .iltis-startpage .iltis-module.various-components {
    background-color: #edebe8;
    box-shadow: none; }
    .iltis-startpage .iltis-module.various-components .module-title {
      font-size: 30px;
      font-weight: 500; }
    .iltis-startpage .iltis-module.various-components .iltis-module-block {
      background-color: #d9d6d2;
      box-shadow: none;
      margin-top: 40px; }
      .iltis-startpage .iltis-module.various-components .iltis-module-block ul {
        margin-bottom: 0; }
        .iltis-startpage .iltis-module.various-components .iltis-module-block ul > li > ul {
          margin-top: 10px; }
        .iltis-startpage .iltis-module.various-components .iltis-module-block ul > li ~ li {
          margin-top: 10px; }
  .iltis-startpage p.iltis-module-block-subtitle:first-child {
    margin-top: 0 !important; }

.iltis-about-the-project {
  background: #F2E6DA;
  margin-top: 50px; }

input:not([type]):focus:not([readonly]), input[type=text]:focus:not([readonly]), input[type=password]:focus:not([readonly]), input[type=email]:focus:not([readonly]), input[type=url]:focus:not([readonly]), input[type=time]:focus:not([readonly]), input[type=date]:focus:not([readonly]), input[type=datetime-local]:focus:not([readonly]), input[type=tel]:focus:not([readonly]), input[type=number]:focus:not([readonly]), input[type=search]:focus:not([readonly]), textarea.materialize-textarea:focus:not([readonly]) {
  border-bottom: 1px solid #0012ff;
  box-shadow: 0 2px 1px -2px #0012ff; }

input:not([type]):focus:not([readonly]) + label, input[type=text]:focus:not([readonly]) + label, input[type=password]:focus:not([readonly]) + label, input[type=email]:focus:not([readonly]) + label, input[type=url]:focus:not([readonly]) + label, input[type=time]:focus:not([readonly]) + label, input[type=date]:focus:not([readonly]) + label, input[type=datetime-local]:focus:not([readonly]) + label, input[type=tel]:focus:not([readonly]) + label, input[type=number]:focus:not([readonly]) + label, input[type=search]:focus:not([readonly]) + label, textarea.materialize-textarea:focus:not([readonly]) + label, .input-field .prefix.active {
  color: #0012ff; }

textarea.materialize-textarea, .input-field, input[type=text] {
  font-size: 18px; }
  textarea.materialize-textarea .field-error-label, .input-field .field-error-label, input[type=text] .field-error-label {
    font-size: 16px; }

input[type=text]:not([readonly])::placeholder, textarea.materialize-textarea[type=text]:not([readonly])::placeholder {
  font-family: Roboto;
  font-size: 18px;
  color: #706f6d; }

input[type=text]:not([readonly]):focus, textarea.materialize-textarea[type=text]:not([readonly]):focus {
  border-bottom: 1px solid #0012ff;
  box-shadow: 0 1px 0 0 #0012ff; }
  input[type=text]:not([readonly]):focus::placeholder, textarea.materialize-textarea[type=text]:not([readonly]):focus::placeholder {
    color: #0012ff;
    opacity: 0.7; }

i.material-icons.active {
  color: #000000; }

.input-field label {
  font-size: 20px;
  color: #706f6d; }
  .input-field label.active {
    font-size: 16px;
    transform: translateY(-25px); }

.material-tooltip {
  pointer-events: none;
  font-size: 20px;
  color: #ffffff;
  border-radius: 10px; }
  .material-tooltip .backdrop {
    border-radius: 10px;
    background-color: #706f6d; }

.h1 {
  font-size: 30px;
  font-weight: 400;
  margin: 40px 0 20px; }

.h2 {
  font-size: 25px;
  font-weight: 400;
  margin: 30px 0 20px; }

.h3 {
  font-size: 22px;
  font-weight: 400;
  margin: 30px 0 20px; }

.formula {
  color: #0058aa;
  font-family: monospace; }
  .formula.semantic {
    color: #c44900; }
  .formula .alt {
    color: #0078dd; }

.comment {
  color: #a6a4a1; }

.problem {
  font-weight: bold;
  font-variant: small-caps; }

.definition, .satz {
  padding: 20px;
  border-radius: 12px;
  margin: 20px 0;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); }
  .definition ol:first-child, .satz ol:first-child {
    margin-top: 0; }
  .definition ol:last-child, .satz ol:last-child {
    margin-bottom: 0; }

.definition {
  background-color: #cce8ff; }
  .definition .problem ~ table td:first-child {
    width: 1%;
    white-space: nowrap;
    padding-right: 10px; }
  .definition > .problem:first-child {
    font-size: 25px;
    margin-bottom: 10px;
    display: block; }
    .definition > .problem:first-child + br {
      display: none; }

.satz {
  background-color: #ffdfb3; }

.phrase {
  color: #027;
  font-weight: 300;
  font-style: italic; }
  .phrase .em {
    text-decoration: underline; }
  .phrase .alt {
    color: #07d; }

.truthtable {
  margin: auto;
  width: auto; }
  .truthtable td, .truthtable th {
    text-align: center;
    border-radius: 0;
    padding: 2px 15px; }
  .truthtable td {
    background-color: #ffe3a2; }
  .truthtable th {
    border-bottom: 2px solid #f2c55e;
    background-color: #ffd77d !important; }
    .truthtable th:first-child {
      border-top-left-radius: 12px; }
    .truthtable th:last-child {
      border-top-right-radius: 12px; }
  .truthtable tr:last-child td:first-child {
    border-bottom-left-radius: 12px; }
  .truthtable tr:last-child td:last-child {
    border-bottom-right-radius: 12px; }
  .truthtable .result, .truthtable .result-green, .truthtable .result-red {
    font-weight: bold;
    background-color: #ffd77d; }
  .truthtable .result-green {
    background-color: #d4f7b2; }
  .truthtable .result-red {
    background-color: #eda498; }
  .truthtable .comment {
    color: #764701; }

.hinweis {
  border-radius: 12px;
  background: #edebe8;
  padding: 10px 20px !important;
  display: block;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
  margin: 20px 0; }
  .hinweis title, .hinweis h3 {
    font-size: 25px;
    font-weight: 500;
    margin: 0 0 7px; }

.code {
  font-family: monospace;
  color: #17365c; }
  .code .block {
    padding-left: 20px;
    border-left: 1px solid #DDD; }

table.compact.displaymath {
  width: auto;
  margin: auto; }
  table.compact.displaymath td {
    white-space: nowrap;
    padding-right: 15px; }
    table.compact.displaymath td.reason {
      padding-left: 15px; }

.iltis-change-quantity-panel .iltis-add-button {
  margin: 30px auto auto;
  display: block;
  font-weight: 400; }

.iltis-change-quantity-panel .iltis-change-quantity-element {
  background: white; }
  .iltis-change-quantity-panel .iltis-change-quantity-element .iltis-change-quantity-element-remove-icon {
    position: relative;
    right: 5px;
    top: 4px;
    align-items: flex-start;
    opacity: 0.2;
    scale: 0.8;
    height: 100%; }

.iltis-completabletable-root {
  max-width: 100%; }
  .iltis-completabletable-root .iltis-completabletable-scrollpanel {
    max-width: max-content;
    padding-top: 28px; }
  .iltis-completabletable-root .iltis-row-resize-panel {
    width: max-content; }
    .iltis-completabletable-root .iltis-row-resize-panel .iltis-add-row-icon, .iltis-completabletable-root .iltis-row-resize-panel .iltis-remove-row-icon {
      font-size: 28px; }

.iltis-completabletable .iltis-resize-panel {
  width: 100%;
  position: relative;
  height: 100%;
  display: flex;
  align-items: center; }

.iltis-completabletable .iltis-resize-icon-panel-column {
  position: absolute;
  top: -28px;
  width: 100%;
  display: flex; }
  .iltis-completabletable .iltis-resize-icon-panel-column .iltis-resize-icon {
    font-size: 28px;
    margin-left: auto; }

.iltis-completabletable .iltis-resize-icon-panel-row {
  position: absolute;
  display: flex;
  left: -28px; }
  .iltis-completabletable .iltis-resize-icon-panel-row .iltis-resize-icon {
    font-size: 28px; }

.iltis-cookie-popup {
  position: absolute;
  top: calc(40vh - 100px) !important;
  width: 500px !important;
  left: max(25%, 50% - 250px) !important;
  border-radius: 12px;
  z-index: 10000 !important; }
  .iltis-cookie-popup .iltis-legal-container {
    margin-top: 30px; }
  .iltis-cookie-popup .iltis-panelWithHeader {
    background: white !important;
    height: 100%; }
    .iltis-cookie-popup .iltis-panelWithHeader .iltis-header {
      background: white !important;
      height: 50px;
      padding-top: 30px;
      width: max-content; }
      .iltis-cookie-popup .iltis-panelWithHeader .iltis-header .iltis-panelWithHeader-title {
        z-index: 1 !important;
        padding-left: 7px;
        font-size: 30px;
        font-weight: 500; }
        .iltis-cookie-popup .iltis-panelWithHeader .iltis-header .iltis-panelWithHeader-title::after {
          width: calc(100% + 10px);
          height: 25px;
          content: " ";
          background-color: #b4e0df;
          border-radius: 12px;
          position: relative;
          top: -23px;
          left: -5px;
          z-index: -1 !important;
          display: block; }
  .iltis-cookie-popup .iltis-button-panel {
    margin-top: 30px;
    display: flex;
    justify-content: space-evenly; }
    .iltis-cookie-popup .iltis-button-panel .iltis-button {
      background-color: #ffe3a2;
      font-weight: 400 !important; }
  .iltis-cookie-popup .iltis-cookie-popup-body .iltis-cookie-popup-bodyPanel {
    padding-top: 10px;
    height: 100%;
    display: flex;
    flex-direction: column;
    justify-content: space-between; }
  .iltis-cookie-popup + .iltis-popup-glass {
    z-index: 9999;
    background-color: rgba(0, 0, 0, 0.8) !important;
    height: calc(100vh - 64px);
    top: 64px; }

@media only screen and (min-width: 1400px) {
  .iltis-devpanel {
    width: 1400px;
    left: -210px;
    position: relative; } }

.iltis-devpanel .iltis-tab-col {
  margin-bottom: 50px; }
  .iltis-devpanel .iltis-tab-col.iltis-round-tabs .tabs {
    background-color: transparent; }
    .iltis-devpanel .iltis-tab-col.iltis-round-tabs .tabs .tab {
      background-color: #ffe3a2;
      border-left: 1px solid #fef6ee;
      border-right: 1px solid #fef6ee;
      border-top-left-radius: 12px;
      border-top-right-radius: 12px; }
      .iltis-devpanel .iltis-tab-col.iltis-round-tabs .tabs .tab a {
        color: black;
        text-transform: none;
        display: flex;
        align-items: center;
        justify-content: center; }
        .iltis-devpanel .iltis-tab-col.iltis-round-tabs .tabs .tab a:hover {
          text-decoration: none !important; }
        .iltis-devpanel .iltis-tab-col.iltis-round-tabs .tabs .tab a > span {
          max-width: 100%;
          padding: 0 5px;
          overflow: hidden;
          text-overflow: ellipsis; }
          .iltis-devpanel .iltis-tab-col.iltis-round-tabs .tabs .tab a > span.badge {
            position: relative;
            font-size: 16px !important;
            background-color: #f2c55e !important;
            border-radius: 3px !important;
            top: -1px;
            vertical-align: middle;
            right: 0;
            margin-right: 5px; }
    .iltis-devpanel .iltis-tab-col.iltis-round-tabs .tabs .indicator {
      border-right: 12px;
      z-index: 1; }

.iltis-devpanel .iltis-card.positive {
  background-color: #f4ffe9 !important;
  border: 4px solid #a3d177 !important; }
  .iltis-devpanel .iltis-card.positive .card-title {
    margin-bottom: 0; }

.iltis-devpanel .iltis-devpanel-section {
  box-shadow: none;
  border: 4px solid #c2bfbc !important; }
  .iltis-devpanel .iltis-devpanel-section .iltis-header {
    border-radius: 0;
    border: 0; }
  .iltis-devpanel .iltis-devpanel-section.positive {
    background-color: #f4ffe9 !important;
    border: 4px solid #a3d177 !important; }
  .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-parseerrors {
    background-color: #ffe9e6 !important;
    border: 4px solid #e08475 !important; }
    .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-parseerrors .iltis-header {
      background-color: #e08475 !important; }
    .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-parseerrors .iltis-devpanel-section-item + .iltis-devpanel-section-item::before {
      background-color: #e08475 !important; }
  .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-infos {
    background-color: #cce8ff !important;
    border: 4px solid #5c86a8 !important; }
    .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-infos .iltis-header {
      background-color: #5c86a8 !important; }
    .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-infos .iltis-devpanel-section-item + .iltis-devpanel-section-item::before {
      background-color: #5c86a8 !important; }
  .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-warnings {
    background-color: #fef2d0 !important;
    border: 4px solid #f2c55e !important; }
    .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-warnings .iltis-header {
      background-color: #f2c55e !important; }
    .iltis-devpanel .iltis-devpanel-section.iltis-devpanel-section-warnings .iltis-devpanel-section-item + .iltis-devpanel-section-item::before {
      background-color: #f2c55e !important; }
  .iltis-devpanel .iltis-devpanel-section .iltis-devpanel-section-item + .iltis-devpanel-section-item::before {
    content: " ";
    height: 1px;
    width: 100%;
    display: block;
    margin: 20px 0;
    background-color: #a6a4a1; }
  .iltis-devpanel .iltis-devpanel-section .iltis-devpanel-section-item.iltis-log-record-with-stacktrace > .iltis-button {
    margin: 10px auto 0;
    display: block; }
  .iltis-devpanel .iltis-devpanel-section .iltis-devpanel-section-item.iltis-log-record-with-stacktrace > .iltis-stacktrace {
    margin-top: 10px;
    overflow: auto; }

.iltis-devpanel .iltis-refresh-container {
  display: flex;
  justify-content: center;
  margin-bottom: 50px; }

.iltis-dropdown-widget {
  position: relative;
  height: 30px; }
  .iltis-dropdown-widget.iltis-dropdown-behavior-native > .iltis-dropdown-button, .iltis-dropdown-widget.iltis-dropdown-behavior-native .iltis-dropdown-button:focus {
    pointer-events: none; }
    .iltis-dropdown-widget.iltis-dropdown-behavior-native > .iltis-dropdown-button > .iltis-dropdown-native, .iltis-dropdown-widget.iltis-dropdown-behavior-native .iltis-dropdown-button:focus > .iltis-dropdown-native {
      pointer-events: auto; }
  .iltis-dropdown-widget.iltis-dropdown-behavior-custom > .iltis-dropdown-button, .iltis-dropdown-widget.iltis-dropdown-behavior-custom .iltis-dropdown-button:focus {
    pointer-events: auto; }
    .iltis-dropdown-widget.iltis-dropdown-behavior-custom > .iltis-dropdown-button > .iltis-dropdown-native, .iltis-dropdown-widget.iltis-dropdown-behavior-custom .iltis-dropdown-button:focus > .iltis-dropdown-native {
      pointer-events: none; }
  .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover > .iltis-dropdown-button, .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover .iltis-dropdown-button:focus {
    pointer-events: none; }
    @media (hover: hover) {
      .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover > .iltis-dropdown-button, .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover .iltis-dropdown-button:focus {
        pointer-events: auto; } }
    .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover > .iltis-dropdown-button > .iltis-dropdown-native, .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover .iltis-dropdown-button:focus > .iltis-dropdown-native {
      pointer-events: auto; }
      @media (hover: hover) {
        .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover > .iltis-dropdown-button > .iltis-dropdown-native, .iltis-dropdown-widget.iltis-dropdown-behavior-custom-on-hover .iltis-dropdown-button:focus > .iltis-dropdown-native {
          pointer-events: none; } }
  .iltis-dropdown-widget > .iltis-dropdown-button, .iltis-dropdown-widget .iltis-dropdown-button:focus {
    display: flex;
    align-items: center;
    gap: 5px;
    background: #ffe3a2;
    border: none;
    padding: 0 8px;
    text-align: left;
    height: 30px;
    line-height: 30px;
    text-transform: none;
    font-weight: normal; }
    .iltis-dropdown-widget > .iltis-dropdown-button > .iltis-dropdown-native, .iltis-dropdown-widget .iltis-dropdown-button:focus > .iltis-dropdown-native {
      position: absolute;
      top: 0;
      left: 0;
      width: 100%;
      height: 100%;
      opacity: 0; }
    .iltis-dropdown-widget > .iltis-dropdown-button > .iltis-dropdown-button-label, .iltis-dropdown-widget .iltis-dropdown-button:focus > .iltis-dropdown-button-label {
      flex: 1 1 auto; }
    .iltis-dropdown-widget > .iltis-dropdown-button > .iltis-dropdown-expand-icon, .iltis-dropdown-widget .iltis-dropdown-button:focus > .iltis-dropdown-expand-icon {
      width: 10px; }
      .iltis-dropdown-widget > .iltis-dropdown-button > .iltis-dropdown-expand-icon > div, .iltis-dropdown-widget .iltis-dropdown-button:focus > .iltis-dropdown-expand-icon > div {
        border-bottom: 1px solid #000;
        border-right: 1px solid #000;
        position: absolute;
        top: 50%;
        width: 5px;
        height: 5px;
        transform: rotate(45deg) translateY(-50%);
        transform-origin: right; }
  .iltis-dropdown-widget > .iltis-dropdown-options {
    display: none;
    position: absolute;
    top: 30px;
    right: 0;
    width: 100%;
    min-width: 150px;
    flex-direction: column;
    align-items: stretch;
    z-index: 1000;
    box-shadow: 0 2px 3px 0 rgba(0, 0, 0, 0.2); }
    .iltis-dropdown-widget > .iltis-dropdown-options > .iltis-option {
      background: #ffffff;
      border: none;
      text-align: left; }
      .iltis-dropdown-widget > .iltis-dropdown-options > .iltis-option :last-child {
        border-radius: 0 0 7px 7px; }
      .iltis-dropdown-widget > .iltis-dropdown-options > .iltis-option.iltis-selected {
        background: #edebe8; }
      .iltis-dropdown-widget > .iltis-dropdown-options > .iltis-option:hover, .iltis-dropdown-widget > .iltis-dropdown-options > .iltis-option:active {
        background: #d9d6d2; }
  .iltis-dropdown-widget.iltis-expanded > .iltis-dropdown-button, .iltis-dropdown-widget.iltis-expanded .iltis-dropdown-button:focus {
    border-radius: 7px 7px 0 0; }
  .iltis-dropdown-widget.iltis-expanded > .iltis-dropdown-options {
    display: flex; }

.iltis-expandable-h-container {
  display: flex; }
  .iltis-expandable-h-container .iltis-content-container {
    overflow: hidden;
    margin: auto; }
  .iltis-expandable-h-container .iltis-button {
    width: 35px;
    height: 100%;
    padding: 0 5px;
    margin-left: 20px;
    display: none; }
    .iltis-expandable-h-container .iltis-button .material-icons {
      font-size: 25px; }
  .iltis-expandable-h-container.iltis-isexpandable .iltis-content-container {
    width: calc(100% - 55px); }
  .iltis-expandable-h-container.iltis-isexpandable .iltis-button {
    display: block; }
  .iltis-expandable-h-container.iltis-isexpanded .iltis-content-container {
    width: max-content;
    overflow: visible; }
  .iltis-expandable-h-container.iltis-isexpanded .iltis-button {
    display: block; }
  .iltis-expandable-h-container .iltis-tree-selection-panel {
    width: max-content; }
  .iltis-expandable-h-container.iltis-disabled .iltis-tree-selection-panel {
    width: 100%; }
  .iltis-expandable-h-container.iltis-fits .iltis-content-container {
    overflow: visible; }
  .iltis-expandable-h-container.iltis-left-align .iltis-content-container {
    margin-left: 0; }

.iltis-feedback-calculation-indicator {
  display: inline-flex;
  width: 100%;
  justify-content: center; }
  .iltis-feedback-calculation-indicator > div {
    background: #edebe8;
    border-radius: 12px;
    display: flex;
    justify-content: center;
    width: 60%;
    min-width: 400px;
    border: 4px solid #c2bfbc; }

.iltis-feedback-choice-widget .iltis-feedback-choices-panel {
  margin-top: 20px;
  display: flex;
  justify-content: space-evenly; }
  .iltis-feedback-choice-widget .iltis-feedback-choices-panel .iltis-button {
    background: #ffffff; }

.iltis-feedbackpanel {
  display: inline-flex;
  width: 100%;
  border-radius: 12px; }
  .iltis-feedbackpanel .iltis-feedback {
    width: 100%; }
    .iltis-feedbackpanel .iltis-feedback > .gwt-HTML > div + div {
      margin-top: 10px; }
  .iltis-feedbackpanel .iltis-feedbackrow + .iltis-feedbackrow:not(.iltis-no-separator)::before {
    content: " ";
    height: 1px;
    width: 100%;
    display: block;
    margin: 10px 0; }
  .iltis-feedbackpanel.negative {
    border: 4px solid #e08475;
    background: #e08475; }
    .iltis-feedbackpanel.negative.iltis-feedback-detailed .iltis-feedback-title {
      color: #A35243;
      font-weight: 500;
      font-size: 23px; }
    .iltis-feedbackpanel.negative .iltis-iconcolumn {
      border-right: 4px solid #e08475; }
      .iltis-feedbackpanel.negative .iltis-iconcolumn .iltis-feedbackicon {
        top: 15px;
        height: 37.5px; }
    .iltis-feedbackpanel.negative .iltis-feedbackcolumn {
      background: #ffe9e6; }
    .iltis-feedbackpanel.negative .iltis-feedbackrow + .iltis-feedbackrow::before {
      background-color: #e08475; }
  .iltis-feedbackpanel.positive {
    border: 4px solid #a3d177;
    background: #a3d177; }
    .iltis-feedbackpanel.positive.iltis-feedback-detailed .iltis-feedback-title {
      color: #76A34B;
      font-weight: 500;
      font-size: 23px; }
    .iltis-feedbackpanel.positive .iltis-iconcolumn {
      border-right: 4px solid #a3d177; }
    .iltis-feedbackpanel.positive .iltis-feedbackcolumn {
      background: #f4ffe9; }
    .iltis-feedbackpanel.positive .iltis-feedbackrow + .iltis-feedbackrow::before {
      background-color: #a3d177; }
  .iltis-feedbackpanel.hint {
    border: 4px solid #f2c55e;
    background: #f2c55e; }
    .iltis-feedbackpanel.hint.iltis-feedback-detailed .iltis-feedback-title {
      color: #C99A2C;
      font-weight: 500;
      font-size: 23px; }
    .iltis-feedbackpanel.hint .iltis-iconcolumn {
      border-right: 4px solid #f2c55e; }
    .iltis-feedbackpanel.hint .iltis-feedbackcolumn {
      background: #fef2d0; }
    .iltis-feedbackpanel.hint .iltis-feedbackrow + .iltis-feedbackrow::before {
      background-color: #f2c55e; }
  .iltis-feedbackpanel.info {
    border: 4px solid #5c86a8;
    background: #5c86a8; }
    .iltis-feedbackpanel.info.iltis-feedback-detailed .iltis-feedback-title {
      color: #2E5B80;
      font-weight: 500;
      font-size: 23px; }
    .iltis-feedbackpanel.info .iltis-iconcolumn {
      border-right: 4px solid #5c86a8; }
    .iltis-feedbackpanel.info .iltis-feedbackcolumn {
      background: #cce8ff; }
    .iltis-feedbackpanel.info .iltis-feedbackrow + .iltis-feedbackrow::before {
      background-color: #5c86a8; }
  .iltis-feedbackpanel .iltis-iconcolumn {
    width: 60px;
    min-height: 30px;
    text-align: center; }
    .iltis-feedbackpanel .iltis-iconcolumn .iltis-feedbackicon {
      position: relative;
      top: 20px;
      height: 30px; }
  .iltis-feedbackpanel .iltis-feedbackcolumn {
    width: calc(100% - 60px);
    padding: 20px 30px;
    font-weight: 300;
    border-top-right-radius: 12px;
    border-bottom-right-radius: 12px; }
  .iltis-feedbackpanel .iltis-show-more-row {
    width: 100%;
    display: flex;
    justify-content: center;
    margin-top: 30px; }
    .iltis-feedbackpanel .iltis-show-more-row .iltis-show-more {
      width: max-content;
      padding: 0 10px; }

.iltis-keyboard-key, .iltis-keyboard-key-bold {
  background: #d9d6d2;
  font-size: 20px;
  line-height: 0;
  height: 33px;
  min-width: 33px;
  border: none;
  border-radius: 5px; }
  .iltis-keyboard-key:hover, .iltis-keyboard-key-bold:hover, .iltis-keyboard-key:focus, .iltis-keyboard-key-bold:focus {
    background: #d9d6d2; }
  .iltis-keyboard-key:active, .iltis-keyboard-key-bold:active {
    background: #706f6d; }

.iltis-keyboard-key-bold {
  font-weight: 500;
  /* Medium */ }

.iltis-keyboard .iltis-keyboard-keyrow {
  margin-top: 10px; }
  .iltis-keyboard .iltis-keyboard-keyrow > * {
    margin: 0 5px; }

.iltis-formula-input-box {
  padding: 20px;
  margin-bottom: 20px; }
  .iltis-formula-input-box .iltis-textinput-sidePanel .iltis-checkbutton + .iltis-checkbutton {
    margin-top: 10px; }
  .iltis-formula-input-box .iltis-checkbutton {
    min-width: max-content;
    width: 100%;
    color: #000000 !important;
    font-weight: 400;
    display: flex; }
    .iltis-formula-input-box .iltis-checkbutton.wrong {
      background-color: #c26e60 !important; }
      .iltis-formula-input-box .iltis-checkbutton.wrong:hover, .iltis-formula-input-box .iltis-checkbutton.wrong:focus {
        background-color: #c26e60 !important; }
    .iltis-formula-input-box .iltis-checkbutton.correct {
      background-color: #a3d177 !important; }
      .iltis-formula-input-box .iltis-checkbutton.correct:hover, .iltis-formula-input-box .iltis-checkbutton.correct:focus {
        background-color: #a3d177 !important; }
    .iltis-formula-input-box .iltis-checkbutton.wrong .material-icons, .iltis-formula-input-box .iltis-checkbutton.correct .material-icons {
      display: none; }
    .iltis-formula-input-box .iltis-checkbutton .material-icons {
      font-size: 20px;
      margin-right: 7px; }
    .iltis-formula-input-box .iltis-checkbutton > span {
      margin: auto; }
  .iltis-formula-input-box .iltis-copybutton, .iltis-formula-input-box .iltis-skipbutton {
    margin-bottom: 7px; }
  .iltis-formula-input-box .iltis-skipbutton .material-icons {
    font-size: 27px;
    position: relative;
    left: -4px; }
  .iltis-formula-input-box .gwt-TextBox {
    font-size: 25px;
    color: #000000;
    border-bottom: 1px solid #706f6d;
    font-family: monospace; }
    .iltis-formula-input-box .gwt-TextBox:disabled {
      color: #000000;
      border-bottom: 1px solid #706f6d; }
  .iltis-formula-input-box .row {
    margin-bottom: 0 !important; }
  .iltis-formula-input-box .materialize-textarea {
    font-size: 25px;
    height: 37px;
    padding-bottom: 0;
    font-family: monospace; }
    .iltis-formula-input-box .materialize-textarea[disabled] {
      border: none; }
  .iltis-formula-input-box .input-field {
    line-height: 1;
    margin-top: 0; }
  .iltis-formula-input-box .iltis-keyboard-input {
    padding: 10px 10px 0;
    border-radius: 12px;
    background: #ffffff !important; }
  .iltis-formula-input-box .iltis-formula-input-label {
    padding-top: 26px; }

.iltis-help-popup .iltis-help-title-prefix {
  font-size: 25px;
  font-weight: 500; }

.iltis-help-popup .iltis-help-title {
  font-size: 25px;
  font-weight: 400; }

.iltis-iconed-label.iltis-hide-icon .iltis-iconed-label-icon-td {
  display: none; }

.iltis-iconed-label .iltis-iconed-label-icon-td {
  vertical-align: text-top; }
  .iltis-iconed-label .iltis-iconed-label-icon-td .material-icons {
    cursor: default !important;
    vertical-align: text-top;
    padding-right: 0.5em; }

.iltis-icon {
  cursor: pointer;
  display: flex;
  align-items: center; }
  .iltis-icon:hover:not(.iltis-disabled):not(.iltis-no-zoom):not(.iltis-button) {
    transform: scale(1.2);
    transition: .1s ease-in; }
    .iltis-icon:hover:not(.iltis-disabled):not(.iltis-no-zoom):not(.iltis-button).iltis-labeled {
      transform: scale(1.1); }
  .iltis-icon img.disabled {
    opacity: 0.3; }
  .iltis-icon .iltis-icon-label {
    padding-left: 5px; }
    .iltis-icon .iltis-icon-label.iltis-left-label {
      padding-left: 0;
      padding-right: 5px; }
  .iltis-icon.iltis-disabled .iltis-icon-label {
    cursor: default; }
  .iltis-icon.iltis-button {
    background: #ffffff;
    padding: 5px; }
    .iltis-icon.iltis-button:hover {
      background: #ffffff; }

.iltis-svg-button {
  height: auto !important;
  display: flex;
  align-items: center;
  justify-content: center;
  flex-direction: row; }
  .iltis-svg-button .iltis-svg-button-flex-direction-column {
    flex-direction: column; }
  .iltis-svg-button .iltis-no-pointer-events {
    pointer-events: none; }
  .iltis-svg-button .iltis-svg-button-icon {
    margin: 12px 0;
    background-color: transparent !important;
    box-shadow: none !important; }
  .iltis-svg-button .iltis-svg-button-icon svg {
    margin: 0 auto; }
  .iltis-svg-button .material-icons {
    display: block; }
  .iltis-svg-button .left {
    order: -1; }
  .iltis-svg-button .right {
    order: 1; }
  .iltis-svg-button.iltis-svg-button-toggled {
    box-shadow: 0 0 0 4px #5c86a8 inset !important; }
  .iltis-svg-button.iltis-svg-button-toggled:hover {
    box-shadow: 0 0 0 4px #5c86a8 inset, 0 5px 11px 0 rgba(0,0,0,0.18), 0 4px 15px 0 rgba(0,0,0,0.15) !important; }

.iltis-inputWidget-popup .iltis-dialogue-buttonpanel {
  margin: 20px auto 10px auto;
  width: max-content; }
  .iltis-inputWidget-popup .iltis-dialogue-buttonpanel .iltis-button {
    color: #000000;
    font-size: 20px;
    font-family: Roboto;
    font-weight: 400;
    text-transform: none;
    margin: 0 10px;
    min-width: 110px; }

.iltis-inputWidget-popup .iltis-inputWidget-popup-bodyLabel {
  margin-bottom: 20px; }

.iltis-login-modal {
  background: transparent; }
  .iltis-login-modal.modal .modal-content {
    padding: 0;
    background: transparent; }
    .iltis-login-modal.modal .modal-content .iltis-button {
      display: block;
      margin: auto;
      margin-top: 30px; }
  .iltis-login-modal .iltis-panelWithHeader {
    background: #e3d5c8; }
    .iltis-login-modal .iltis-panelWithHeader .iltis-header {
      background: #bfac9b;
      border: none; }
  .iltis-login-modal .iltis-feedbackpanel {
    margin-top: 20px; }

.iltis-lti-deeplinking-checkbox {
  padding-top: 3px; }
  .iltis-lti-deeplinking-checkbox [type="checkbox"]:checked + label:before {
    border-right: 2px solid #000000;
    border-bottom: 2px solid #000000;
    width: 13px;
    height: 24px; }

.iltis-mcq-widget {
  border-radius: 12px; }
  .iltis-mcq-widget questiontext {
    display: block;
    margin-bottom: 20px; }
  .iltis-mcq-widget .iltis-mcq-widget-choiceContainer:not(:first-child) {
    margin-top: 20px; }
  .iltis-mcq-widget .iltis-header {
    display: flex;
    align-items: baseline; }
    .iltis-mcq-widget .iltis-header > .material-icons {
      color: black !important;
      margin-left: auto !important; }
    .iltis-mcq-widget .iltis-header .iltis-question-prefix {
      align-self: baseline; }
  .iltis-mcq-widget .iltis-mcq-widget-body {
    padding: 15px 15px 20px 30px;
    border-radius: 12px;
    display: block; }
    .iltis-mcq-widget .iltis-mcq-widget-body label {
      font-size: 20px;
      color: #000000; }
    .iltis-mcq-widget .iltis-mcq-widget-body [type="checkbox"] + label:before {
      width: 20px;
      height: 20px;
      margin-top: 1px; }
    .iltis-mcq-widget .iltis-mcq-widget-body [type="radio"] + label:before, .iltis-mcq-widget .iltis-mcq-widget-body [type="radio"] + label:after {
      width: 18px;
      height: 18px;
      margin-top: 3px; }
    .iltis-mcq-widget .iltis-mcq-widget-body [type="radio"]:checked + label:after {
      border: 2px solid #000000;
      background-color: #000000; }
    .iltis-mcq-widget .iltis-mcq-widget-body [type="checkbox"]:checked + label:before {
      border-right: 2px solid #000000;
      border-bottom: 2px solid #000000;
      width: 13px;
      height: 24px; }
    .iltis-mcq-widget .iltis-mcq-widget-body .gwt-CheckBox, .iltis-mcq-widget .iltis-mcq-widget-body .gwt-RadioButton {
      display: block;
      margin-right: 20px; }
      .iltis-mcq-widget .iltis-mcq-widget-body .gwt-CheckBox:not(:last-child), .iltis-mcq-widget .iltis-mcq-widget-body .gwt-RadioButton:not(:last-child) {
        margin-bottom: 10px; }
  .iltis-mcq-widget .iltis-feedbackpanel .iltis-feedback-hint > p:first-child {
    margin-top: 0 !important; }
  .iltis-mcq-widget .iltis-feedbackpanel.iltis-feedback-bold .iltis-feedback-text {
    font-weight: 500; }

.iltis-panelWithHeader {
  width: 100%;
  -webkit-box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
  -moz-box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); }
  .iltis-panelWithHeader .iltis-header {
    width: 100%;
    display: flex;
    min-height: 3rem;
    line-height: 3rem;
    padding: 0 1rem;
    border-bottom: 1px solid #dddddd;
    border-top: 1px solid #dddddd;
    border-top-left-radius: 12px;
    border-top-right-radius: 12px; }
  .iltis-panelWithHeader .iltis-body {
    width: 100%;
    padding: 20px; }

.iltis-tile.iltis-plain {
  box-shadow: none; }

.iltis-tile .col {
  padding: 0 10px; }

.iltis-tile .row:last-child {
  margin-bottom: 0; }

.iltis-tile .card-title + .row {
  padding-top: 10px; }

.iltis-tile .card-content {
  border-radius: 12px; }

@media only screen and (max-width: 600px) {
  .iltis-tile .col + .col {
    margin-top: 20px; } }

.iltis-tile .iltis-tile.iltis-plain > .card-content {
  padding: 0; }

.row.iltis-large-sep {
  margin-top: 30px;
  margin-bottom: 30px; }

.row.iltis-xlarge-sep {
  margin-top: 50px;
  margin-bottom: 50px; }

.row.iltis-equal-tiles {
  display: flex;
  flex-wrap: wrap; }
  .row.iltis-equal-tiles .iltis-tile {
    margin: 0; }
    .row.iltis-equal-tiles .iltis-tile .card-content {
      height: 100%; }

/* Material fix */
.iltis-equal-tiles .col.iltis-tile-col {
  margin-left: 0; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s1, .iltis-equal-tiles .col.iltis-tile-col.offset-m1, .iltis-equal-tiles .col.iltis-tile-col.offset-l1 {
    margin-left: 8.33333%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s2, .iltis-equal-tiles .col.iltis-tile-col.offset-m2, .iltis-equal-tiles .col.iltis-tile-col.offset-l2 {
    margin-left: 16.66667%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s3, .iltis-equal-tiles .col.iltis-tile-col.offset-m3, .iltis-equal-tiles .col.iltis-tile-col.offset-l3 {
    margin-left: 25%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s4, .iltis-equal-tiles .col.iltis-tile-col.offset-m4, .iltis-equal-tiles .col.iltis-tile-col.offset-l4 {
    margin-left: 33.33333%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s5, .iltis-equal-tiles .col.iltis-tile-col.offset-m5, .iltis-equal-tiles .col.iltis-tile-col.offset-l5 {
    margin-left: 41.66667%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s6, .iltis-equal-tiles .col.iltis-tile-col.offset-m6, .iltis-equal-tiles .col.iltis-tile-col.offset-l6 {
    margin-left: 50%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s7, .iltis-equal-tiles .col.iltis-tile-col.offset-m7, .iltis-equal-tiles .col.iltis-tile-col.offset-l7 {
    margin-left: 58.33333%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s8, .iltis-equal-tiles .col.iltis-tile-col.offset-m8, .iltis-equal-tiles .col.iltis-tile-col.offset-l8 {
    margin-left: 66.66667%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s9, .iltis-equal-tiles .col.iltis-tile-col.offset-m9, .iltis-equal-tiles .col.iltis-tile-col.offset-l9 {
    margin-left: 75%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s10, .iltis-equal-tiles .col.iltis-tile-col.offset-m10, .iltis-equal-tiles .col.iltis-tile-col.offset-l10 {
    margin-left: 83.33333%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s11, .iltis-equal-tiles .col.iltis-tile-col.offset-m11, .iltis-equal-tiles .col.iltis-tile-col.offset-l11 {
    margin-left: 91.66667%; }
  .iltis-equal-tiles .col.iltis-tile-col.offset-s12, .iltis-equal-tiles .col.iltis-tile-col.offset-m12, .iltis-equal-tiles .col.iltis-tile-col.offset-l12 {
    margin-left: 100%; }

.iltis-tile-pagelink {
  position: relative;
  display: flex; }
  .iltis-tile-pagelink > a {
    position: absolute;
    top: 0;
    bottom: -0.5rem;
    left: 0;
    right: 0;
    background: transparent;
    color: transparent !important;
    z-index: 1;
    margin: 0 0.75rem;
    border-radius: 12px; }
  .iltis-tile-pagelink > .iltis-tile-col > .iltis-tile a {
    position: relative;
    z-index: 2; }

.iltis-pagelink-container {
  display: inline; }
  .iltis-pagelink-container .iltis-lti-deeplinking-checkbox {
    display: inline !important; }
  .iltis-pagelink-container .iltis-icon {
    margin-left: 10px;
    display: inline; }
    .iltis-pagelink-container .iltis-icon .iltis-icon-svg {
      cursor: default; }

.iltis-popup {
  position: absolute !important;
  width: 50%;
  max-width: 980px;
  left: max(25%, 50% - 490px);
  z-index: 996;
  /*nav bar has 997*/ }
  .iltis-popup .iltis-panelWithHeader {
    background: #e3d5c8;
    border-radius: 12px; }
    .iltis-popup .iltis-panelWithHeader .iltis-header {
      background: #bfac9b;
      border: none;
      border-top-left-radius: 12px;
      border-top-right-radius: 12px; }
    .iltis-popup .iltis-panelWithHeader.alt {
      background: #f1e6dc; }
      .iltis-popup .iltis-panelWithHeader.alt .iltis-header {
        background: #d6ccc2; }
  .iltis-popup.alt .iltis-panelWithHeader {
    background: #f1e6dc; }
    .iltis-popup.alt .iltis-panelWithHeader .iltis-header {
      background: #d6ccc2; }
  .iltis-popup.iltis-movable .iltis-header:hover {
    cursor: grab; }

.iltis-popup-glass {
  z-index: 995; }

.iltis-tree-selection-panel {
  padding: 20px;
  border-radius: 12px;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12); }
  .iltis-tree-selection-panel .iltis-selection-panel-hover {
    background-color: #8db8d9; }

.iltis-user-comment-widget.iltis-popup {
  top: 64px; }

.iltis-user-comment-widget .iltis-user-comment-info {
  margin-bottom: 30px; }

.iltis-user-comment-widget .iltis-checkbox {
  margin: 20px 0 30px; }
  .iltis-user-comment-widget .iltis-checkbox > label {
    font-size: 20px;
    color: black; }

.iltis-TaskViewSkeleton .iltis-user-comment-widget.iltis-popup {
  width: 100%;
  max-width: 880px;
  left: max(0px, calc(100vw - (100vw - 980px)/2 - 900px));
  top: 60px; }

.iltis-variableBox input[type=text]:disabled {
  color: #000000;
  border-bottom: 1px solid #000000; }

.iltis-graph-wrapperDiv {
  border-radius: 12px;
  overflow: hidden; }
  .iltis-graph-wrapperDiv svg {
    display: block; }
  .iltis-graph-wrapperDiv.iltis-interaction {
    background: #ffffff;
    box-shadow: 0px 4px 10px 0 rgba(0, 0, 0, 0.2); }
    .iltis-graph-wrapperDiv.iltis-interaction.iltis-inactive {
      background: rgba(255, 255, 255, 0.5);
      box-shadow: 0px 4px 10px -4px rgba(0, 0, 0, 0.2); }
  .iltis-graph-wrapperDiv .iltis-graph-menuBar {
    height: 45px;
    background: #8db8d9;
    text-align: center;
    border: none;
    border-top-left-radius: 12px;
    border-top-right-radius: 12px; }
    .iltis-graph-wrapperDiv .iltis-graph-menuBar td:last-child {
      border-top-right-radius: 12px; }
      .iltis-graph-wrapperDiv .iltis-graph-menuBar td:last-child .iltis-graph-zoomPanel {
        border-top-right-radius: 12px; }
  .iltis-graph-wrapperDiv .iltis-graph-menuBar-right-panel, .iltis-graph-wrapperDiv .iltis-graph-zoomPanel, .iltis-graph-wrapperDiv .iltis-graph-taskActionPanel {
    height: 100%;
    width: fit-content;
    width: -moz-fit-content; }
    .iltis-graph-wrapperDiv .iltis-graph-menuBar-right-panel .iltis-icon, .iltis-graph-wrapperDiv .iltis-graph-zoomPanel .iltis-icon, .iltis-graph-wrapperDiv .iltis-graph-taskActionPanel .iltis-icon {
      margin: 0 5px; }
    .iltis-graph-wrapperDiv .iltis-graph-menuBar-right-panel .iltis-icon-svg, .iltis-graph-wrapperDiv .iltis-graph-zoomPanel .iltis-icon-svg, .iltis-graph-wrapperDiv .iltis-graph-taskActionPanel .iltis-icon-svg {
      cursor: pointer; }
  .iltis-graph-wrapperDiv .iltis-graph-menuBar-right-panel {
    margin-left: auto;
    border-top-right-radius: 12px; }
    .iltis-graph-wrapperDiv .iltis-graph-menuBar-right-panel > tbody > tr > td:first-child {
      padding-left: 10px !important; }
    .iltis-graph-wrapperDiv .iltis-graph-menuBar-right-panel > tbody > tr > td:last-child {
      padding-right: 10px !important; }
    .iltis-graph-wrapperDiv .iltis-graph-menuBar-right-panel td {
      vertical-align: middle !important; }
  .iltis-graph-wrapperDiv .iltis-graph-zoomPanel {
    margin-left: auto; }
    .iltis-graph-wrapperDiv .iltis-graph-zoomPanel td {
      vertical-align: middle !important;
      /*&:first-child {
				padding-left: 10px !important;
			}

			&:last-child {
				padding-right: 10px !important;
			}*/ }
  .iltis-graph-wrapperDiv .iltis-graph-taskActionPanel {
    padding: 0 10px;
    display: flex;
    align-items: center; }
    .iltis-graph-wrapperDiv .iltis-graph-taskActionPanel:empty {
      display: none; }
    .iltis-graph-wrapperDiv .iltis-graph-taskActionPanel:first-child {
      border-top-left-radius: 12px; }
  .iltis-graph-wrapperDiv .iltis-node {
    font: 16px Roboto;
    cursor: pointer;
    /* Prevent text selection */
    -webkit-user-select: none;
    /* Chrome all / Safari all */
    -moz-user-select: none;
    /* Firefox all */
    -ms-user-select: none;
    /* IE 10+ */
    user-select: none; }
  .iltis-graph-wrapperDiv .iltis-graph-button {
    fill: #e3d5c8; }
  .iltis-graph-wrapperDiv .iltis-edge-text {
    stroke-width: 0;
    fill: black;
    font-size: 16px; }
  .iltis-graph-wrapperDiv.iltis-inactive .iltis-node {
    cursor: default; }

.iltis-graph-settings-popup {
  width: 400px; }
  .iltis-graph-settings-popup .iltis-inputWidget-popup-bodyLabel {
    display: none; }
  .iltis-graph-settings-popup .iltis-mouse-node-button-display-settings {
    display: flex;
    flex-direction: column; }
  .iltis-graph-settings-popup .iltis-settings-section {
    padding-bottom: 12px;
    display: flex;
    flex-direction: column; }
    .iltis-graph-settings-popup .iltis-settings-section .iltis-settings-title {
      padding: 8px 0 8px 0;
      font-weight: 500;
      /* Medium */ }
    .iltis-graph-settings-popup .iltis-settings-section [type="checkbox"] + label:before {
      width: 20px;
      height: 20px;
      margin-top: 1px; }
    .iltis-graph-settings-popup .iltis-settings-section [type="checkbox"]:checked + label:before {
      border-right: 2px solid #000000;
      border-bottom: 2px solid #000000;
      width: 13px;
      height: 24px; }
    .iltis-graph-settings-popup .iltis-settings-section .gwt-CheckBox, .iltis-graph-settings-popup .iltis-settings-section .gwt-RadioButton {
      display: block;
      margin-right: 20px; }
    .iltis-graph-settings-popup .iltis-settings-section label {
      font-size: 20px;
      color: #000000; }
  .iltis-graph-settings-popup .iltis-section:last-child {
    padding-bottom: 0; }
  .iltis-graph-settings-popup .interaction-mode {
    background-color: white;
    border-radius: 10px;
    width: 100%;
    padding: 8px; }
    .iltis-graph-settings-popup .interaction-mode:not(:last-child) {
      margin-bottom: 10px; }

.iltis-kripke-structure .iltis-kripke-world {
  fill: #ede6ff;
  stroke-width: 0;
  border: none; }

.iltis-kripke-structure .iltis-kripke-world-label-background {
  fill: #9b8eba; }

.iltis-kripke-structure .iltis-edge {
  stroke: #9b8eba; }
  .iltis-kripke-structure .iltis-edge .iltis-edge-arrowHead {
    fill: #9b8eba; }

.iltis-kripke-structure .iltis-edge:hover .iltis-edge-path, .iltis-kripke-structure .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure .iltis-edge-hovered .iltis-edge-path, .iltis-kripke-structure .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #6F5F96 !important; }

.iltis-kripke-structure .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #6F5F96 !important; }

.iltis-kripke-structure [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-path, .iltis-kripke-structure [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-path, .iltis-kripke-structure [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #9b8eba !important; }

.iltis-kripke-structure [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #9b8eba !important; }

.iltis-kripke-structure.iltis-grey .iltis-kripke-world {
  fill: #edebe8;
  stroke-width: 0;
  border: none; }

.iltis-kripke-structure.iltis-grey .iltis-kripke-world-label-background {
  fill: #c2bfbc; }

.iltis-kripke-structure.iltis-grey .iltis-edge {
  stroke: #c2bfbc; }
  .iltis-kripke-structure.iltis-grey .iltis-edge .iltis-edge-arrowHead {
    fill: #c2bfbc; }

.iltis-kripke-structure.iltis-grey .iltis-edge:hover .iltis-edge-path, .iltis-kripke-structure.iltis-grey .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-grey .iltis-edge-hovered .iltis-edge-path, .iltis-kripke-structure.iltis-grey .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #706f6d !important; }

.iltis-kripke-structure.iltis-grey .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-grey .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #706f6d !important; }

.iltis-kripke-structure.iltis-grey [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-path, .iltis-kripke-structure.iltis-grey [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-grey [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-path, .iltis-kripke-structure.iltis-grey [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #c2bfbc !important; }

.iltis-kripke-structure.iltis-grey [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-grey [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #c2bfbc !important; }

.iltis-kripke-structure.iltis-brown .iltis-kripke-world {
  fill: #e3d5c8;
  stroke-width: 0;
  border: none; }

.iltis-kripke-structure.iltis-brown .iltis-kripke-world-label-background {
  fill: #bfac9b; }

.iltis-kripke-structure.iltis-brown .iltis-edge {
  stroke: #cfbeb0; }
  .iltis-kripke-structure.iltis-brown .iltis-edge .iltis-edge-arrowHead {
    fill: #cfbeb0; }

.iltis-kripke-structure.iltis-brown .iltis-edge:hover .iltis-edge-path, .iltis-kripke-structure.iltis-brown .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-brown .iltis-edge-hovered .iltis-edge-path, .iltis-kripke-structure.iltis-brown .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #8f7967 !important; }

.iltis-kripke-structure.iltis-brown .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-brown .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #8f7967 !important; }

.iltis-kripke-structure.iltis-brown [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-path, .iltis-kripke-structure.iltis-brown [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-brown [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-path, .iltis-kripke-structure.iltis-brown [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #cfbeb0 !important; }

.iltis-kripke-structure.iltis-brown [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-kripke-structure.iltis-brown [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #cfbeb0 !important; }

.iltis-kripke-structure .iltis-node-border {
  fill: none;
  stroke: black;
  stroke-width: 0; }

.iltis-kripke-structure .iltis-node {
  font: 14px Roboto; }
  .iltis-kripke-structure .iltis-node.iltis-selected .iltis-node-border {
    stroke: #0012ff;
    stroke-width: 2;
    fill: none; }
  .iltis-kripke-structure .iltis-node.iltis-selected-2 .iltis-node-border {
    stroke: #df2525;
    stroke-width: 2;
    fill: none; }

.iltis-kripke-structure .hoverEnabled .iltis-node:hover .iltis-proposition-button-red, .iltis-kripke-structure .iltis-forced-hover-effects .iltis-proposition-button-red, .iltis-kripke-structure .iltis-active-node .iltis-proposition-button-red {
  display: block;
  fill: #ffe9e6;
  stroke: #c26e60;
  stroke-width: 1; }

.iltis-kripke-structure .hoverEnabled .iltis-node:hover .iltis-proposition-button-green, .iltis-kripke-structure .iltis-forced-hover-effects .iltis-proposition-button-green, .iltis-kripke-structure .iltis-active-node .iltis-proposition-button-green {
  display: block;
  fill: #f4ffe9;
  stroke: #a3d177;
  stroke-width: 1; }

.iltis-kripke-structure .hoverEnabled .iltis-node:hover .iltis-proposition-button-add, .iltis-kripke-structure .iltis-forced-hover-effects .iltis-proposition-button-add, .iltis-kripke-structure .iltis-active-node .iltis-proposition-button-add {
  display: block;
  fill: #fef6ee;
  stroke: #bfac9b;
  stroke-width: 1; }

.iltis-kripke-structure .iltis-proposition-button-green, .iltis-kripke-structure .iltis-proposition-button-red {
  display: none; }

.iltis-kripke-structure .iltis-proposition-button-text {
  font-size: 14px; }

.iltis-kripke-structure .iltis-disabled .iltis-node:hover .iltis-proposition-button-green, .iltis-kripke-structure .iltis-disabled .iltis-node:hover .iltis-proposition-button-red, .iltis-kripke-structure .iltis-disabled .iltis-forced-hover-effects .iltis-proposition-button-green, .iltis-kripke-structure .iltis-disabled .iltis-forced-hover-effects .iltis-proposition-button-red, .iltis-kripke-structure .iltis-disabled .iltis-active-node .iltis-proposition-button-green, .iltis-kripke-structure .iltis-disabled .iltis-active-node .iltis-proposition-button-red {
  display: none; }

.iltis-label-renaming-popup {
  width: 400px; }
  .iltis-label-renaming-popup .iltis-inputWidget-popup-bodyLabel {
    display: none; }
  .iltis-label-renaming-popup input.gwt-TextBox {
    font-size: 25px; }

.iltis-finite-automaton .iltis-edge {
  stroke: #706f6d; }
  .iltis-finite-automaton .iltis-edge .iltis-edge-arrowHead {
    fill: #706f6d; }

.iltis-finite-automaton .iltis-edge-text {
  font-size: 18px;
  text-anchor: middle !important; }

.iltis-finite-automaton .iltis-edge:hover .iltis-edge-path, .iltis-finite-automaton .iltis-edge:hover .iltis-edge-arrowHead, .iltis-finite-automaton .iltis-edge-hovered .iltis-edge-path, .iltis-finite-automaton .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: black !important; }

.iltis-finite-automaton .iltis-edge:hover .iltis-edge-arrowHead, .iltis-finite-automaton .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: black !important; }

.iltis-finite-automaton [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-path, .iltis-finite-automaton [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-finite-automaton [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-path, .iltis-finite-automaton [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #706f6d !important; }

.iltis-finite-automaton [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-finite-automaton [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #706f6d !important; }

.iltis-finite-automaton .iltis-graph-button {
  fill: none; }

.iltis-button-flex-panel {
  margin-top: 20px;
  display: flex;
  flex-flow: row wrap;
  justify-content: center;
  align-items: stretch;
  align-content: flex-start;
  gap: 5px;
  row-gap: 5px; }
  .iltis-button-flex-panel .iltis-popup-button {
    background: #d9d6d2;
    font-size: 25px;
    line-height: 0;
    height: 33px;
    min-width: 33px;
    border: none;
    border-radius: 10px; }
  .iltis-button-flex-panel .iltis-popup-button:hover {
    background: #d9d6d2; }
  .iltis-button-flex-panel .iltis-popup-button:active {
    background: #706f6d; }

.iltis-transition-popup {
  min-width: 420px;
  width: 420px;
  max-width: max-content;
  min-height: 330px; }
  .iltis-transition-popup .iltis-node-text {
    fill: #000000;
    font-size: 20px; }
  .iltis-transition-popup .iltis-edge-text {
    font-size: 18px;
    text-anchor: middle !important;
    cursor: default !important; }
  .iltis-transition-popup .iltis-edge {
    stroke: #706f6d; }
    .iltis-transition-popup .iltis-edge .iltis-edge-arrowHead {
      fill: #706f6d; }
  .iltis-transition-popup .iltis-edge:hover .iltis-edge-path, .iltis-transition-popup .iltis-edge:hover .iltis-edge-arrowHead, .iltis-transition-popup .iltis-edge-hovered .iltis-edge-path, .iltis-transition-popup .iltis-edge-hovered .iltis-edge-arrowHead {
    stroke: #706f6d !important; }
  .iltis-transition-popup .iltis-edge:hover .iltis-edge-arrowHead, .iltis-transition-popup .iltis-edge-hovered .iltis-edge-arrowHead {
    fill: #706f6d !important; }
  .iltis-transition-popup [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-path, .iltis-transition-popup [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-transition-popup [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-path, .iltis-transition-popup [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
    stroke: #706f6d !important; }
  .iltis-transition-popup [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-transition-popup [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
    fill: #706f6d !important; }

.iltis-pda-edge-input {
  overflow: hidden;
  margin: 20px; }

.iltis-simple-graph, .iltis-simple-undirected-graph {
  /* for compability with existing tasks; use iltis-edge-grey instead */ }
  .iltis-simple-graph .iltis-node-background.iltis-node-defaultBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-defaultBackground {
    fill: #6f9abd; }
  .iltis-simple-graph .iltis-node-background.iltis-node-whiteBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-whiteBackground {
    fill: #ffffff; }
  .iltis-simple-graph .iltis-node-background.iltis-node-greyBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-greyBackground {
    fill: #c2bfbc; }
  .iltis-simple-graph .iltis-node-background.iltis-node-blackBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-blackBackground {
    fill: #000000; }
  .iltis-simple-graph .iltis-node-background.iltis-node-redBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-redBackground {
    fill: #e08475; }
  .iltis-simple-graph .iltis-node-background.iltis-node-orangeBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-orangeBackground {
    fill: #ebb467; }
  .iltis-simple-graph .iltis-node-background.iltis-node-yellowBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-yellowBackground {
    fill: #ffd77d; }
  .iltis-simple-graph .iltis-node-background.iltis-node-greenBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-greenBackground {
    fill: #bde697; }
  .iltis-simple-graph .iltis-node-background.iltis-node-tealBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-tealBackground {
    fill: #95c7c5; }
  .iltis-simple-graph .iltis-node-background.iltis-node-blueBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-blueBackground {
    fill: #6f9abd; }
  .iltis-simple-graph .iltis-node-background.iltis-node-purpleBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-purpleBackground {
    fill: #9b8eba; }
  .iltis-simple-graph .iltis-node-background.iltis-node-brownBackground, .iltis-simple-undirected-graph .iltis-node-background.iltis-node-brownBackground {
    fill: #cfbeb0; }
  .iltis-simple-graph .iltis-border, .iltis-simple-undirected-graph .iltis-border {
    fill: none; }
  .iltis-simple-graph .iltis-border-default, .iltis-simple-undirected-graph .iltis-border-default {
    stroke: #df2525;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-white, .iltis-simple-undirected-graph .iltis-border-white {
    stroke: #ffffff;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-grey, .iltis-simple-undirected-graph .iltis-border-grey {
    stroke: #c2bfbc;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-black, .iltis-simple-undirected-graph .iltis-border-black {
    stroke: #000000;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-red, .iltis-simple-undirected-graph .iltis-border-red {
    stroke: #df2525;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-orange, .iltis-simple-undirected-graph .iltis-border-orange {
    stroke: #FF5C00;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-yellow, .iltis-simple-undirected-graph .iltis-border-yellow {
    stroke: #FFBB00;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-green, .iltis-simple-undirected-graph .iltis-border-green {
    stroke: #1DC000;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-teal, .iltis-simple-undirected-graph .iltis-border-teal {
    stroke: #02F4E9;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-blue, .iltis-simple-undirected-graph .iltis-border-blue {
    stroke: #0012ff;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-purple, .iltis-simple-undirected-graph .iltis-border-purple {
    stroke: #F003EE;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-border-brown, .iltis-simple-undirected-graph .iltis-border-brown {
    stroke: #CF8307;
    stroke-width: 2; }
  .iltis-simple-graph .iltis-button, .iltis-simple-undirected-graph .iltis-button {
    fill: #e3d5c8; }
    .iltis-simple-graph .iltis-button.iltis-node-defaultBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-defaultBackground {
      fill: #6f9abd; }
    .iltis-simple-graph .iltis-button.iltis-node-whiteBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-whiteBackground {
      fill: #ffffff; }
    .iltis-simple-graph .iltis-button.iltis-node-greyBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-greyBackground {
      fill: #c2bfbc; }
    .iltis-simple-graph .iltis-button.iltis-node-blackBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-blackBackground {
      fill: #000000; }
    .iltis-simple-graph .iltis-button.iltis-node-redBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-redBackground {
      fill: #e08475; }
    .iltis-simple-graph .iltis-button.iltis-node-orangeBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-orangeBackground {
      fill: #ebb467; }
    .iltis-simple-graph .iltis-button.iltis-node-yellowBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-yellowBackground {
      fill: #ffd77d; }
    .iltis-simple-graph .iltis-button.iltis-node-greenBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-greenBackground {
      fill: #bde697; }
    .iltis-simple-graph .iltis-button.iltis-node-tealBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-tealBackground {
      fill: #95c7c5; }
    .iltis-simple-graph .iltis-button.iltis-node-blueBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-blueBackground {
      fill: #6f9abd; }
    .iltis-simple-graph .iltis-button.iltis-node-purpleBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-purpleBackground {
      fill: #9b8eba; }
    .iltis-simple-graph .iltis-button.iltis-node-brownBackground, .iltis-simple-undirected-graph .iltis-button.iltis-node-brownBackground {
      fill: #cfbeb0; }
  .iltis-simple-graph .iltis-edge-default, .iltis-simple-undirected-graph .iltis-edge-default {
    stroke: #6f9abd; }
  .iltis-simple-graph .iltis-edge-white, .iltis-simple-undirected-graph .iltis-edge-white {
    stroke: #ffffff; }
  .iltis-simple-graph .iltis-edge-grey, .iltis-simple-undirected-graph .iltis-edge-grey {
    stroke: #c2bfbc; }
  .iltis-simple-graph .iltis-edge-black, .iltis-simple-undirected-graph .iltis-edge-black {
    stroke: #000000; }
  .iltis-simple-graph .iltis-edge-red, .iltis-simple-undirected-graph .iltis-edge-red {
    stroke: #e08475; }
  .iltis-simple-graph .iltis-edge-orange, .iltis-simple-undirected-graph .iltis-edge-orange {
    stroke: #ebb467; }
  .iltis-simple-graph .iltis-edge-yellow, .iltis-simple-undirected-graph .iltis-edge-yellow {
    stroke: #ffd77d; }
  .iltis-simple-graph .iltis-edge-green, .iltis-simple-undirected-graph .iltis-edge-green {
    stroke: #bde697; }
  .iltis-simple-graph .iltis-edge-teal, .iltis-simple-undirected-graph .iltis-edge-teal {
    stroke: #95c7c5; }
  .iltis-simple-graph .iltis-edge-blue, .iltis-simple-undirected-graph .iltis-edge-blue {
    stroke: #6f9abd; }
  .iltis-simple-graph .iltis-edge-purple, .iltis-simple-undirected-graph .iltis-edge-purple {
    stroke: #9b8eba; }
  .iltis-simple-graph .iltis-edge-brown, .iltis-simple-undirected-graph .iltis-edge-brown {
    stroke: #cfbeb0; }
  .iltis-simple-graph .iltis-edge-border-default, .iltis-simple-undirected-graph .iltis-edge-border-default {
    stroke: #df2525 !important; }
  .iltis-simple-graph .iltis-edge-border-white, .iltis-simple-undirected-graph .iltis-edge-border-white {
    stroke: #ffffff !important; }
  .iltis-simple-graph .iltis-edge-border-grey, .iltis-simple-undirected-graph .iltis-edge-border-grey {
    stroke: #c2bfbc !important; }
  .iltis-simple-graph .iltis-edge-border-black, .iltis-simple-undirected-graph .iltis-edge-border-black {
    stroke: #000000 !important; }
  .iltis-simple-graph .iltis-edge-border-red, .iltis-simple-undirected-graph .iltis-edge-border-red {
    stroke: #df2525 !important; }
  .iltis-simple-graph .iltis-edge-border-orange, .iltis-simple-undirected-graph .iltis-edge-border-orange {
    stroke: #FF5C00 !important; }
  .iltis-simple-graph .iltis-edge-border-yellow, .iltis-simple-undirected-graph .iltis-edge-border-yellow {
    stroke: #FFBB00 !important; }
  .iltis-simple-graph .iltis-edge-border-green, .iltis-simple-undirected-graph .iltis-edge-border-green {
    stroke: #1DC000 !important; }
  .iltis-simple-graph .iltis-edge-border-teal, .iltis-simple-undirected-graph .iltis-edge-border-teal {
    stroke: #02F4E9 !important; }
  .iltis-simple-graph .iltis-edge-border-blue, .iltis-simple-undirected-graph .iltis-edge-border-blue {
    stroke: #0012ff !important; }
  .iltis-simple-graph .iltis-edge-border-purple, .iltis-simple-undirected-graph .iltis-edge-border-purple {
    stroke: #F003EE !important; }
  .iltis-simple-graph .iltis-edge-border-brown, .iltis-simple-undirected-graph .iltis-edge-border-brown {
    stroke: #CF8307 !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default {
    stroke: #6f9abd !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-white, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-white, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-white, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-white {
    stroke: #ffffff !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-white.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-white.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-white.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-white.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-grey, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-grey, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-grey, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-grey {
    stroke: #c2bfbc !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-grey.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-black, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-black, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-black, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-black {
    stroke: #000000 !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-black.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-black.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-black.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-black.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-red, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-red, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-red, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-red {
    stroke: #e08475 !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-red.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-red.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-red.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-red.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-orange, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-orange, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-orange, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-orange {
    stroke: #ebb467 !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-orange.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-yellow, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-yellow, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-yellow, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-yellow {
    stroke: #ffd77d !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-yellow.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-green, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-green, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-green, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-green {
    stroke: #bde697 !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-green.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-green.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-green.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-green.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-teal, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-teal, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-teal, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-teal {
    stroke: #95c7c5 !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-teal.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-blue, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-blue, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-blue, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-blue {
    stroke: #6f9abd !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-blue.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-purple, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-purple, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-purple, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-purple {
    stroke: #9b8eba !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-purple.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-brown, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-brown, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-brown, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-brown {
    stroke: #cfbeb0 !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-brown.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-default, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-default, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-default, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-default {
    stroke: #6f9abd !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-default.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-default.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-default.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-default.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-white, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-white, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-white, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-white {
    stroke: #ffffff !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-white.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-white.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-white.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-white.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-grey, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-grey, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-grey, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-grey {
    stroke: #c2bfbc !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-grey.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-black, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-black, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-black, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-black {
    stroke: #000000 !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-black.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-black.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-black.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-black.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-red, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-red, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-red, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-red {
    stroke: #e08475 !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-red.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-red.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-red.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-red.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-orange, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-orange, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-orange, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-orange {
    stroke: #ebb467 !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-orange.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-yellow, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-yellow, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-yellow, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-yellow {
    stroke: #ffd77d !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-yellow.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-green, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-green, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-green, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-green {
    stroke: #bde697 !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-green.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-green.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-green.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-green.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-teal, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-teal, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-teal, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-teal {
    stroke: #95c7c5 !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-teal.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-blue, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-blue, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-blue, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-blue {
    stroke: #6f9abd !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-blue.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-purple, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-purple, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-purple, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-purple {
    stroke: #9b8eba !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-purple.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-brown, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-brown, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-brown, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-brown {
    stroke: #cfbeb0 !important; }
    .iltis-simple-graph .iltis-edge:hover .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-brown.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-default, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-default, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-default, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-default {
    stroke: #df2525 !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-white, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-white, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-white, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-white {
    stroke: #ffffff !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-grey, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-grey, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-grey, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-grey {
    stroke: #c2bfbc !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-black, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-black, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-black, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-black {
    stroke: #000000 !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-red, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-red, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-red, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-red {
    stroke: #df2525 !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-orange, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-orange, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-orange, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-orange {
    stroke: #FF5C00 !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-yellow, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-yellow, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-yellow, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-yellow {
    stroke: #FFBB00 !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-green, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-green, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-green, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-green {
    stroke: #1DC000 !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-teal, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-teal, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-teal, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-teal {
    stroke: #02F4E9 !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-blue, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-blue, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-blue, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-blue {
    stroke: #0012ff !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-purple, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-purple, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-purple, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-purple {
    stroke: #F003EE !important; }
  .iltis-simple-graph .iltis-edge:hover .iltis-edge-border-brown, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-border-brown, .iltis-simple-undirected-graph .iltis-edge:hover .iltis-edge-border-brown, .iltis-simple-undirected-graph .iltis-edge-hovered .iltis-edge-border-brown {
    stroke: #CF8307 !important; }
  .iltis-simple-graph .iltis-edge-thick, .iltis-simple-undirected-graph .iltis-edge-thick {
    stroke-width: 4; }
  .iltis-simple-graph .iltis-edge-dashed, .iltis-simple-undirected-graph .iltis-edge-dashed {
    stroke-dasharray: 2; }
  .iltis-simple-graph .iltis-edge-default.iltis-alt, .iltis-simple-undirected-graph .iltis-edge-default.iltis-alt {
    stroke: #c2bfbc; }
    .iltis-simple-graph .iltis-edge-default.iltis-alt.iltis-edge-arrowHead, .iltis-simple-undirected-graph .iltis-edge-default.iltis-alt.iltis-edge-arrowHead {
      fill: #c2bfbc; }
    .iltis-simple-graph .iltis-edge-default.iltis-alt.iltis-edgeSelector, .iltis-simple-undirected-graph .iltis-edge-default.iltis-alt.iltis-edgeSelector {
      stroke: transparent !important; }
  .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-alt, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-alt, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-alt, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-alt {
    stroke: #c2bfbc !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-alt.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-alt.iltis-edge-arrowHead, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-alt.iltis-edge-arrowHead, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-alt.iltis-edge-arrowHead {
      fill: #c2bfbc !important; }
    .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-alt.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-alt.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-alt.iltis-edgeSelector, .iltis-simple-undirected-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-alt.iltis-edgeSelector {
      stroke: transparent !important; }

.iltis-simple-graph .iltis-edge-default.iltis-edge-arrowHead {
  fill: #6f9abd; }

.iltis-simple-graph .iltis-edge-white.iltis-edge-arrowHead {
  fill: #ffffff; }

.iltis-simple-graph .iltis-edge-grey.iltis-edge-arrowHead {
  fill: #c2bfbc; }

.iltis-simple-graph .iltis-edge-black.iltis-edge-arrowHead {
  fill: #000000; }

.iltis-simple-graph .iltis-edge-red.iltis-edge-arrowHead {
  fill: #e08475; }

.iltis-simple-graph .iltis-edge-orange.iltis-edge-arrowHead {
  fill: #ebb467; }

.iltis-simple-graph .iltis-edge-yellow.iltis-edge-arrowHead {
  fill: #ffd77d; }

.iltis-simple-graph .iltis-edge-green.iltis-edge-arrowHead {
  fill: #bde697; }

.iltis-simple-graph .iltis-edge-teal.iltis-edge-arrowHead {
  fill: #95c7c5; }

.iltis-simple-graph .iltis-edge-blue.iltis-edge-arrowHead {
  fill: #6f9abd; }

.iltis-simple-graph .iltis-edge-purple.iltis-edge-arrowHead {
  fill: #9b8eba; }

.iltis-simple-graph .iltis-edge-brown.iltis-edge-arrowHead {
  fill: #cfbeb0; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-edge-arrowHead {
  fill: #6f9abd !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-default.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-default.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-white.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-white.iltis-edge-arrowHead {
  fill: #ffffff !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-white.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-white.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-grey.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-grey.iltis-edge-arrowHead {
  fill: #c2bfbc !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-grey.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-black.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-black.iltis-edge-arrowHead {
  fill: #000000 !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-black.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-black.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-red.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-red.iltis-edge-arrowHead {
  fill: #e08475 !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-red.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-red.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-orange.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-orange.iltis-edge-arrowHead {
  fill: #ebb467 !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-orange.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-yellow.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-yellow.iltis-edge-arrowHead {
  fill: #ffd77d !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-yellow.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-green.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-green.iltis-edge-arrowHead {
  fill: #bde697 !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-green.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-green.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-teal.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-teal.iltis-edge-arrowHead {
  fill: #95c7c5 !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-teal.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-blue.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-blue.iltis-edge-arrowHead {
  fill: #6f9abd !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-blue.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-purple.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-purple.iltis-edge-arrowHead {
  fill: #9b8eba !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-purple.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-brown.iltis-edge-arrowHead, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-brown.iltis-edge-arrowHead {
  fill: #cfbeb0 !important; }

.iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-graph [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-brown.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-default.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-default.iltis-edge-arrowHead {
  fill: #6f9abd !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-default.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-default.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-white.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-white.iltis-edge-arrowHead {
  fill: #ffffff !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-white.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-white.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-grey.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-grey.iltis-edge-arrowHead {
  fill: #c2bfbc !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-grey.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-grey.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-black.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-black.iltis-edge-arrowHead {
  fill: #000000 !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-black.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-black.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-red.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-red.iltis-edge-arrowHead {
  fill: #e08475 !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-red.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-red.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-orange.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-orange.iltis-edge-arrowHead {
  fill: #ebb467 !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-orange.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-orange.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-yellow.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-yellow.iltis-edge-arrowHead {
  fill: #ffd77d !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-yellow.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-yellow.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-green.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-green.iltis-edge-arrowHead {
  fill: #bde697 !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-green.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-green.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-teal.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-teal.iltis-edge-arrowHead {
  fill: #95c7c5 !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-teal.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-teal.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-blue.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-blue.iltis-edge-arrowHead {
  fill: #6f9abd !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-blue.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-blue.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-purple.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-purple.iltis-edge-arrowHead {
  fill: #9b8eba !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-purple.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-purple.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-brown.iltis-edge-arrowHead, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-brown.iltis-edge-arrowHead {
  fill: #cfbeb0 !important; }

.iltis-simple-graph .iltis-edge:hover .iltis-edge-brown.iltis-edgeSelector, .iltis-simple-graph .iltis-edge-hovered .iltis-edge-brown.iltis-edgeSelector {
  stroke: transparent !important; }

.iltis-simple-undirected-graph .iltis-edge-arrowHead {
  display: none; }

.iltis-graph-tableau .iltis-formula {
  letter-spacing: 2px; }

.iltis-graph-tableau .iltis-node-text {
  fill: #000000;
  font-size: 20px;
  letter-spacing: 5px; }

.iltis-graph-tableau .iltis-border {
  fill: transparent;
  stroke: black;
  stroke-width: 2px; }

.iltis-graph-tableau .iltis-no-border {
  fill: none;
  stroke-width: 0; }

.iltis-graph-tableau .iltis-node-background {
  fill: #e5e5e5; }

.iltis-graph-tableau .iltis-node-edge-background {
  fill: #bbbbbb; }

.iltis-graph-tableau .iltis-highlight-child .iltis-node-background, .iltis-graph-tableau .iltis-highlight-child .iltis-node-edge-background {
  fill: #ede6ff; }

.iltis-graph-tableau .iltis-highlight-origin .iltis-node-background, .iltis-graph-tableau .iltis-highlight-origin .iltis-node-edge-background {
  fill: #83adce; }

.iltis-graph-tableau .iltis-selected .iltis-node-background {
  fill: #83adce; }

.iltis-graph-tableau .iltis-selected .iltis-node-edge-background {
  fill: #83adce; }

.iltis-graph-tableau .iltis-graph-selectedByUser .iltis-node-background {
  fill: #83adce; }

.iltis-graph-tableau .iltis-graph-selectedByUser .iltis-node-edge-background {
  fill: #83adce; }

.iltis-graph-tableau .iltis-graph-selectedBySystem .iltis-node-background {
  fill: #ede6ff; }

.iltis-graph-tableau .iltis-graph-selectedBySystem .iltis-node-edge-background {
  fill: #ede6ff; }

.iltis-graph-tableau .iltis-graph-node {
  fill: #e3d5c8; }

.iltis-fullscreen-loading-indicator {
  background-color: rgba(0, 0, 0, 0.7);
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  text-align: center;
  z-index: 11111111; }
  .iltis-fullscreen-loading-indicator.dark80 {
    background-color: #000000cd; }
  .iltis-fullscreen-loading-indicator.dark50 {
    background-color: #0000009a; }
  .iltis-fullscreen-loading-indicator.dark50 {
    background-color: #00000080; }
  .iltis-fullscreen-loading-indicator.bg80 {
    background-color: #fef6eecd; }
  .iltis-fullscreen-loading-indicator.bg50 {
    background-color: #fef6ee80; }
  .iltis-fullscreen-loading-indicator.white80 {
    background-color: #ffffffcd; }
  .iltis-fullscreen-loading-indicator.white50 {
    background-color: #ffffff80; }

.iltis-node-selection-popup {
  max-width: 600px; }
  .iltis-node-selection-popup .iltis-node-selection-preview {
    height: 150px;
    display: flex;
    align-items: center;
    justify-content: center; }
    .iltis-node-selection-popup .iltis-node-selection-preview svg {
      display: block;
      margin: auto; }
  .iltis-node-selection-popup .iltis-node-selection-button-container {
    margin-top: 20px;
    display: grid !important;
    grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
    gap: 10px; }

.iltis-node-selection-button-background {
  fill: #575757 !important; }

.iltis-node-selection-button-text {
  fill: white;
  font-size: 14px; }

.iltis-page {
  background: #fef6ee; }
  .iltis-page page > * + *:not(:first-child) {
    margin-top: 50px; }
  .iltis-page .iltis-TaskViewSkeleton, .iltis-page .pseudotask, .iltis-page * + h3, .iltis-page * + .introductorytext {
    margin: 50px 0; }

.iltis-back-to-top-btn {
  position: fixed;
  bottom: 2%;
  right: 2%;
  z-index: 990;
  height: 40px;
  border: none; }

.iltis-bisimulation-task .iltis-node.iltis-highlight-kripke .iltis-node-border {
  fill: none;
  stroke: #df2525;
  stroke-width: 2; }

.iltis-bisimulation-task .iltis-node.iltis-select-kripke .iltis-node-border {
  fill: none;
  stroke: #0012ff;
  stroke-width: 2; }

.iltis-bisimulation-task .iltis-protocol {
  margin-top: 30px; }

.iltis-bisimulation-task .iltis-bisimulation-actionPanel {
  margin-top: 30px;
  flex-basis: 400px;
  min-width: 400px;
  flex-grow: 1; }
  .iltis-bisimulation-task .iltis-bisimulation-actionPanel .iltis-header {
    height: 35px;
    max-height: 35px;
    min-height: 35px;
    line-height: 22px;
    padding-top: 0;
    padding-bottom: 0;
    font-weight: 500; }
  .iltis-bisimulation-task .iltis-bisimulation-actionPanel .collapsible {
    box-shadow: none;
    border: none; }
    .iltis-bisimulation-task .iltis-bisimulation-actionPanel .collapsible .collapsible-body {
      border: none;
      padding: 0; }
  .iltis-bisimulation-task .iltis-bisimulation-actionPanel .iltis-button {
    margin: 20px auto 0 auto;
    display: block; }
  .iltis-bisimulation-task .iltis-bisimulation-actionPanel .iltis-inactive {
    color: #a6a4a1; }
  .iltis-bisimulation-task .iltis-bisimulation-actionPanel .iltis-second-item {
    margin: 30px 0; }
    .iltis-bisimulation-task .iltis-bisimulation-actionPanel .iltis-second-item .iltis-button {
      margin-top: 10px; }
  .iltis-bisimulation-task .iltis-bisimulation-actionPanel .iltis-third-item {
    border-radius: 12px;
    background-color: #fef2d0;
    padding: 5px; }

.iltis-bisimulation-task .iltis-bisimulation-radiobutton label {
  color: black;
  font-size: 18px; }

.iltis-bisimulation-task .iltis-bisimulation-radiobutton [type="radio"]:checked + label:after {
  border: 2px solid black;
  background-color: black; }

.iltis-bisimulation-task .iltis-bisimulation-structure-name {
  font-size: 25px; }

.iltis-bisimulation-task .iltis-bisimulation-flex-row {
  display: flex;
  flex-wrap: wrap;
  align-items: flex-start; }

.iltis-bisimulation-task .iltis-completabletable-root {
  border-radius: 12px;
  margin-top: 30px;
  flex-grow: 0;
  flex-shrink: 0;
  margin-right: 30px; }
  .iltis-bisimulation-task .iltis-completabletable-root .iltis-completabletable-scrollpanel {
    padding-bottom: 10px;
    background: #d9d6d2;
    padding-top: 0;
    padding-right: 10px;
    border-radius: 12px; }

.iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable {
  border-collapse: collapse;
  border-radius: 12px;
  border-style: hidden;
  margin-bottom: 0;
  background-color: #d9d6d2; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable td {
    border-radius: 0; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-bisimulation-button {
    background-color: #ffffff;
    width: 100%;
    height: 100%;
    box-shadow: none;
    border: none;
    border-radius: 0;
    color: black !important;
    padding: 0 20px; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-bisimulation-button:hover {
      background-color: #fef2d0; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-bisimulation-button:focus {
      border: 1px solid #a6a4a1; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-bisimulation-button:disabled {
      background-color: #edebe8 !important; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-bisimulation-button.iltis-highlight-mistake {
      background-color: #eda498 !important; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-kripke-structures {
    font-weight: 500;
    border: none !important;
    background-color: #d9d6d2;
    width: 45px !important; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-kripke-structures > .gwt-HTML {
      position: relative;
      left: 13px;
      width: 45px;
      font-size: 25px; }
      .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-kripke-structures > .gwt-HTML .iltis-k1 {
        bottom: -20px;
        position: relative; }
      .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-kripke-structures > .gwt-HTML .iltis-k2 {
        left: -5px;
        position: relative; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-kripke-state {
    font-size: 22px;
    border: none !important;
    background-color: #d9d6d2; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-kripke-state:first-child {
      width: 45px; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-wrong-row .iltis-bisimulation-button {
    background: #eda498 !important; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-completabletable-content-cell {
    width: 60px;
    height: 60px;
    border: 2px solid #d9d6d2; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-completabletable-content-cell.iltis-formula, .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-completabletable-content-cell.iltis-kripke-state, .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable .iltis-completabletable-content-cell .iltis-formula {
      padding: 0 10px; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-truthtable-task .iltis-completabletable.propositional-truth-table .iltis-formula, .iltis-truthtable-task .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable.propositional-truth-table .iltis-formula, .iltis-bisimulation-task .iltis-bisimulation-table .iltis-truthtable-task .iltis-completabletable.modal-truth-table .iltis-formula, .iltis-truthtable-task .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable.modal-truth-table .iltis-formula, .iltis-bisimulation-task .iltis-bisimulation-table .iltis-truthtable-task .iltis-completabletable.modal-truth-table .iltis-kripke-state, .iltis-truthtable-task .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable.modal-truth-table .iltis-kripke-state {
    font-family: Roboto;
    font-size: 22px !important;
    font-weight: 500 !important;
    margin: auto !important; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:first-child {
    height: 45px; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:first-child .iltis-kripke-state, .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:first-child .iltis-kripke-structures {
      height: 45px; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:first-child + tr td:first-child + td {
      border-top-left-radius: 12px; }
      .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:first-child + tr td:first-child + td .iltis-bisimulation-button {
        border-top-left-radius: 12px; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:first-child + tr td:last-child {
      border-top-right-radius: 12px; }
      .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:first-child + tr td:last-child .iltis-bisimulation-button {
        border-top-right-radius: 12px; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:last-child td:first-child + td {
    border-bottom-left-radius: 12px; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:last-child td:first-child + td .iltis-bisimulation-button {
      border-bottom-left-radius: 12px; }
  .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:last-child td:last-child {
    border-bottom-right-radius: 12px; }
    .iltis-bisimulation-task .iltis-bisimulation-table .iltis-completabletable tr:last-child td:last-child .iltis-bisimulation-button {
      border-bottom-right-radius: 12px; }

.iltis-bisimulation-toast {
  font-size: 20px !important;
  border-radius: 12px !important;
  font-weight: 400 !important; }

.iltis-bucketdrop-task {
  /* styles for big panels */
  /* bucket-related styles */
  /* item-related styles */
  /* preset-specific styles regarding bucket arrangement */
  /* preset-specific styles regarding itemsContainer placement */ }
  .iltis-bucketdrop-task .iltis-feedbackpanel {
    margin-top: 30px; }
  .iltis-bucketdrop-task .iltis-mainpanel {
    background-color: #ffffff;
    padding-block: 30px;
    padding-inline: 20px;
    margin-bottom: 20px;
    border-radius: 12px;
    box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
    display: flex;
    align-items: center; }
  .iltis-bucketdrop-task .iltis-outeritemscontainer {
    min-height: auto; }
  .iltis-bucketdrop-task .iltis-outerbucketscontainer {
    min-height: auto; }
  .iltis-bucketdrop-task .iltis-innerbucketscontainer {
    padding: 10px;
    display: flex;
    justify-content: center;
    align-items: flex-start;
    align-content: flex-start;
    row-gap: 35px;
    column-gap: 35px; }
  .iltis-bucketdrop-task .iltis-headline {
    text-align: center;
    font-size: 30px; }
  .iltis-bucketdrop-task .iltis-bucketwithtitle {
    background-color: #fef2d0;
    border-radius: 7px;
    box-shadow: 0 1px 0px 0 rgba(0, 0, 0, 0.16), 0 1px 5px 0 rgba(0, 0, 0, 0.12); }
    .iltis-bucketdrop-task .iltis-bucketwithtitle-default {
      border-radius: 7px; }
    .iltis-bucketdrop-task .iltis-bucketwithtitle-highlighted {
      background-color: #e08475; }
    .iltis-bucketdrop-task .iltis-bucketwithtitle-highlighted-constraints {
      background-color: #e08475; }
      .iltis-bucketdrop-task .iltis-bucketwithtitle-highlighted-constraints .iltis-itemwithcounter-highlighted {
        background-color: #c26e60;
        border: 1px solid #A35243;
        border-collapse: separate;
        margin-block: 0px; }
        .iltis-bucketdrop-task .iltis-bucketwithtitle-highlighted-constraints .iltis-itemwithcounter-highlighted .iltis-stackcounter {
          left: 8px; }
      .iltis-bucketdrop-task .iltis-bucketwithtitle-highlighted-constraints .iltis-itemwithcounter-clickable {
        background-color: #f2c55e;
        border: none;
        margin-block: 1px; }
        .iltis-bucketdrop-task .iltis-bucketwithtitle-highlighted-constraints .iltis-itemwithcounter-clickable .iltis-stackcounter {
          left: 7px; }
    .iltis-bucketdrop-task .iltis-bucketwithtitle-clickable {
      background-color: #C99A2C; }
    .iltis-bucketdrop-task .iltis-bucketwithtitle td {
      display: flex;
      justify-content: center; }
  .iltis-bucketdrop-task .iltis-buckettitle {
    min-height: 43px;
    text-align: center;
    font-size: 22px;
    padding-block: 5px;
    padding-inline: 10px;
    margin-bottom: 5px;
    border-radius: 7px; }
  .iltis-bucketdrop-task .iltis-bucket, .iltis-bucketdrop-task .iltis-bucket-default {
    padding-block: 10px;
    padding-inline: 10px;
    border-radius: 7px;
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    justify-content: center;
    align-items: flex-start;
    align-content: flex-start;
    gap: 11px; }
    .iltis-bucketdrop-task .iltis-bucket-highlighted {
      background-color: #e08475; }
    .iltis-bucketdrop-task .iltis-bucket-clickable {
      background-color: #f2c55e; }
  .iltis-bucketdrop-task .iltis-itemwithcounter {
    background-color: #ffe3a2;
    border-radius: 7px;
    box-shadow: 0 1px 0px 0 rgba(0, 0, 0, 0.16), 0 1px 5px 0 rgba(0, 0, 0, 0.12);
    margin-block: 1px; }
    .iltis-bucketdrop-task .iltis-itemwithcounter-active {
      background-color: #C99A2C; }
    .iltis-bucketdrop-task .iltis-itemwithcounter-highlighted {
      background-color: #e08475; }
    .iltis-bucketdrop-task .iltis-itemwithcounter-clickable {
      background-color: #f2c55e; }
    .iltis-bucketdrop-task .iltis-itemwithcounter td {
      display: table-cell;
      width: 100%; }
  .iltis-bucketdrop-task .iltis-item {
    text-align: center;
    margin-left: 21px; }
  .iltis-bucketdrop-task .iltis-stackcounter {
    background-color: #c2bfbc;
    text-align: center;
    font-size: 14px;
    padding-inline: 5px;
    min-width: 21px;
    max-width: fit-content;
    border-radius: 12px;
    box-shadow: 0 0.75px 0px 0 rgba(0, 0, 0, 0.16), 0 0.75px 5px 0 rgba(0, 0, 0, 0.12);
    position: relative;
    left: 7px;
    bottom: 7px; }
    .iltis-bucketdrop-task .iltis-stackcounter-highlighted {
      background-color: #e08475; }
  .iltis-bucketdrop-task.iltis-horizbuckets .iltis-innerbucketscontainer {
    flex-direction: row;
    flex-wrap: wrap; }
  .iltis-bucketdrop-task.iltis-horizbuckets .iltis-bucketwithtitle {
    width: auto; }
  .iltis-bucketdrop-task.iltis-vertbuckets .iltis-innerbucketscontainer {
    flex-wrap: nowrap;
    flex-direction: column; }
  .iltis-bucketdrop-task.iltis-itemsabove .iltis-mainpanel {
    flex-direction: column;
    row-gap: 40px; }
  .iltis-bucketdrop-task.iltis-itemsright .iltis-mainpanel {
    flex-direction: row-reverse;
    column-gap: 20px; }
  .iltis-bucketdrop-task.iltis-itemsleft .iltis-mainpanel {
    flex-direction: row;
    column-gap: 20px; }

.iltis-fo-createformulas-task .iltis-formula-input-box .row {
  margin-top: 20px; }

.iltis-fo-createformulas-task .iltis-formula-input-box .iltis-formula-input-label {
  padding-top: 16px; }

.iltis-fo-createformulas-task .iltis-structure-view-wrapper {
  width: 60%;
  min-width: 462px;
  margin-bottom: 20px;
  max-width: 100%; }

@media only screen and (max-width: 600px) {
  .iltis-fo-createformulas-task .iltis-structure-view-wrapper {
    min-width: 0;
    width: 100%; } }

.iltis-fo-createformulas-task .iltis-simple-graph .iltis-graph-selectedByUser .iltis-node-background {
  fill: #5c86a8; }

.iltis-fo-createformulas-task .iltis-simple-graph .iltis-graph-selectedByUser.iltis-border:not(.iltis-graph-solution) {
  fill: none;
  stroke: black;
  stroke-width: 1; }

.iltis-fo-createformulas-task .iltis-simple-graph .iltis-graph-solution .iltis-border {
  fill: none;
  stroke: #628fb3;
  stroke-width: 3px; }

.iltis-fo-createformulas-task .iltis-simple-graph .iltis-graph-selected-not-solution .iltis-border {
  fill: none;
  stroke: #e08475;
  stroke-width: 3px; }

.iltis-fo-createformulas-task .iltis-simple-graph .iltis-graph-unselected-solution .iltis-border {
  fill: none;
  stroke: #e08475;
  stroke-width: 3px; }

.iltis-fo-createformulas-task .iltis-feedback-cross, .iltis-fo-createformulas-task .iltis-feedback-questionmark {
  font-weight: bold;
  color: #e08475; }
  .iltis-fo-createformulas-task .iltis-feedback-cross.iltis-marking-symbol, .iltis-fo-createformulas-task .iltis-feedback-questionmark.iltis-marking-symbol {
    fill: #e08475; }

.iltis-proposition-table {
  position: relative;
  width: max-content;
  width: -moz-max-content;
  width: -webkit-max-content;
  max-width: 100%;
  z-index: 10;
  cursor: grab;
  background: #e3d5c8; }
  .iltis-proposition-table .iltis-header {
    background: #bfac9b !important;
    line-height: 1 !important; }
    .iltis-proposition-table .iltis-header .iltis-icon {
      padding-left: 10px !important; }

.iltis-TaskViewSkeleton.iltis-disabled .iltis-createformulas-task .iltis-proposition-table {
  z-index: 0; }

.iltis-define-signature-task .iltis-mathjax-no-scale > .MathJax {
  font-size: inherit !important; }

.iltis-define-signature-task .iltis-symbol-field-area.iltis-hidden {
  display: none; }

.iltis-define-signature-task .iltis-symbol-field-area > h2 {
  margin-top: 70px;
  font-size: 25px;
  /*
		// Too flashy
		padding: 10px;
		background: colour("orange", "2");
		text-align: center;
		 */ }

.iltis-define-signature-task .iltis-creation-label-left {
  align-items: flex-end; }
  .iltis-define-signature-task .iltis-creation-label-left .input-field input {
    font-size: 20px !important;
    height: 32px !important; }

.iltis-define-signature-task .iltis-variableBox {
  margin: 0; }
  .iltis-define-signature-task .iltis-variableBox input {
    font-size: 20px !important;
    height: 32px !important; }

.iltis-define-signature-task .iltis-formula-input-label {
  padding: 0;
  margin-bottom: 18px;
  margin-right: 5px; }

.iltis-define-signature-task .iltis-symbol-field .iltis-creation-box {
  padding-top: 15px;
  width: 100%;
  margin: 0;
  border-radius: 0 !important;
  box-shadow: none; }
  .iltis-define-signature-task .iltis-symbol-field .iltis-creation-box .iltis-keyboard {
    display: none; }

.iltis-define-signature-task .iltis-symbol-field .iltis-label-column {
  display: flex;
  align-items: flex-end; }
  .iltis-define-signature-task .iltis-symbol-field .iltis-label-column .iltis-symbol-prefix-text {
    margin-left: 10px;
    margin-bottom: 18px; }

.iltis-define-signature-task.iltis-preset-signature-mode .iltis-change-quantity-element > :first-child {
  display: none; }

.iltis-define-signature-task.iltis-arity-dropdown-mode .iltis-variable-box-with-arity-dropdown {
  display: flex;
  align-items: flex-end;
  gap: 9px; }

.iltis-define-signature-task.iltis-arity-dropdown-mode .iltis-arity-dropdown {
  display: block;
  margin-bottom: 18px; }

.iltis-define-signature-task.iltis-arity-dropdown-mode .iltis-constants-area .iltis-arity-dropdown {
  display: none; }

.iltis-define-signature-task .iltis-debug-signature-selection {
  background: #ffe3a2;
  border-radius: 12px;
  padding: 20px;
  margin-top: 40px; }
  .iltis-define-signature-task .iltis-debug-signature-selection.iltis-hidden {
    display: none; }
  .iltis-define-signature-task .iltis-debug-signature-selection > .iltis-debug-button-grid {
    display: grid;
    gap: 10px;
    grid-template-columns: 1fr 1fr 1fr 1fr 1fr; }

.iltis-gadgetreduction-task .iltis-marking-symbol {
  fill: #ff8000;
  font-weight: bold; }

.iltis-gadgetreduction-task .iltis-instance-solution .iltis-border {
  fill: none;
  stroke: #ff9830;
  stroke-width: 4px; }

.iltis-gadgetreduction-task.boxed-active .iltis-prefixed-gadget {
  background-color: transparent;
  border: 4px solid transparent; }
  .iltis-gadgetreduction-task.boxed-active .iltis-prefixed-gadget.active {
    background-color: #ffe3a2;
    border: 4px solid #ffd77d; }

.iltis-gadgetreduction-task.boxed .iltis-prefixed-gadget {
  background-color: #ffe3a2; }
  .iltis-gadgetreduction-task.boxed .iltis-prefixed-gadget.active {
    box-shadow: 0 0 10px 10px #ffd77d; }

.iltis-gadgetreduction-task.boxed .iltis-prefixed-gadget, .iltis-gadgetreduction-task.boxed .iltis-example-area, .iltis-gadgetreduction-task.boxed-active .iltis-prefixed-gadget, .iltis-gadgetreduction-task.boxed-active .iltis-example-area {
  width: 100%;
  left: 0;
  border-radius: 12px; }

.iltis-gadgetreduction-task.boxed .iltis-prefixed-gadget:not(:first-of-type), .iltis-gadgetreduction-task.boxed-active .iltis-prefixed-gadget:not(:first-of-type) {
  margin-top: 50px; }

.iltis-gadgetreduction-task.boxed .iltis-example-area, .iltis-gadgetreduction-task.boxed-active .iltis-example-area {
  padding: 25px 25px 40px;
  background-color: #cce8ff;
  border: 4px solid #5c86a8;
  margin-top: 50px; }

.iltis-gadgetreduction-task .iltis-prefixed-gadget {
  width: calc(100% + 50px*2);
  left: -50px;
  position: relative;
  padding: 25px 25px 40px;
  background-color: #fff8e6; }
  .iltis-gadgetreduction-task .iltis-prefixed-gadget .gadget-label {
    margin-bottom: 10px;
    visibility: hidden; }
  .iltis-gadgetreduction-task .iltis-prefixed-gadget.active {
    background-color: #ffe3a2; }
    .iltis-gadgetreduction-task .iltis-prefixed-gadget.active .iltis-propagation-panel, .iltis-gadgetreduction-task .iltis-prefixed-gadget.active .gadget-label {
      visibility: visible; }
  .iltis-gadgetreduction-task .iltis-prefixed-gadget .iltis-propagate-gadget-btn {
    display: block;
    margin: 30px auto auto auto; }

.iltis-gadgetreduction-task .iltis-prefixed-gadget-row {
  display: flex;
  justify-content: space-evenly;
  align-items: flex-start;
  height: 450px; }
  .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-prefix-container {
    width: 250px;
    display: flex;
    align-items: center;
    justify-content: space-between;
    margin-top: 45px; }
    .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-prefix-container > .iltis-isotype-container {
      width: 100%;
      height: 100px; }
      .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-prefix-container > .iltis-isotype-container.global {
        text-align: right; }
      .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-prefix-container > .iltis-isotype-container > .iltis-isotype-global-prefix {
        font-variant: small-caps; }
      .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-prefix-container > .iltis-isotype-container > .iltis-isotype {
        width: 100%;
        height: 100%;
        min-width: 0; }
    .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-prefix-container .iltis-mapsto-arrow {
      font-size: 30px;
      margin: 0 20px; }
  .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-container {
    flex-grow: 1;
    height: 100%; }
    .iltis-gadgetreduction-task .iltis-prefixed-gadget-row > .iltis-gadget-container > .iltis-graph-wrapperDiv {
      height: 100%; }
  .iltis-gadgetreduction-task .iltis-prefixed-gadget-row .iltis-propagation-panel {
    visibility: hidden;
    /* hide until the gadget is active */
    display: flex;
    flex-direction: column;
    justify-content: space-evenly;
    height: 100%;
    margin-left: 25px;
    padding-top: 65px;
    padding-bottom: 20px; }
    .iltis-gadgetreduction-task .iltis-prefixed-gadget-row .iltis-propagation-panel.only-propagate {
      justify-content: flex-end; }
    .iltis-gadgetreduction-task .iltis-prefixed-gadget-row .iltis-propagation-panel.only-edit {
      justify-content: flex-start; }
    .iltis-gadgetreduction-task .iltis-prefixed-gadget-row .iltis-propagation-panel .iltis-button {
      height: 100%;
      max-height: 50%;
      padding: 0 1.5rem; }
      .iltis-gadgetreduction-task .iltis-prefixed-gadget-row .iltis-propagation-panel .iltis-button:not(:last-child) {
        margin-bottom: 10px; }
      .iltis-gadgetreduction-task .iltis-prefixed-gadget-row .iltis-propagation-panel .iltis-button:not(:first-child) {
        margin-top: 10px; }
      .iltis-gadgetreduction-task .iltis-prefixed-gadget-row .iltis-propagation-panel .iltis-button > i.material-icons {
        font-size: 30px; }

.iltis-gadgetreduction-task .iltis-feedback .iltis-reduction-counter-example {
  margin: 20px auto;
  display: flex; }

.iltis-gadgetreduction-task .iltis-feedback .hc-edge > .iltis-edge-default.iltis-alt {
  stroke: #ffc285 !important;
  stroke-width: 1.5px !important; }

.iltis-gadgetreduction-task .iltis-feedback .hc-edge > g > .iltis-edge-default.iltis-alt.iltis-edge-arrowHead {
  fill: #ffc285 !important;
  stroke: #ffc285 !important;
  stroke-width: 1.5px !important; }

.iltis-gadgetreduction-task .iltis-feedback [edgeHoverEffectDisabled] .iltis-edge.hc-edge:hover .iltis-edge-default.iltis-alt, .iltis-gadgetreduction-task .iltis-feedback [edgeHoverEffectDisabled] .iltis-edge-hovered.hc-edge .iltis-edge-default.iltis-alt {
  stroke: #ffc285 !important; }
  .iltis-gadgetreduction-task .iltis-feedback [edgeHoverEffectDisabled] .iltis-edge.hc-edge:hover .iltis-edge-default.iltis-alt.iltis-edge-arrowHead, .iltis-gadgetreduction-task .iltis-feedback [edgeHoverEffectDisabled] .iltis-edge-hovered.hc-edge .iltis-edge-default.iltis-alt.iltis-edge-arrowHead {
    fill: #ffc285 !important;
    stroke: #ffc285 !important; }

.iltis-TaskViewSkeleton.iltis-disabled .iltis-hornsat-task .iltis-tree-selection-panel {
  width: 100%; }

.iltis-hornsat-task .iltis-tree-selection-panel {
  width: max-content; }

.iltis-multiplechoice-task .iltis-mcq-widget-container {
  margin: 0; }

.iltis-pickvariables-task .iltis-variableBox {
  padding: 20px; }

.iltis-natural-description-task .iltis-keyboard {
  display: none; }

.iltis-natural-description-task .iltis-creation-label-left {
  align-items: flex-end; }
  .iltis-natural-description-task .iltis-creation-label-left .input-field input {
    font-size: 20px !important;
    height: 32px !important; }

.iltis-natural-description-task .iltis-variableBox {
  margin: 0; }
  .iltis-natural-description-task .iltis-variableBox input {
    font-size: 20px !important;
    height: 32px !important; }

.iltis-natural-description-task .iltis-formula-input-label {
  padding: 0;
  margin-bottom: 18px;
  margin-right: 5px; }

.iltis-natural-description-task .iltis-creation-box {
  padding-top: 15px;
  width: 100%;
  margin: 0;
  border-radius: 0 !important;
  box-shadow: none; }
  .iltis-natural-description-task .iltis-creation-box .iltis-keyboard {
    display: none; }

.iltis-natural-description-task .iltis-label-column {
  display: flex;
  align-items: flex-end; }
  .iltis-natural-description-task .iltis-label-column .iltis-pre-label {
    margin-left: 10px;
    margin-bottom: 18px; }

.iltis-natural-description-task .blank::after {
  content: "_____";
  color: #706f6d; }

.iltis-natural-description-task .iltis-formula-input-box .iltis-creation-label-left {
  align-items: start; }

.iltis-natural-description-task .iltis-formula-input-box .iltis-label-column {
  margin-top: 24px; }

.iltis-natural-description-task .iltis-formula-input-box textarea {
  line-height: 1.5; }

.iltis-proofblocks-task .iltis-block-areas {
  display: grid;
  grid-template-columns: 1fr;
  gap: 20px; }
  @media screen and (min-width: 768px) {
    .iltis-proofblocks-task .iltis-block-areas {
      grid-template-columns: 1fr 1fr; } }

.iltis-proofblocks-task .iltis-block-area {
  background: #ffffff;
  box-shadow: 0px 4px 10px 0 rgba(0, 0, 0, 0.2);
  border-radius: 12px;
  overflow: hidden;
  display: flex;
  flex-direction: column; }
  .iltis-proofblocks-task .iltis-block-area.iltis-inactive {
    background: rgba(255, 255, 255, 0.5);
    box-shadow: 0px 4px 10px -4px rgba(0, 0, 0, 0.2); }
  .iltis-proofblocks-task .iltis-block-area .iltis-block-area-header {
    height: 45px;
    background: #8db8d9;
    border-top-left-radius: 12px;
    border-top-right-radius: 12px;
    display: flex;
    justify-content: center;
    align-items: center; }
  .iltis-proofblocks-task .iltis-block-area .iltis-block-area-sortable {
    flex: 1;
    padding: 10px;
    min-height: 500px; }

.iltis-proofblocks-task .iltis-proof-block {
  padding: 5px;
  margin-top: 10px;
  position: relative;
  background-color: #ffe3a2;
  border-radius: 7px; }
  .iltis-proofblocks-task .iltis-proof-block:first-child {
    margin-top: 0; }
  .iltis-proofblocks-task .iltis-proof-block.iltis-highlighted:not(.iltis-ghost) {
    background-color: #eda498; }
    .iltis-proofblocks-task .iltis-proof-block.iltis-highlighted:not(.iltis-ghost) > .iltis-exclamation-icon {
      display: block; }
  .iltis-proofblocks-task .iltis-proof-block.iltis-ghost {
    border: 4px dashed #ffe3a2;
    padding: 1px;
    background: none; }
    .iltis-proofblocks-task .iltis-proof-block.iltis-ghost > .iltis-content {
      visibility: hidden; }
  .iltis-proofblocks-task .iltis-proof-block > .iltis-exclamation-icon {
    display: none;
    position: absolute;
    top: 2px;
    right: 2px;
    filter: brightness(0) invert(1); }

.iltis-proofblocks-task.iltis-old-feedback .iltis-proof-block.iltis-highlighted:not(.iltis-ghost) {
  background-color: #ffe3a2; }

.iltis-propositions-task .iltis-iconed-label .iltis-iconed-label-icon-td .material-icons.iltis-icon {
  cursor: pointer !important; }

.iltis-propositions-task .iltis-proposition-view {
  display: flex;
  flex-direction: column; }
  .iltis-propositions-task .iltis-proposition-view .iltis-sentence-similarity-table {
    margin-left: 20px; }
    .iltis-propositions-task .iltis-proposition-view .iltis-sentence-similarity-table td {
      vertical-align: top; }
      .iltis-propositions-task .iltis-proposition-view .iltis-sentence-similarity-table td:first-child {
        padding-right: 10px; }
  .iltis-propositions-task .iltis-proposition-view .iltis-creation-label-left .iltis-label-column {
    display: flex; }
  .iltis-propositions-task .iltis-proposition-view .iltis-formula-input-label {
    height: 3rem;
    margin-right: 25px;
    margin-left: 5px;
    line-height: 3rem;
    padding: 0; }
  .iltis-propositions-task .iltis-proposition-view .iltis-variable-box {
    height: 3rem !important;
    margin: 0;
    padding: 0; }
    .iltis-propositions-task .iltis-proposition-view .iltis-variable-box input[type=text] {
      height: 3rem !important;
      font-size: 25px !important; }
  .iltis-propositions-task .iltis-proposition-view input[type=text] {
    margin: 0 !important; }
  .iltis-propositions-task .iltis-proposition-view .input-field {
    margin-top: 0;
    width: 100%; }
  .iltis-propositions-task .iltis-proposition-view .iltis-creation-box {
    padding-top: 15px;
    width: 100%;
    margin: 0;
    /* for MyhillNerode styling */
    border-radius: 0 !important;
    box-shadow: none; }
    .iltis-propositions-task .iltis-proposition-view .iltis-creation-box .iltis-keyboard-input {
      padding: 0; }
      .iltis-propositions-task .iltis-proposition-view .iltis-creation-box .iltis-keyboard-input > div > table > tbody > tr > td {
        vertical-align: middle !important; }
        .iltis-propositions-task .iltis-proposition-view .iltis-creation-box .iltis-keyboard-input > div > table > tbody > tr > td + td > div {
          padding-bottom: 0; }
    .iltis-propositions-task .iltis-proposition-view .iltis-creation-box .iltis-keyboard {
      display: none; }

.iltis-resolution-task .iltis-graph-menuBar {
  height: 50px; }
  .iltis-resolution-task .iltis-graph-menuBar .iltis-resolve-icon .iltis-icon-label, .iltis-resolution-task .iltis-graph-menuBar .iltis-substitute-icon .iltis-icon-label {
    font-size: 25px;
    font-weight: 300; }
  .iltis-resolution-task .iltis-graph-menuBar .iltis-icon {
    margin: 0 5px; }
    .iltis-resolution-task .iltis-graph-menuBar .iltis-icon.iltis-button {
      padding: 3px 7px; }
      .iltis-resolution-task .iltis-graph-menuBar .iltis-icon.iltis-button.iltis-disabled {
        background: rgba(255, 255, 255, 0.7) !important;
        color: rgba(0, 0, 0, 0.4) !important; }

.iltis-resolve-popup {
  min-width: 500px;
  max-width: max-content;
  min-height: 330px; }
  .iltis-resolve-popup .iltis-feedbackpanel-parent {
    justify-content: center;
    display: flex; }
    .iltis-resolve-popup .iltis-feedbackpanel-parent .iltis-feedbackpanel {
      width: 100%;
      max-width: 600px; }
  .iltis-resolve-popup .iltis-node-background {
    fill: #8db8d9 !important; }
  .iltis-resolve-popup .iltis-resultnode-background {
    fill: #d9d6d2; }
  .iltis-resolve-popup .iltis-node-text {
    fill: #000000;
    font-size: 20px; }
  .iltis-resolve-popup .iltis-keyboard-input {
    padding: 0 10px 10px 10px;
    border-radius: 12px; }
    .iltis-resolve-popup .iltis-keyboard-input .input-field {
      margin-top: 0; }
  .iltis-resolve-popup + .iltis-popup-glass {
    background-color: rgba(0, 0, 0, 0.4) !important; }
  .iltis-resolve-popup .iltis-graph-wrapperDiv {
    width: 100%;
    max-width: 600px;
    margin-left: auto;
    margin-right: auto;
    margin-top: 20px; }
    .iltis-resolve-popup .iltis-graph-wrapperDiv.iltis-inactive {
      background-color: rgba(255, 255, 255, 0.5); }
      .iltis-resolve-popup .iltis-graph-wrapperDiv.iltis-inactive.plain {
        background-color: transparent;
        box-shadow: none; }
      .iltis-resolve-popup .iltis-graph-wrapperDiv.iltis-inactive.likefocf {
        background-color: #fff9e8; }
      .iltis-resolve-popup .iltis-graph-wrapperDiv.iltis-inactive.transparent-shadow {
        background-color: transparent;
        box-shadow: 0 0 7px 2px rgba(0, 0, 0, 0.2); }

.iltis-substitute-popup .input-field {
  font-size: 20px;
  margin-top: 0; }

.iltis-substitute-popup .iltis-keyboard-input {
  padding-left: 20px;
  padding-right: 20px; }

.iltis-substitute-popup .iltis-formula-input-label {
  padding-top: 7px;
  padding-right: 7px; }

.iltis-substitute-popup .input-field.iltis-error input {
  border-bottom: 1px solid #df2525 !important;
  box-shadow: 0 1px 0 0 #df2525 !important; }

/* graph nodes */
.iltis-resolution-task .iltis-node-text, .iltis-resolve-popup .iltis-node-text {
  fill: #000000;
  font-size: 20px; }

.iltis-resolution-task .iltis-edge-text, .iltis-resolve-popup .iltis-edge-text {
  font-size: 18px; }

.iltis-resolution-task .iltis-rootnode-background, .iltis-resolve-popup .iltis-rootnode-background {
  fill: #c2bfbc; }

.iltis-resolution-task .iltis-node-background, .iltis-resolve-popup .iltis-node-background {
  fill: #edebe8; }

.iltis-resolution-task .iltis-selected .iltis-rootnode-background, .iltis-resolve-popup .iltis-selected .iltis-rootnode-background {
  fill: #8db8d9; }

.iltis-resolution-task .iltis-selected .iltis-node-background, .iltis-resolve-popup .iltis-selected .iltis-node-background {
  fill: #8db8d9; }

.iltis-resolution-task .iltis-edge, .iltis-resolve-popup .iltis-edge {
  stroke: #c2bfbc; }
  .iltis-resolution-task .iltis-edge .iltis-edge-arrowHead, .iltis-resolve-popup .iltis-edge .iltis-edge-arrowHead {
    fill: #c2bfbc; }

.iltis-resolution-task .iltis-edge:hover .iltis-edge-path, .iltis-resolution-task .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolution-task .iltis-edge-hovered .iltis-edge-path, .iltis-resolution-task .iltis-edge-hovered .iltis-edge-arrowHead, .iltis-resolve-popup .iltis-edge:hover .iltis-edge-path, .iltis-resolve-popup .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolve-popup .iltis-edge-hovered .iltis-edge-path, .iltis-resolve-popup .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #706f6d !important; }

.iltis-resolution-task .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolution-task .iltis-edge-hovered .iltis-edge-arrowHead, .iltis-resolve-popup .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolve-popup .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #706f6d !important; }

.iltis-resolution-task [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-path, .iltis-resolution-task [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolution-task [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-path, .iltis-resolution-task [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead, .iltis-resolve-popup [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-path, .iltis-resolve-popup [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolve-popup [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-path, .iltis-resolve-popup [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  stroke: #c2bfbc !important; }

.iltis-resolution-task [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolution-task [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead, .iltis-resolve-popup [edgeHoverEffectDisabled] .iltis-edge:hover .iltis-edge-arrowHead, .iltis-resolve-popup [edgeHoverEffectDisabled] .iltis-edge-hovered .iltis-edge-arrowHead {
  fill: #c2bfbc !important; }

.iltis-resolution-task .iltis-graph-button, .iltis-resolve-popup .iltis-graph-button {
  fill: none; }

.iltis-markgraph-task .iltis-node-defaultCursor {
  cursor: default !important; }

.iltis-markgraph-task .iltis-node-pointerCursor {
  cursor: pointer !important; }

.iltis-markgraph-task .iltis-edge-defaultCursor {
  cursor: default !important; }

.iltis-markgraph-task .iltis-edge-pointerCursor {
  cursor: pointer !important; }

.iltis-TaskViewSkeleton .iltis-header {
  overflow: hidden;
  background-color: #ffe3a2;
  font-family: Roboto;
  border: none;
  position: relative; }
  .iltis-TaskViewSkeleton .iltis-header .anim-container {
    float: left;
    margin-right: 1em;
    align-self: center;
    top: -9px; }
    .iltis-TaskViewSkeleton .iltis-header .anim-container:not(.morphed) {
      left: -4px; }
  .iltis-TaskViewSkeleton .iltis-header .iltis-disabled-panel {
    border-radius: 12px 12px 0 0;
    pointer-events: none; }

.iltis-TaskViewSkeleton.iltis-small-body-padding .iltis-taskbody {
  padding: 30px 10px 0 10px; }
  .iltis-TaskViewSkeleton.iltis-small-body-padding .iltis-taskbody .iltis-taskdescription {
    padding: 0 calc(50px - 10px); }

.iltis-TaskViewSkeleton .iltis-taskbody {
  background-color: #fef2d0;
  padding: 30px 50px 0 50px;
  position: relative; }
  .iltis-TaskViewSkeleton .iltis-taskbody .iltis-formula-input-box {
    margin-bottom: 0; }
    .iltis-TaskViewSkeleton .iltis-taskbody .iltis-formula-input-box .iltis-feedbackpanel {
      margin-top: 20px; }
  .iltis-TaskViewSkeleton .iltis-taskbody > .row {
    margin: 0 !important;
    padding: 0 !important; }
    .iltis-TaskViewSkeleton .iltis-taskbody > .row > .col {
      margin: 0 !important;
      padding: 0 !important; }
  .iltis-TaskViewSkeleton .iltis-taskbody .iltis-header {
    font-size: 22px;
    padding-top: 8px;
    padding-bottom: 8px; }
  .iltis-TaskViewSkeleton .iltis-taskbody .iltis-disabled-panel {
    border-radius: 0 0 12px 12px; }

.iltis-TaskViewSkeleton .iltis-feedbackpanel.iltis-skeleton-feedbackpanel {
  margin: 50px 0 0;
  position: relative;
  z-index: 1; }

.iltis-TaskViewSkeleton .iltis-finish-button {
  display: block;
  margin: 30px auto 15px;
  text-transform: none; }

.iltis-TaskViewSkeleton .iltis-icon {
  line-height: 25px; }

.iltis-TaskViewSkeleton .iltis-user-comment-icon {
  margin-right: 20px; }

.iltis-TaskViewSkeleton .iltis-taskdescription:not(.iltis-empty) {
  margin-bottom: 50px; }

.iltis-TaskViewSkeleton .iltis-taskdescription .iltis-taskdescription-text {
  font-size: 20px; }

.iltis-TaskViewSkeleton .iltis-taskdescription > div > .gwt-HTML p:first-child {
  margin-top: 0 !important; }

.iltis-TaskViewSkeleton .iltis-taskdescription ol > li {
  list-style-type: auto; }

.iltis-TaskViewSkeleton.iltis-finished .iltis-taskbody {
  padding-bottom: 50px !important; }

.iltis-TaskViewSkeleton.iltis-disabled .iltis-disabled-panel {
  visibility: visible;
  opacity: 0.15;
  transition: 1s ease-in; }

.iltis-TaskViewSkeleton .iltis-disabled-panel {
  opacity: 0;
  background: #a6988e;
  width: 100%;
  height: 100%;
  position: absolute;
  top: 0;
  left: 0;
  visibility: hidden;
  margin: 0 !important; }

.iltis-tableau-task .iltis-formula {
  letter-spacing: 2px; }

.iltis-tableau-task .iltis-protocol .iltis-tableau-step-button {
  padding: 0 10px;
  margin-right: 0.5em;
  white-space: nowrap; }

.iltis-tableau-task .iltis-protocol .two-digits .iltis-tableau-step-button {
  min-width: 118px; }

.iltis-tableau-task .iltis-protocol .iltis-formula {
  word-break: break-word; }

.iltis-tableau-task.iltis-tableau-tutorial .iltis-protocol {
  margin: 20px 0 0 0; }
  .iltis-tableau-task.iltis-tableau-tutorial .iltis-protocol .iltis-formula {
    word-break: break-word; }

.iltis-tableau-task.iltis-tableau-tutorial .iltis-graph-tableau {
  min-width: 500px; }

.iltis-tableau-task .iltis-graph-menuBar .iltis-button {
  background: #ffffff;
  height: 30px;
  line-height: 30px;
  padding: 0 10px;
  margin: auto 5px;
  width: max-content; }
  .iltis-tableau-task .iltis-graph-menuBar .iltis-button:hover {
    background: #ffffff; }
  .iltis-tableau-task .iltis-graph-menuBar .iltis-button.disabled, .iltis-tableau-task .iltis-graph-menuBar .iltis-button.iltis-disabled {
    background: rgba(255, 255, 255, 0.7) !important;
    color: rgba(0, 0, 0, 0.4) !important; }

.iltis-closeLeaves-popup {
  width: 600px; }

.iltis-tableau-confirmation-dialog {
  width: 600px; }

.iltis-transformation-task .iltis-formula-input-box .input-field {
  margin-top: 0; }
  .iltis-transformation-task .iltis-formula-input-box .input-field .materialize-textarea {
    margin-bottom: 0; }

.iltis-truthtable-task .iltis-formula-field {
  font-family: Roboto;
  font-size: 25px;
  font-weight: 500;
  margin-bottom: 30px; }

.iltis-truthtable-task .iltis-truthtable-flowlayout-tablepanel {
  max-width: calc(100% + 50px); }

.iltis-truthtable-task .iltis-truthtable-flowlayout .iltis-truthtable-flowlayout-flexrow {
  justify-content: center; }

.iltis-truthtable-task.iltis-modal-logic .iltis-formula-field {
  margin-bottom: 20px; }

.iltis-truthtable-task.iltis-modal-logic .iltis-truthtable-flowlayout .iltis-truthtable-flowlayout-flexrow {
  justify-content: space-between; }

.iltis-truthtable-task.iltis-modal-logic .iltis-truthtable-flowlayout .iltis-truthtable-flowlayout-tablepanel {
  flex-basis: 400px; }

.iltis-truthtable-task.iltis-modal-logic .iltis-truthtable-flowlayout .iltis-truthtable-flowlayout-structurepanel {
  max-width: 490px;
  flex-basis: 400px; }

.iltis-truthtable-task.iltis-modal-logic .iltis-completabletable-scrollpanel {
  overflow: visible !important;
  padding-top: 0; }

.iltis-truthtable-task .iltis-tree-selection-panel.iltis-disabled {
  background-color: transparent;
  box-shadow: none; }

.iltis-truthtable-task .iltis-tree-selection-panel .modal-formula {
  margin: 0 3px;
  padding: 0 2px; }

.iltis-truthtable-task .iltis-tree-selection-panel .iltis-selection-panel-hover {
  background-color: #ffe3a2; }

.iltis-truthtable-task .iltis-completabletable-root {
  border-radius: 12px; }

.iltis-truthtable-task .iltis-completabletable {
  border-collapse: collapse;
  border-radius: 12px;
  border-style: hidden;
  margin-bottom: 0; }
  .iltis-truthtable-task .iltis-completabletable .iltis-completabletable-content-cell.iltis-formula, .iltis-truthtable-task .iltis-completabletable .iltis-completabletable-content-cell.iltis-kripke-state, .iltis-truthtable-task .iltis-completabletable .iltis-completabletable-content-cell .iltis-formula {
    padding: 0 10px; }
  .iltis-truthtable-task .iltis-completabletable td {
    border: 1px solid #707070;
    height: 40px;
    min-width: 55px; }
  .iltis-truthtable-task .iltis-completabletable.propositional-truth-table .iltis-formula, .iltis-truthtable-task .iltis-completabletable.modal-truth-table .iltis-formula, .iltis-truthtable-task .iltis-completabletable.modal-truth-table .iltis-kripke-state {
    font-family: Roboto;
    font-size: 22px !important;
    font-weight: 500 !important;
    margin: auto !important; }
  .iltis-truthtable-task .iltis-completabletable.propositional-truth-table .table-formula-row-cell, .iltis-truthtable-task .iltis-completabletable.modal-truth-table .table-formula-row-cell {
    background-color: #ffd77d; }
  .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:first-child, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:first-child {
    height: 50px;
    font-family: Roboto;
    font-size: 22px;
    font-weight: 500; }
    .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:first-child td:first-child, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:first-child td:first-child {
      border-top-left-radius: 12px; }
      .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:first-child td:first-child .iltis-extendedtogglebutton, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:first-child td:first-child .iltis-extendedtogglebutton {
        border-top-left-radius: 12px; }
    .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:first-child td:last-child, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:first-child td:last-child {
      border-top-right-radius: 12px; }
      .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:first-child td:last-child .iltis-extendedtogglebutton, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:first-child td:last-child .iltis-extendedtogglebutton {
        border-top-right-radius: 12px; }
  .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:last-child td:first-child, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:last-child td:first-child {
    border-bottom-left-radius: 12px; }
    .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:last-child td:first-child .iltis-extendedtogglebutton, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:last-child td:first-child .iltis-extendedtogglebutton {
      border-bottom-left-radius: 12px; }
  .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:last-child td:last-child, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:last-child td:last-child {
    border-bottom-right-radius: 12px; }
    .iltis-truthtable-task .iltis-completabletable.propositional-truth-table tr:last-child td:last-child .iltis-extendedtogglebutton, .iltis-truthtable-task .iltis-completabletable.modal-truth-table tr:last-child td:last-child .iltis-extendedtogglebutton {
      border-bottom-right-radius: 12px; }
  .iltis-truthtable-task .iltis-completabletable.propositional-truth-table .iltis-valuation-cell, .iltis-truthtable-task .iltis-completabletable.propositional-truth-table .table-kripke-state-column-cell, .iltis-truthtable-task .iltis-completabletable.modal-truth-table .iltis-valuation-cell, .iltis-truthtable-task .iltis-completabletable.modal-truth-table .table-kripke-state-column-cell {
    background-color: #ffe3a2;
    font-family: Roboto;
    font-size: 22px !important;
    font-weight: 400; }
  .iltis-truthtable-task .iltis-completabletable.modal-truth-table .iltis-completabletable-content-cell {
    min-width: 60px; }
  .iltis-truthtable-task .iltis-completabletable.modal-truth-table .table-modal-topleft {
    background-image: linear-gradient(to top right, #ffd77d calc(50% - 1px), #ffe3a2 calc(50% + 1px)); }

.iltis-truthtable-task .iltis-extendedtogglebutton {
  background-color: #ffffff;
  width: 100%;
  height: 100%;
  box-shadow: none;
  border-radius: 0;
  color: black !important;
  padding: 0 20px;
  text-transform: none; }
  .iltis-truthtable-task .iltis-extendedtogglebutton:hover {
    background-color: #ffe3a2; }
  .iltis-truthtable-task .iltis-extendedtogglebutton:focus {
    border: 2px solid #706f6d; }
  .iltis-truthtable-task .iltis-extendedtogglebutton.iltis-disabled {
    background-color: #ffffff !important; }

.iltis-truthtable-task .table-highlight-mistakes .iltis-extendedtogglebutton {
  background: #eda498; }

.iltis-truthtable-task .iltis-feedbackpanel {
  margin-top: 30px; }

.iltis-valuation-task .iltis-formula {
  width: max-content;
  font-size: 25px;
  margin: auto auto 30px;
  background-color: #fef2d0;
  padding: 0 10px 10px;
  border-radius: 12px; }

.iltis-valuation-task .iltis-single-proposition-valuation {
  display: flex;
  align-items: center;
  border-radius: 12px;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
  height: 60px;
  font-size: 35px;
  min-width: 350px;
  width: max-content;
  max-width: 100%; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-proposition {
    padding-left: 30px; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-mapsTo {
    padding: 0 50px;
    font-size: 50px; }
  .iltis-valuation-task .iltis-single-proposition-valuation .switch label .lever {
    width: 60px;
    height: 22px;
    margin: 0 20px; }
    .iltis-valuation-task .iltis-single-proposition-valuation .switch label .lever::after {
      width: 28px;
      height: 28px; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-on label .lever {
    background-color: #c5dfc1 !important; }
    .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-on label .lever::after {
      background-color: #639a00 !important; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-on .iltis-switch-onlabel {
    color: #000000;
    font-weight: 500; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-off label .lever {
    background-color: #fcaea2 !important; }
    .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-off label .lever::after {
      background-color: #ca1010 !important; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-off .iltis-switch-offlabel {
    color: #000000;
    font-weight: 500; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-onlabel {
    color: #b9b4b4;
    font-weight: 300;
    font-size: 20px; }
  .iltis-valuation-task .iltis-single-proposition-valuation .iltis-switch-offlabel {
    color: #b9b4b4;
    font-weight: 300;
    font-size: 20px; }
  .iltis-valuation-task .iltis-single-proposition-valuation > .col > * {
    margin: auto;
    width: max-content; }
  .iltis-valuation-task .iltis-single-proposition-valuation .switch {
    line-height: 60px;
    display: flex;
    min-width: 150px;
    justify-content: center;
    padding-right: 30px; }
    .iltis-valuation-task .iltis-single-proposition-valuation .switch .iltis-switch-offlabel, .iltis-valuation-task .iltis-single-proposition-valuation .switch .iltis-switch-onlabel, .iltis-valuation-task .iltis-single-proposition-valuation .switch .lever {
      vertical-align: middle; }
    .iltis-valuation-task .iltis-single-proposition-valuation .switch label input[type=checkbox]:checked + .lever:after {
      left: 40px; }

.iltis-valuation-task.iltis-plain .iltis-single-proposition-valuation .iltis-switch-off label .lever, .iltis-valuation-task.iltis-plain .iltis-single-proposition-valuation .iltis-switch-on label .lever {
  background-color: #b9b4b4 !important; }
  .iltis-valuation-task.iltis-plain .iltis-single-proposition-valuation .iltis-switch-off label .lever::after, .iltis-valuation-task.iltis-plain .iltis-single-proposition-valuation .iltis-switch-on label .lever::after {
    background-color: #000000 !important; }

.iltis-manualfeedback-analysis-item-view {
  border-radius: 12px;
  display: flex;
  justify-content: center;
  flex-direction: column;
  height: 80px;
  background-color: white;
  padding: 8px 22px;
  margin: 16px; }
  .iltis-manualfeedback-analysis-item-view .firstRow {
    display: flex;
    flex-direction: row;
    align-items: center; }
  .iltis-manualfeedback-analysis-item-view .titleLabel {
    font-weight: bold; }
  .iltis-manualfeedback-analysis-item-view .numberOfOccurrencesLabel {
    margin-left: auto; }

.iltis-manualfeedback-card-view {
  border-radius: 16px;
  background-color: #fef2d0;
  overflow: clip; }
  .iltis-manualfeedback-card-view .headerDiv {
    background-color: #ffe3a2;
    display: flex;
    flex-direction: row;
    align-items: center; }
  .iltis-manualfeedback-card-view .leftHeaderDiv {
    margin-left: 8px; }
  .iltis-manualfeedback-card-view .rightHeaderDiv {
    margin-left: auto;
    display: flex;
    flex-direction: row; }

.iltis-manualfeedback-analysis-type-view {
  border-radius: 12px;
  display: flex;
  background-color: #fef2d0;
  text-align: center;
  align-items: center;
  flex-direction: row;
  height: 80px;
  cursor: pointer;
  margin: 20px 0;
  padding: 8px 22px; }
  .iltis-manualfeedback-analysis-type-view .titleLabel {
    font-weight: bold; }
  .iltis-manualfeedback-analysis-type-view .valueBox {
    float: left;
    margin-left: auto;
    display: flex;
    gap: 6px;
    flex-wrap: nowrap; }

.iltis-described-value-box {
  border-radius: 12px;
  display: inline-block;
  background-color: white;
  text-align: center; }
  .iltis-described-value-box .valueLabel {
    font-size: 24px;
    font-weight: bold;
    margin: 8px 25px 0 25px; }
  .iltis-described-value-box .descriptionLabel {
    font-size: 12px;
    font-weight: normal;
    margin: 0 25px 8px 25px; }

.iltis-manualfeedback-decision-view .gwt-RadioButton, .iltis-manualfeedback-cfg-equivalence-decision-view .gwt-RadioButton {
  display: block; }

.iltis-manualfeedback-decision-view [type="radio"]:checked + label:after, .iltis-manualfeedback-cfg-equivalence-decision-view [type="radio"]:checked + label:after {
  border: 2px solid #000000;
  background-color: #000000; }

.iltis-manualfeedback-cfg-equivalence-decision-view .counterexample-textbox {
  width: 100%;
  border-radius: 16px;
  background-color: white;
  padding: 12px; }

.iltis-manualfeedback-input-panel, .iltis-manualfeedback-cfg-equivalence-input-panel, .iltis-manualfeedback-fo-equivalence-input-panel {
  margin-top: 20px;
  width: 100%; }
  .iltis-manualfeedback-input-panel.iltis-manualfeedback-input-panel-row, .iltis-manualfeedback-input-panel-row.iltis-manualfeedback-cfg-equivalence-input-panel, .iltis-manualfeedback-input-panel-row.iltis-manualfeedback-fo-equivalence-input-panel, .iltis-manualfeedback-input-panel .iltis-manualfeedback-input-panel-row, .iltis-manualfeedback-cfg-equivalence-input-panel .iltis-manualfeedback-input-panel-row, .iltis-manualfeedback-fo-equivalence-input-panel .iltis-manualfeedback-input-panel-row {
    width: 100%;
    display: flex;
    flex-direction: row;
    gap: 32px; }
  .iltis-manualfeedback-input-panel .taskInputItem, .iltis-manualfeedback-cfg-equivalence-input-panel .taskInputItem, .iltis-manualfeedback-fo-equivalence-input-panel .taskInputItem {
    width: 50%; }
  .iltis-manualfeedback-input-panel .studentInputItem, .iltis-manualfeedback-cfg-equivalence-input-panel .studentInputItem, .iltis-manualfeedback-fo-equivalence-input-panel .studentInputItem {
    width: 50%; }
  .iltis-manualfeedback-input-panel .iltis-manualfeedback-card-view, .iltis-manualfeedback-cfg-equivalence-input-panel .iltis-manualfeedback-card-view, .iltis-manualfeedback-fo-equivalence-input-panel .iltis-manualfeedback-card-view {
    background-color: white; }
    .iltis-manualfeedback-input-panel .iltis-manualfeedback-card-view .textBox, .iltis-manualfeedback-cfg-equivalence-input-panel .iltis-manualfeedback-card-view .textBox, .iltis-manualfeedback-fo-equivalence-input-panel .iltis-manualfeedback-card-view .textBox {
      border-radius: 0;
      margin: 0;
      background-color: transparent; }
    .iltis-manualfeedback-input-panel .iltis-manualfeedback-card-view textarea, .iltis-manualfeedback-cfg-equivalence-input-panel .iltis-manualfeedback-card-view textarea, .iltis-manualfeedback-fo-equivalence-input-panel .iltis-manualfeedback-card-view textarea {
      font-family: monospace !important; }
  @media screen and (max-width: 580px) {
    .iltis-manualfeedback-input-panel.iltis-manualfeedback-input-panel-row, .iltis-manualfeedback-input-panel-row.iltis-manualfeedback-cfg-equivalence-input-panel, .iltis-manualfeedback-input-panel-row.iltis-manualfeedback-fo-equivalence-input-panel, .iltis-manualfeedback-input-panel .iltis-manualfeedback-input-panel-row, .iltis-manualfeedback-cfg-equivalence-input-panel .iltis-manualfeedback-input-panel-row, .iltis-manualfeedback-fo-equivalence-input-panel .iltis-manualfeedback-input-panel-row {
      flex-direction: column;
      gap: 20px; }
    .iltis-manualfeedback-input-panel .taskInputItem, .iltis-manualfeedback-cfg-equivalence-input-panel .taskInputItem, .iltis-manualfeedback-fo-equivalence-input-panel .taskInputItem {
      width: 100%; }
    .iltis-manualfeedback-input-panel .studentInputItem, .iltis-manualfeedback-cfg-equivalence-input-panel .studentInputItem, .iltis-manualfeedback-fo-equivalence-input-panel .studentInputItem {
      width: 100%; } }

.iltis-manualfeedback-fo-equivalence-constraints {
  margin-bottom: 20px; }

.iltis-manualfeedback-dropdown {
  user-select: none; }
  .iltis-manualfeedback-dropdown .titlePanel {
    display: flex;
    flex-direction: row;
    align-content: center;
    justify-content: center; }
  .iltis-manualfeedback-dropdown .titlePanel:hover {
    background-color: #c2bfbc; }
  .iltis-manualfeedback-dropdown .itemsPanel {
    visibility: hidden; }
  .iltis-manualfeedback-dropdown .itemWrapperDiv {
    background-color: white;
    padding: 8px;
    display: flex;
    justify-content: center;
    align-items: center;
    cursor: pointer; }
  .iltis-manualfeedback-dropdown .itemWrapperDiv:hover {
    background-color: #c2bfbc; }

.iltis-manualfeedback-dropdown:hover .itemsPanel {
  visibility: visible; }

.iltis-manualfeedback-main-panel {
  max-width: 1300px;
  margin: 32px auto;
  width: 100%;
  min-height: 100px;
  flex-grow: 1; }
  .iltis-manualfeedback-main-panel .roundedBtn {
    background-color: white;
    border-radius: 14px;
    padding: 6px;
    margin: 6px;
    user-select: none; }
  .iltis-manualfeedback-main-panel .textBox {
    border-radius: 16px;
    background-color: white;
    padding: 12px; }

.iltis-manualfeedback-detailed-analysis-view {
  display: flex;
  flex-direction: row;
  height: 100%; }
  .iltis-manualfeedback-detailed-analysis-view .leftColumn {
    flex-grow: 1;
    max-width: 300px;
    margin-right: 24px;
    height: 100%; }
  .iltis-manualfeedback-detailed-analysis-view .requestList {
    height: 100%;
    display: flex;
    flex-direction: column; }
    .iltis-manualfeedback-detailed-analysis-view .requestList .headerDiv {
      height: 56px; }
    .iltis-manualfeedback-detailed-analysis-view .requestList .contentDiv {
      overflow: scroll;
      flex: 1; }
  .iltis-manualfeedback-detailed-analysis-view .rightColumn {
    flex-grow: 4;
    height: 100%;
    overflow: scroll; }
  @media screen and (max-width: 950px) {
    .iltis-manualfeedback-detailed-analysis-view .leftColumn {
      display: none; }
    .iltis-manualfeedback-detailed-analysis-view .rightColumn {
      overflow: visible; } }

.iltis-manualfeedback-settings-popup {
  max-width: 400px; }
  .iltis-manualfeedback-settings-popup [type="checkbox"] + label:before {
    width: 20px;
    height: 20px;
    margin-top: 1px; }
  .iltis-manualfeedback-settings-popup [type="checkbox"]:checked + label:before {
    border-right: 2px solid #000000;
    border-bottom: 2px solid #000000;
    width: 13px;
    height: 24px; }
  .iltis-manualfeedback-settings-popup .gwt-CheckBox, .iltis-manualfeedback-settings-popup .gwt-RadioButton {
    display: block;
    margin-right: 20px; }
  .iltis-manualfeedback-settings-popup label {
    font-size: 20px;
    color: #000000; }

.iltis-manualfeedback-decision-view .iltis-manualfeedback-request-info, .iltis-manualfeedback-cfg-equivalence-decision-view .iltis-manualfeedback-request-info {
  display: flex;
  flex-direction: column; }

.iltis-manualfeedback-decision-view .saveFeedbackBtn, .iltis-manualfeedback-cfg-equivalence-decision-view .saveFeedbackBtn {
  background-color: #a3d177 !important; }

.iltis-manualfeedback-decision-view .publishFeedbackBtn, .iltis-manualfeedback-cfg-equivalence-decision-view .publishFeedbackBtn {
  background-color: #5c86a8 !important; }

.iltis-manualfeedback-decision-view .revertFeedbackBtn, .iltis-manualfeedback-cfg-equivalence-decision-view .revertFeedbackBtn {
  background-color: #e08475 !important; }

.iltis-manualfeedback-decision-view .analysisStatusLabel, .iltis-manualfeedback-cfg-equivalence-decision-view .analysisStatusLabel {
  font-size: 14px; }

.iltis-manualfeedback-decision-view .analysisItemTitle, .iltis-manualfeedback-cfg-equivalence-decision-view .analysisItemTitle {
  font-weight: bold;
  font-size: 20px; }

@media screen and (max-width: 580px) {
  .iltis-manualfeedback-decision-view .headerDiv, .iltis-manualfeedback-cfg-equivalence-decision-view .headerDiv {
    flex-direction: column;
    padding: 16px;
    align-items: flex-start; }
    .iltis-manualfeedback-decision-view .headerDiv .rightHeaderDiv, .iltis-manualfeedback-cfg-equivalence-decision-view .headerDiv .rightHeaderDiv {
      margin: 0; }
    .iltis-manualfeedback-decision-view .headerDiv .leftHeaderDiv, .iltis-manualfeedback-cfg-equivalence-decision-view .headerDiv .leftHeaderDiv {
      margin: 0; } }

.iltis-manualfeedback-decision-view .iltis-manualfeedback-decision-view-content, .iltis-manualfeedback-cfg-equivalence-decision-view .iltis-manualfeedback-decision-view-content {
  display: flex;
  flex-direction: row; }
  .iltis-manualfeedback-decision-view .iltis-manualfeedback-decision-view-content .reason-tile, .iltis-manualfeedback-cfg-equivalence-decision-view .iltis-manualfeedback-decision-view-content .reason-tile, .iltis-manualfeedback-decision-view .iltis-manualfeedback-decision-view-content .decision-tile, .iltis-manualfeedback-cfg-equivalence-decision-view .iltis-manualfeedback-decision-view-content .decision-tile {
    width: 50%;
    box-shadow: none;
    border-radius: 0; }
  @media screen and (max-width: 580px) {
    .iltis-manualfeedback-decision-view .iltis-manualfeedback-decision-view-content, .iltis-manualfeedback-cfg-equivalence-decision-view .iltis-manualfeedback-decision-view-content {
      flex-direction: column; }
      .iltis-manualfeedback-decision-view .iltis-manualfeedback-decision-view-content .reason-tile, .iltis-manualfeedback-cfg-equivalence-decision-view .iltis-manualfeedback-decision-view-content .reason-tile, .iltis-manualfeedback-decision-view .iltis-manualfeedback-decision-view-content .decision-tile, .iltis-manualfeedback-cfg-equivalence-decision-view .iltis-manualfeedback-decision-view-content .decision-tile {
        width: 100%; } }

.iltis-manualfeedback-decision-view .reason-text-area, .iltis-manualfeedback-cfg-equivalence-decision-view .reason-text-area {
  min-height: 200px;
  width: 100%;
  border-radius: 16px;
  background-color: white;
  padding: 12px; }
  .iltis-manualfeedback-decision-view .reason-text-area textarea, .iltis-manualfeedback-cfg-equivalence-decision-view .reason-text-area textarea {
    font-family: Roboto !important; }

.iltis-manualfeedback-decision-view .tileContent, .iltis-manualfeedback-cfg-equivalence-decision-view .tileContent {
  margin: 16px; }

.iltis-manualfeedback-error-material-toast {
  color: white;
  font-weight: bold;
  background-color: #e08475; }

.iltis-manualfeedback-success-material-toast {
  color: white;
  font-weight: bold;
  background-color: #a3d177; }