*,
*::before,
*::after {
  box-sizing: border-box;
}

body {
  font-family: "Arial", sans-serif;
  background-color: #1e1e2e;
  color: #e4e4e7;
  margin: 0;
  padding: 0;
  line-height: 1.5;
}

a {
  color: #5fd7ff;
  text-decoration: none;
}
a:visited {
  color: #5fd7ff;
}
a:hover {
  color: #f1fa8c;
  text-decoration: underline;
}

ul {
  list-style-type: none;
  padding-left: 20px;
}
ul li {
  margin-bottom: 8px;
}
ul li span {
  color: #5fd7ff;
}

.container {
  max-width: 1300px;
  margin: 20px auto;
  padding: 20px;
  background-color: #282a36;
  border-radius: 8px;
  box-shadow: 0 2px 10px rgba(0, 0, 0, 0.2);
}
.container > .pagination {
  margin-top: 20px;
}
.container > div.pagination button {
  padding: 10px;
  margin: 0 5px;
  text-decoration: none;
  color: #5fd7ff;
  border: 1px solid #44475a;
  border-radius: 4px;
  background: none;
  cursor: pointer;
}
.container > div.pagination button:disabled {
  color: #6272a4;
  border-color: #44475a;
  background: transparent;
  cursor: not-allowed;
  opacity: 0.5;
}

nav {
  margin-bottom: 1.5rem;
  padding-bottom: 1rem;
  border-bottom: 1px solid #44475a;
}
nav a {
  color: #5fd7ff;
  text-decoration: none;
  margin-right: 1.5rem;
  font-weight: bold;
  transition: color 0.2s ease;
}
nav a:hover {
  color: #f1fa8c;
  text-decoration: underline;
}

header h1 {
  font-size: 24px;
  color: #ffffff;
}
header .badge {
  display: inline-block;
  font-weight: bold;
  background-color: #ffcc00;
  color: #000000;
  padding: 2px 8px;
  margin-left: 10px;
  border-radius: 4px;
  font-size: 14px;
}
header .hash {
  font-size: 14px;
  color: #8a8d93;
}

.execution-header {
  margin-bottom: 1.5rem;
  padding-bottom: 1rem;
  border-bottom: 1px solid #44475a;
}
.execution-header > .header-and-links {
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.execution-header > .header-and-links > .execution-links {
  display: flex;
  padding: 10px;
  gap: 15px;
}
.execution-header h3 {
  margin-top: 0;
  margin-bottom: 0.75rem;
  font-size: 1.4rem;
  color: #f8f8f2;
}
.execution-header h3 a {
  color: inherit;
  text-decoration: none;
}
.execution-header h3 a:hover {
  text-decoration: underline;
  color: #5fd7ff;
}
.execution-header > .bp3-tree {
  display: inline-block;
  vertical-align: middle;
  margin-right: 1rem;
}

table.deployment_list .badge {
  display: inline-block;
  padding: 2px 8px;
  border-radius: 4px;
  font-size: 0.85em;
  font-weight: bold;
}
table.deployment_list .badge.current {
  background-color: #50fa7b;
  color: #1e1e2e;
}

.component-type-label {
  background-color: #6272a4;
  color: #ffffff;
  padding: 4px 6px;
  border-radius: 4px;
  font-size: 14px;
  margin: 10px;
}

.table-wrapper {
  width: 100%;
  overflow-x: auto;
}
.table-wrapper > table {
  width: 100%;
}

table.execution_list,
table.deployment_list {
  width: 100%;
  border-collapse: collapse;
}
table.execution_list th,
table.execution_list td,
table.deployment_list th,
table.deployment_list td {
  border: 1px solid #44475a;
  padding: 8px;
  text-align: left;
}
table.execution_list th,
table.deployment_list th {
  background-color: #44475a;
}

table.deployment_list th.number,
table.deployment_list td.number {
  text-align: right;
  width: 100px;
}

.action-button {
  display: inline-block;
  padding: 8px 16px;
  background-color: #44475a;
  color: #f8f8f2;
  border: 1px solid #6272a4;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.9em;
  text-decoration: none;
  transition: background-color 0.2s ease;
}
.action-button:hover:not(:disabled) {
  background-color: #6272a4;
  text-decoration: none;
}
.action-button:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}

.expand-button {
  display: block;
  width: 100%;
  padding: 0.5rem;
  border: none;
  border-top: 1px solid #44475a;
  background-color: #3a3a3a;
  color: #ccc;
  text-align: center;
  cursor: pointer;
  font-size: 0.85em;
  transition: background-color 0.2s ease;
}
.expand-button.expand-above {
  border-top: none;
  border-bottom: 1px solid #44475a;
}
.expand-button:hover {
  background-color: #4f4f4f;
}

.scroll-link {
  background: #21222c;
  border: 1px solid #6272a4;
  color: #f8f8f2;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.85em;
  padding: 2px 8px;
  margin-left: 10px;
  text-decoration: none;
  transition: background-color 0.2s ease, color 0.2s ease;
}
.scroll-link:hover {
  background-color: #6272a4;
  color: #ffffff;
  text-decoration: none;
}

#execution-submit-form,
#execution-stub-result-form {
  background-color: #21222c;
  padding: 15px;
  border: 1px solid #44475a;
  border-radius: 4px;
  margin-bottom: 20px;
}
#execution-submit-form .form-field,
#execution-stub-result-form .form-field {
  margin-bottom: 10px;
  color: #e4e4e7;
}
#execution-submit-form .form-field-row,
#execution-stub-result-form .form-field-row {
  display: flex;
  align-items: flex-start;
  gap: 10px;
}
#execution-submit-form label,
#execution-stub-result-form label {
  width: 120px;
  flex-shrink: 0;
  font-weight: bold;
  color: #5fd7ff;
}
#execution-submit-form textarea,
#execution-stub-result-form textarea {
  flex: 1;
  max-width: 300px;
  min-height: 1.5em;
  background-color: #1e1e2e;
  border: 1px solid #44475a;
  color: #e4e4e7;
  padding: 5px 8px;
  border-radius: 4px;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
  resize: vertical;
  line-height: 1.4;
}
#execution-submit-form textarea:focus,
#execution-stub-result-form textarea:focus {
  outline: none;
  border-color: #5fd7ff;
}
#execution-submit-form textarea::placeholder,
#execution-stub-result-form textarea::placeholder {
  color: #65737e;
}
#execution-submit-form .wit-type-toggle,
#execution-stub-result-form .wit-type-toggle {
  cursor: pointer;
  color: #65737e;
  font-size: 1em;
  padding: 2px 6px;
  border-radius: 3px;
  transition: 0.15s ease;
  user-select: none;
}
#execution-submit-form .wit-type-toggle:hover,
#execution-stub-result-form .wit-type-toggle:hover {
  color: #5fd7ff;
  background-color: #4f4f4f;
}
#execution-submit-form .wit-type-inline,
#execution-stub-result-form .wit-type-inline {
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.8em;
  color: #65737e;
  background-color: #1e1e2e;
  padding: 0.5rem 1rem;
  border-radius: 3px;
  border: 1px solid #44475a;
  margin-top: 0.5rem;
  margin-left: 130px;
  white-space: pre;
  overflow-x: auto;
}
#execution-submit-form span.validation-error,
#execution-stub-result-form span.validation-error {
  color: #ff5555;
  font-size: 0.9em;
}

.upgrade-form {
  margin-top: 0.75rem;
  padding: 1rem;
  background-color: #21222c;
  border: 1px solid #44475a;
  border-radius: 4px;
  max-width: 600px;
}
.upgrade-form .form-row {
  margin-bottom: 0.75rem;
  display: flex;
  align-items: center;
  gap: 0.75rem;
}
.upgrade-form .form-row:last-child {
  margin-bottom: 0;
}
.upgrade-form label {
  min-width: 120px;
  color: #5fd7ff;
  font-size: 0.9em;
}
.upgrade-form input[type=text] {
  flex: 1;
  padding: 6px 10px;
  background-color: #1e1e2e;
  border: 1px solid #44475a;
  border-radius: 4px;
  color: #f8f8f2;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
}
.upgrade-form input[type=text]:focus {
  outline: none;
  border-color: #5fd7ff;
}
.upgrade-form select {
  flex: 1;
  padding: 6px 10px;
  background-color: #1e1e2e;
  border: 1px solid #44475a;
  border-radius: 4px;
  color: #f8f8f2;
  font-size: 0.9em;
}
.upgrade-form select:focus {
  outline: none;
  border-color: #5fd7ff;
}
.upgrade-form .current-digest {
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.8em;
  color: #6272a4;
  word-break: break-all;
}
.upgrade-form .checkbox-row label {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  min-width: auto;
  cursor: pointer;
}
.upgrade-form .checkbox-row input[type=checkbox] {
  width: auto;
}

.validation-error {
  color: #ff5555;
  font-size: 0.85em;
  padding: 4px 8px;
  background-color: rgba(255, 85, 85, 0.1);
  border-radius: 4px;
}

.executions-filter,
.deployments-filter {
  margin-bottom: 1em;
  padding: 1em;
  border: 1px solid #ccc;
}

.executions-filter .checkboxes {
  margin-bottom: 0.5em;
}
.executions-filter .checkboxes > * {
  margin-right: 1em;
}
.executions-filter .inputs > * {
  margin-right: 1em;
}
.executions-filter .function-prefix-trigger {
  min-width: 22rem;
  cursor: pointer;
}

.deployments-filter > * {
  margin-right: 1em;
}

.function-prefix-modal-window {
  width: min(92vw, 1100px);
  height: min(78vh, 760px);
}

.function-prefix-modal-body {
  display: flex;
  flex: 1;
  flex-direction: column;
  gap: 1.5rem;
  min-height: 0;
  padding: 1.5rem;
}

.function-prefix-modal-manual {
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
}
.function-prefix-modal-manual label {
  color: #5fd7ff;
  font-size: 0.85em;
  font-weight: 600;
}
.function-prefix-modal-manual input {
  width: 100%;
  padding: 0.7rem 0.85rem;
  background-color: #1e1e2e;
  border: 1px solid #44475a;
  border-radius: 4px;
  color: #f8f8f2;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
}
.function-prefix-modal-manual input:focus {
  outline: none;
  border-color: #5fd7ff;
}

.function-prefix-modal-columns {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1rem;
  min-height: 0;
}

.function-prefix-modal-column {
  display: flex;
  flex-direction: column;
  min-height: 0;
  background-color: #21222c;
  border: 1px solid #44475a;
  border-radius: 4px;
  overflow: hidden;
}

.function-prefix-modal-column-title {
  padding: 1rem;
  border-bottom: 1px solid #44475a;
  color: #5fd7ff;
  font-size: 0.85em;
  font-weight: 600;
}

.function-prefix-modal-list {
  display: flex;
  flex: 1;
  flex-direction: column;
  gap: 1px;
  overflow-y: auto;
  padding: 0.25rem;
}

.function-prefix-option {
  width: 100%;
  padding: 0.5rem 1rem;
  background-color: transparent;
  border: 0;
  border-radius: 3px;
  color: #e4e4e7;
  cursor: pointer;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
  text-align: left;
  transition: background-color 0.15s ease, color 0.15s ease;
}
.function-prefix-option:hover {
  background-color: #4f4f4f;
}
.function-prefix-option.selected {
  background-color: rgba(95, 215, 255, 0.16);
  color: #5fd7ff;
}

@media (max-width: 900px) {
  .function-prefix-modal-columns {
    grid-template-columns: 1fr;
  }
}
.code-block {
  display: flex;
  overflow-x: auto;
}
.code-block p {
  margin: 0 0 10px;
  font-weight: bold;
}
.code-block pre {
  white-space: pre-wrap;
  word-wrap: break-word;
  word-break: break-word;
}
.code-block pre .keyword {
  color: #0077b6;
  font-weight: bold;
}
.code-block pre .type {
  color: #9b59b6;
}
.code-block pre .func {
  color: #ac9a40;
}
.code-block pre .version {
  color: #6fa5c9;
}
.code-block pre .param {
  color: #7f8c8d;
}
.code-block pre .case {
  color: #2980b9;
}

.code-block-container {
  border: 1px solid #44475a;
  border-radius: 4px;
  margin-top: 0.5rem;
  margin-bottom: 1.5rem;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.9em;
  overflow: hidden;
}

.code-scroll-area {
  overflow-x: auto;
}

.syntect-block {
  border-collapse: collapse;
  min-width: 100%;
}
.syntect-block td.line-number {
  padding: 0 0.8em 0 1em;
  text-align: right;
  color: #65737e;
  border-right: 1px solid #44475a;
  user-select: none;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  vertical-align: top;
  white-space: nowrap;
  line-height: 1.5;
}
.syntect-block td.line-code {
  padding: 0 0.8em;
  white-space: pre;
  vertical-align: top;
  line-height: 1.5;
  width: 100%;
}
.syntect-block tr.line-focused td.line-code {
  background-color: rgba(255, 255, 0, 0.1);
  box-shadow: inset 0 0 0 1px rgba(255, 255, 0, 0.2);
}

.tree-root {
  list-style: none;
  padding: 0;
  margin: 0;
  font-family: inherit;
}
.tree-root ul.tree-children {
  list-style: none;
  padding-left: 1.25rem;
  margin: 0;
}

.tree-node {
  margin: 0;
  padding: 0;
}

.tree-node-content {
  display: flex;
  align-items: center;
  padding: 0.25rem 0.5rem;
  cursor: pointer;
  border-radius: 4px;
  transition: background-color 0.15s ease;
}
.tree-node-content:hover {
  background-color: rgba(255, 255, 255, 0.1);
}

.tree-node-selected > .tree-node-content {
  background-color: rgba(95, 215, 255, 0.15);
}
.tree-node-selected > .tree-node-content:hover {
  background-color: rgba(95, 215, 255, 0.25);
}

.tree-caret {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1rem;
  height: 1rem;
  margin-right: 0.25rem;
  font-size: 0.75rem;
  color: #6272a4;
  flex-shrink: 0;
}
.tree-caret-open, .tree-caret-closed {
  cursor: pointer;
}
.tree-caret-none {
  visibility: hidden;
}

.tree-icon {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1.5rem;
  margin-right: 0.5rem;
  font-size: 1rem;
  flex-shrink: 0;
}

.tree-label {
  flex: 1;
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
}
.tree-label input[type=text] {
  background-color: #1e1e2e;
  border: 1px solid #44475a;
  color: #e4e4e7;
  padding: 2px 6px;
  border-radius: 3px;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
  max-width: 400px;
}
.tree-label input[type=text]:focus {
  outline: none;
  border-color: #5fd7ff;
}
.tree-label a {
  color: #5fd7ff;
  text-decoration: none;
}
.tree-label a:hover {
  text-decoration: underline;
}

.tree-empty {
  padding: 1rem;
  color: #6272a4;
  font-style: italic;
}

.execution-actions {
  margin-top: 1rem;
  padding-top: 1rem;
  border-top: 1px solid #44475a;
  display: flex;
  gap: 1rem;
  flex-wrap: wrap;
  align-items: flex-start;
}

.action-container {
  display: inline-block;
}

.action-result {
  margin-top: 0.5rem;
  padding: 6px 10px;
  border-radius: 4px;
  font-size: 0.9em;
}
.action-result.success {
  background-color: rgba(80, 250, 123, 0.2);
  color: #50fa7b;
  border: 1px solid #50fa7b;
}
.action-result.error {
  background-color: rgba(255, 85, 85, 0.2);
  color: #ff5555;
  border: 1px solid #ff5555;
}

.modal-overlay {
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  background-color: rgba(0, 0, 0, 0.6);
  z-index: 9000;
  display: flex;
  align-items: center;
  justify-content: center;
  animation: modal-fade-in 0.15s ease-out;
}

.modal-window {
  background-color: #282a36;
  border: 1px solid #44475a;
  border-radius: 8px;
  box-shadow: 0 8px 32px rgba(0, 0, 0, 0.4);
  display: flex;
  flex-direction: column;
  width: 90vw;
  max-width: 1200px;
  height: 80vh;
  max-height: 800px;
  overflow: hidden;
}

.modal-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 1rem 1.5rem;
  border-bottom: 1px solid #44475a;
  flex-shrink: 0;
}
.modal-header h3 {
  margin: 0;
  font-size: 1.1rem;
  color: #e4e4e7;
}

.modal-dismiss {
  background: none;
  border: none;
  color: #8a8d93;
  font-size: 1.4em;
  cursor: pointer;
  padding: 0;
  line-height: 1;
  opacity: 0.7;
  transition: opacity 0.15s ease, color 0.15s ease;
}
.modal-dismiss:hover {
  opacity: 1;
  color: #e4e4e7;
}

.modal-body {
  flex: 1;
  display: flex;
  overflow: hidden;
  min-height: 0;
}

.upgrade-modal-window {
  width: min(90vw, 640px);
  height: auto;
  max-height: none;
}

.upgrade-modal-form {
  display: flex;
  flex-direction: column;
}

.upgrade-modal-body {
  display: flex;
  flex-direction: column;
  gap: 1rem;
  padding: 1.5rem;
}

.upgrade-modal-copy {
  color: #8a8d93;
  line-height: 1.5;
}

.upgrade-modal-digests {
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
  padding: 1rem;
  background-color: #21222c;
  border: 1px solid #44475a;
  border-radius: 4px;
}

.upgrade-modal-digest-row {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.upgrade-modal-digest-label {
  color: #5fd7ff;
  font-size: 0.85em;
  font-weight: 600;
}

.upgrade-modal-digest-value {
  color: #e4e4e7;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.8em;
  overflow-wrap: anywhere;
}

.upgrade-modal-checkbox {
  align-self: flex-start;
}

.modal-footer {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: 1rem;
  padding: 1rem 1.5rem;
  border-top: 1px solid #44475a;
  flex-shrink: 0;
}

.modal-footer-left {
  display: flex;
  align-items: center;
  gap: 1.5rem;
  margin-right: auto;
}

.modal-checkbox {
  display: flex;
  align-items: center;
  gap: 0.25rem;
  font-size: 0.85em;
  color: #e4e4e7;
  cursor: pointer;
}
.modal-checkbox input[type=checkbox] {
  cursor: pointer;
}
.modal-checkbox.disabled {
  color: #65737e;
  cursor: default;
}
.modal-checkbox.disabled input[type=checkbox] {
  cursor: default;
}

.modal-pane-left {
  width: 40%;
  border-right: 1px solid #44475a;
  overflow-y: auto;
  padding: 0.5rem 0;
}

.modal-pane-right {
  width: 60%;
  overflow-y: auto;
  padding: 1rem;
}

.captured-write-item {
  padding: 0.5rem 1rem;
  cursor: pointer;
  border-left: 3px solid transparent;
  transition: background-color 0.15s ease, border-color 0.15s ease;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
  color: #e4e4e7;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.captured-write-item:hover {
  background-color: #4f4f4f;
}
.captured-write-item.selected {
  background-color: rgba(95, 215, 255, 0.1);
  border-left-color: #5fd7ff;
}

.captured-write-toggle {
  display: inline-block;
  width: 1em;
  text-align: center;
  color: #65737e;
  user-select: none;
}

.captured-write-kind {
  color: #f1fa8c;
}

.captured-write-detail {
  color: #65737e;
  margin-left: 0.5rem;
}

.captured-write-events {
  padding: 0.25rem 0 0.25rem 1.5rem;
  border-left: 1px solid #44475a;
  margin-left: 1rem;
}

.modal-blocked-status {
  flex: 1;
  display: flex;
  align-items: center;
  justify-content: center;
}
.modal-blocked-status p {
  color: #8a8d93;
  font-style: italic;
  font-size: 1rem;
}

.advance-backtrace .backtrace-empty {
  color: #65737e;
  font-style: italic;
}
.advance-backtrace .frame-container {
  margin-bottom: 1rem;
}
.advance-backtrace .frame-info {
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
  color: #8a8d93;
  padding: 0.25rem 0;
}
.advance-backtrace .symbol-info {
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.8em;
  color: #65737e;
  padding-left: 1rem;
}

@keyframes modal-fade-in {
  from {
    opacity: 0;
  }
  to {
    opacity: 1;
  }
}
.version-slider-container {
  background-color: #21222c;
  border: 1px solid #44475a;
  border-radius: 4px;
  padding: 1rem;
  margin-bottom: 1rem;
}

.version-slider-header {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  margin-bottom: 0.5rem;
  font-size: 0.85em;
}

.version-slider-label {
  color: #8a8d93;
}

.version-slider-current {
  font-weight: bold;
  color: #5fd7ff;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
}

.version-slider-range {
  color: #65737e;
  font-size: 0.8em;
}

.version-slider-track-container {
  position: relative;
  height: 30px;
  margin: 0.5rem 0;
}

.version-slider-input {
  -webkit-appearance: none;
  appearance: none;
  width: 100%;
  height: 8px;
  background: #44475a;
  border-radius: 3px;
  outline: none;
  cursor: pointer;
  position: relative;
  z-index: 2;
}
.version-slider-input::-webkit-slider-thumb {
  -webkit-appearance: none;
  appearance: none;
  width: 18px;
  height: 18px;
  background: #5fd7ff;
  border-radius: 50%;
  cursor: grab;
  border: 2px solid #1e1e2e;
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.2);
  transition: transform 0.15s ease, background-color 0.15s ease;
}
.version-slider-input::-webkit-slider-thumb:hover {
  transform: scale(1.15);
  background: rgb(146, 227.75, 255);
}
.version-slider-input::-webkit-slider-thumb:active {
  cursor: grabbing;
  transform: scale(1.1);
}
.version-slider-input::-moz-range-thumb {
  width: 18px;
  height: 18px;
  background: #5fd7ff;
  border-radius: 50%;
  cursor: grab;
  border: 2px solid #1e1e2e;
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.2);
  transition: transform 0.15s ease, background-color 0.15s ease;
}
.version-slider-input::-moz-range-thumb:hover {
  transform: scale(1.15);
  background: rgb(146, 227.75, 255);
}
.version-slider-input::-moz-range-thumb:active {
  cursor: grabbing;
  transform: scale(1.1);
}
.version-slider-input::-moz-range-track {
  background: #44475a;
  height: 8px;
  border-radius: 3px;
}

.version-slider-ticks {
  position: absolute;
  top: 0;
  left: 9px;
  right: 9px;
  height: 100%;
  pointer-events: none;
  z-index: 1;
}

.version-slider-tick {
  position: absolute;
  width: 4px;
  height: 4px;
  background: #8a8d93;
  border-radius: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
  transition: background-color 0.15s ease, transform 0.15s ease;
}
.version-slider-tick.selected {
  background: #5fd7ff;
  transform: translate(-50%, -50%) scale(1.5);
}

.version-slider-labels {
  display: flex;
  justify-content: space-between;
  font-size: 0.8em;
  color: #65737e;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  margin-top: 0.25rem;
}

.version-slider-empty {
  color: #65737e;
  font-style: italic;
  padding: 1rem;
  text-align: center;
}

.notification-container {
  position: fixed;
  bottom: 1.5rem;
  right: 1.5rem;
  z-index: 9999;
  display: flex;
  flex-direction: column-reverse;
  gap: 0.5rem;
  max-width: 400px;
  pointer-events: none;
}

.notification-toast {
  display: flex;
  align-items: flex-start;
  gap: 0.5rem;
  padding: 1rem;
  border-radius: 6px;
  box-shadow: 0 2px 10px rgba(0, 0, 0, 0.2), 0 4px 20px rgba(0, 0, 0, 0.3);
  pointer-events: auto;
  animation: notification-slide-in 0.3s ease-out;
  transition: opacity 0.3s ease, transform 0.3s ease;
  border: 1px solid;
  background-color: #21222c;
  border-color: #6272a4;
  color: #e4e4e7;
}

.notification-fading-out {
  opacity: 0;
  transform: translateX(100%);
}

.notification-success {
  background-color: rgba(80, 250, 123, 0.15);
  border-color: #50fa7b;
}
.notification-success .notification-icon {
  color: #50fa7b;
}

.notification-error {
  background-color: rgba(255, 85, 85, 0.15);
  border-color: #ff5555;
}
.notification-error .notification-icon {
  color: #ff5555;
}

.notification-info {
  background-color: rgba(95, 215, 255, 0.15);
  border-color: #5fd7ff;
}
.notification-info .notification-icon {
  color: #5fd7ff;
}

.notification-icon {
  flex-shrink: 0;
  font-size: 1.2em;
  line-height: 1;
  padding-top: 2px;
}

.notification-message {
  flex-grow: 1;
  line-height: 1.5;
  word-break: break-word;
}

.notification-dismiss {
  flex-shrink: 0;
  background: none;
  border: none;
  color: #8a8d93;
  font-size: 1.4em;
  line-height: 1;
  cursor: pointer;
  padding: 0;
  margin-left: 0.5rem;
  opacity: 0.7;
  transition: opacity 0.15s ease, color 0.15s ease;
}
.notification-dismiss:hover {
  opacity: 1;
  color: #e4e4e7;
}

@keyframes notification-slide-in {
  from {
    opacity: 0;
    transform: translateX(100%);
  }
  to {
    opacity: 1;
    transform: translateX(0);
  }
}
.trace-layout-container {
  display: flex;
  gap: 1.5rem;
  margin-top: 1.5rem;
}

.trace-view {
  flex-shrink: 0;
  min-width: 400px;
  max-width: 900px;
  resize: horizontal;
  overflow: auto;
  padding: 1rem;
  border: 1px solid #44475a;
  border-radius: 4px;
  background-color: #21222c;
}
.trace-view .step a {
  display: inline-block;
  padding: 0.4em 0.8em;
  margin-right: 0.75rem;
  margin-bottom: 1.5rem;
  background-color: #44475a;
  color: #e4e4e7;
  text-decoration: none;
  border-radius: 4px;
  font-size: 0.9em;
  transition: background-color 0.2s ease;
}
.trace-view .step a.bold {
  font-weight: bold;
}
.trace-view .step a:hover {
  background-color: #6272a4;
}
.trace-view .step span.disabled {
  padding: 0.4em 0.8em;
  margin-right: 0.75rem;
  margin-bottom: 1.5rem;
  background-color: #3a3f4c;
  color: #8a8d93;
  border-radius: 4px;
  font-size: 0.9em;
  opacity: 0.7;
  cursor: not-allowed;
}
.trace-view > p {
  margin: 0 0 0.75rem 0;
  padding-top: 0.75rem;
  border-top: 1px dashed #44475a;
  font-size: 0.95em;
  line-height: 1.4;
}
.trace-view > p:first-of-type {
  border-top: none;
  padding-top: 0;
}
.trace-view > p:has(+ .code-block-container) {
  margin-bottom: 0.5rem;
  padding-bottom: 0.25rem;
  border-bottom: none;
}

.trace-detail {
  flex-grow: 1;
  flex-shrink: 1;
  flex-basis: 0;
  min-width: 300px;
  padding: 1rem;
  border: 1px solid #44475a;
  border-radius: 4px;
  background-color: #21222c;
  overflow-y: auto;
}
.trace-detail > .bp3-tree {
  margin-bottom: 1.25rem;
}
.trace-detail > .bp3-tree:last-child {
  margin-bottom: 0;
}

.step-row {
  display: flex;
  align-items: center;
  padding: 0.25rem 0.5rem;
  border-radius: 4px;
}
.step-row:hover {
  background-color: rgba(255, 255, 255, 0.1);
}

.step-icon {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1rem;
  margin-right: 0.25rem;
  flex-shrink: 0;
}

.step-name {
  flex-grow: 1;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  min-width: 0;
}
.step-name a {
  color: #5fd7ff;
  text-decoration: none;
}
.step-name a:hover {
  text-decoration: underline;
}

.step-status {
  margin-left: 10px;
  margin-right: 10px;
}

.relative-duration-container {
  width: 200px;
  height: 10px;
  margin-left: auto;
  flex-shrink: 0;
}

.total-duration-line {
  height: 100%;
  background-color: #ddd;
  position: relative;
}

.busy-duration-line {
  position: absolute;
  height: 100%;
}

.busy-http-trace-finished,
.busy-execution-finished {
  background-color: #4CAF50;
}

.busy-http-trace-unfinished,
.busy-execution-unfinished {
  background-color: #fff307;
}

.busy-http-trace-error,
.busy-execution-returned-error-variant {
  background-color: #FF5722;
}

.busy-execution-timeout-temporary {
  background-color: #FFC107;
}

.busy-execution-timeout-permanent {
  background-color: #FF9800;
}

.busy-execution-error-temporary {
  background-color: #FFEB3B;
}

.busy-execution-error-permanent {
  background-color: #F44336;
}

.busy-execution-locked {
  background-color: #27b0a7;
}

.busy-execution-since-scheduled {
  background-color: #999998;
}

.indented-children {
  margin-left: 20px;
}

.timeline-container {
  display: flex;
  flex-direction: column;
  padding: 20px;
  font-family: "Arial", sans-serif;
  background-color: #282a36;
  border-top: 1px solid #44475a;
}

.loading-details {
  padding: 20px;
}

.timeline-row {
  display: flex;
  position: relative;
  min-height: 60px;
}

.timeline-left {
  display: flex;
  flex-direction: column;
  align-items: center;
  min-width: 50px;
  margin-right: 10px;
  flex-shrink: 0;
}

.version-circle {
  width: 30px;
  height: 30px;
  border-radius: 50%;
  background-color: #21222c;
  border: 2px solid #6272a4;
  color: #e4e4e7;
  display: flex;
  align-items: center;
  justify-content: center;
  font-weight: bold;
  font-size: 11px;
  z-index: 2;
  margin-top: 10px;
}
.version-circle.is-created {
  border-color: #50fa7b;
  color: #50fa7b;
  background: rgba(80, 250, 123, 0.1);
}
.version-circle.is-finished {
  border-color: #44475a;
  color: #f8f8f2;
  background: #44475a;
}
.version-circle.is-error {
  border-color: #ff5555;
  color: #ff5555;
  background: rgba(255, 85, 85, 0.1);
}

.timeline-line {
  width: 2px;
  background-color: #44475a;
  flex-grow: 1;
}

.timeline-content {
  background-color: #21222c;
  border: 1px solid #44475a;
  color: #e4e4e7;
  border-radius: 6px;
  padding: 10px 15px;
  flex-grow: 1;
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.2);
  position: relative;
  margin-bottom: 10px;
  margin-top: 5px;
}

.timeline-meta {
  display: flex;
  justify-content: space-between;
  align-items: center;
  font-size: 0.85em;
  color: #8a8d93;
  margin-bottom: 8px;
  border-bottom: 1px solid #44475a;
  padding-bottom: 5px;
}

.event-duration {
  font-weight: bold;
}

.logs-options {
  margin: 10px 0;
}
.logs-options .run-id {
  cursor: pointer;
  display: flex;
  align-items: center;
  gap: 5px;
}

.logs-list {
  padding: 10px;
  border-radius: 4px;
  overflow-x: auto;
}

.logs-controls {
  margin-top: 10px;
}
.logs-controls button {
  padding: 8px 16px;
  cursor: pointer;
}

.log-row .time {
  color: gray;
  margin-right: 10px;
}
.log-row .run-id {
  margin-right: 8px;
  color: #888;
}
.log-row .kind {
  margin-right: 10px;
}
.log-row .kind.kind-trace, .log-row .kind.kind-debug, .log-row .kind.kind-info, .log-row .kind.kind-stdout {
  color: rgb(66, 66, 172);
}
.log-row .kind.kind-warn {
  color: orange;
}
.log-row .kind.kind-error, .log-row .kind.kind-stderr {
  color: red;
}
.log-row .payload {
  white-space: pre-wrap;
}

.world-definition,
.types-interface {
  margin-top: 20px;
}

h3 .highlight {
  color: #5fd7ff;
}

.types-interface p {
  margin: 10px 0;
  font-size: 14px;
  line-height: 1.6;
}
.types-interface ul li span {
  color: #50fa7b;
}

.function-picker-columns {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1rem;
  min-height: 400px;
  max-height: 60vh;
  margin-top: 1rem;
}

.function-picker-column {
  display: flex;
  flex-direction: column;
  min-height: 0;
  background-color: #21222c;
  border: 1px solid #44475a;
  border-radius: 4px;
  overflow: hidden;
}

.function-picker-column-title {
  padding: 1rem;
  border-bottom: 1px solid #44475a;
  color: #5fd7ff;
  font-size: 0.85em;
  font-weight: 600;
}

.function-picker-list {
  display: flex;
  flex: 1;
  flex-direction: column;
  gap: 1px;
  overflow-y: auto;
  padding: 0.25rem;
}

.function-picker-option {
  width: 100%;
  padding: 0.5rem 1rem;
  background-color: transparent;
  border: 0;
  border-radius: 3px;
  color: #e4e4e7;
  cursor: pointer;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
  text-align: left;
  transition: background-color 0.15s ease, color 0.15s ease;
}
.function-picker-option:hover {
  background-color: #4f4f4f;
}
.function-picker-option.selected {
  background-color: rgba(95, 215, 255, 0.16);
  color: #5fd7ff;
}

.schedule-section {
  border-top: 1px solid #44475a;
  padding-top: 1rem;
  margin-top: 0.5rem;
}

.schedule-options {
  margin-top: 0.5rem;
  margin-left: 1.5rem;
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
}

.schedule-mode-row,
.schedule-detail-row {
  display: flex;
  align-items: center;
  gap: 1rem;
}
.schedule-mode-row label,
.schedule-detail-row label {
  width: auto;
  min-width: 100px;
}
.schedule-mode-row select,
.schedule-mode-row input[type=text],
.schedule-mode-row input[type=number],
.schedule-detail-row select,
.schedule-detail-row input[type=text],
.schedule-detail-row input[type=number] {
  padding: 5px 8px;
  background-color: #1e1e2e;
  border: 1px solid #44475a;
  border-radius: 4px;
  color: #f8f8f2;
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  font-size: 0.85em;
}
.schedule-mode-row select:focus,
.schedule-mode-row input[type=text]:focus,
.schedule-mode-row input[type=number]:focus,
.schedule-detail-row select:focus,
.schedule-detail-row input[type=text]:focus,
.schedule-detail-row input[type=number]:focus {
  outline: none;
  border-color: #5fd7ff;
}
.schedule-mode-row input[type=number],
.schedule-detail-row input[type=number] {
  width: 80px;
}
.schedule-mode-row .schedule-tz-label,
.schedule-detail-row .schedule-tz-label {
  color: #65737e;
  font-size: 0.85em;
  white-space: nowrap;
}

@media (max-width: 900px) {
  .function-picker-columns {
    grid-template-columns: 1fr;
  }
}