@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("/fonts/jetbrains-mono-cyrillic.woff2") format("woff2");
  unicode-range: U+0301, U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("/fonts/jetbrains-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+2000-206F, U+2122, U+2191, U+2193, U+2212, U+2215;
}

:root {
  --bg: #fafafa;
  --ink: #1a1a1a;
  --accent: #e8590c;
  --danger: #d32f2f;
  --surface: #ffffff;
  --border: #d8d8d8;
  --grid-dot: #e3e3e3;
  --shadow: 0 2px 8px rgba(0, 0, 0, 0.08);
  --font-mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Consolas, monospace;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  height: 100%;
}

body {
  font-family: var(--font-mono);
  background: var(--bg);
  color: var(--ink);
  overflow: hidden;
  user-select: none;
  -webkit-user-select: none;
}

input,
textarea,
select {
  user-select: text;
}

#canvas {
  position: fixed;
  inset: 0;
}

.net-canvas {
  width: 100%;
  height: 100%;
  display: block;
  background: var(--bg);
  touch-action: none;
}

.grid-dot {
  fill: var(--grid-dot);
}

.node.place circle:first-child {
  fill: var(--surface);
  stroke: var(--ink);
  stroke-width: 1.5;
}

.node.place.selected circle:first-child {
  stroke: var(--accent);
  stroke-width: 2;
}

.node.pending-arc-source circle:first-child,
.node.pending-arc-source rect {
  stroke: var(--accent);
  stroke-width: 2;
  stroke-dasharray: 4 3;
}

.node.fired circle:first-child {
  stroke: var(--accent);
  stroke-width: 2.5;
}

.node.fired rect {
  fill: var(--accent);
  stroke: var(--accent);
}

.node.transition.fireable rect {
  stroke: var(--accent);
  stroke-width: 2.5;
  animation: fireable-pulse 1.4s ease-in-out infinite;
}

.node.transition.fireable {
  cursor: pointer;
}

@keyframes fireable-pulse {
  0%,
  100% {
    stroke-opacity: 1;
  }
  50% {
    stroke-opacity: 0.35;
  }
}

.token-dot {
  fill: var(--ink);
}

.token-count {
  font-family: var(--font-mono);
  font-size: 13px;
  text-anchor: middle;
  dominant-baseline: central;
  fill: var(--ink);
}

.node.transition rect {
  fill: var(--ink);
  stroke: var(--ink);
}

.node.transition.selected rect {
  fill: var(--accent);
  stroke: var(--accent);
}

.node-label {
  font-family: var(--font-mono);
  font-size: 12px;
  text-anchor: middle;
  fill: var(--ink);
}

.interval-label {
  font-family: var(--font-mono);
  font-size: 11px;
  text-anchor: middle;
  fill: #555555;
}

.arc {
  stroke: var(--ink);
  stroke-width: 1.5;
}

.arc-group.selected .arc {
  stroke: var(--accent);
  stroke-width: 2;
}

.arrow-fill {
  fill: var(--ink);
}

.arc-weight-bg {
  fill: var(--bg);
}

.arc-weight-label {
  font-family: var(--font-mono);
  font-size: 11px;
  text-anchor: middle;
  dominant-baseline: central;
  fill: var(--ink);
}

.toolbar {
  position: fixed;
  top: 50%;
  left: 16px;
  transform: translateY(-50%);
  display: flex;
  flex-direction: column;
  gap: 6px;
  padding: 8px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: var(--shadow);
  z-index: 10;
}

.toolbar-button {
  width: 40px;
  height: 40px;
  padding: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  border-radius: 8px;
  border: 1px solid transparent;
  background: transparent;
  color: var(--ink);
  cursor: pointer;
}

.toolbar-button svg {
  width: 20px;
  height: 20px;
}

.toolbar-button:hover {
  background: var(--bg);
  border-color: var(--border);
}

.toolbar-button.active {
  background: var(--bg);
  border-color: var(--accent);
  color: var(--accent);
}

.toolbar-button:disabled {
  opacity: 0.35;
  cursor: default;
}

.toolbar-button:disabled:hover {
  background: transparent;
  border-color: transparent;
  color: var(--ink);
}

.inspector {
  position: fixed;
  top: 50%;
  right: 16px;
  transform: translateY(-50%);
  width: 220px;
  padding: 14px;
  display: flex;
  flex-direction: column;
  gap: 12px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: var(--shadow);
  z-index: 10;
}

.inspector.hidden {
  display: none;
}

.panel-title {
  font-size: 13px;
  font-weight: 700;
  color: var(--ink);
}

.modal-title {
  font-size: 15px;
  font-weight: 700;
  color: var(--ink);
  margin-bottom: 14px;
}

.modal-form {
  display: flex;
  flex-direction: column;
  gap: 12px;
}

.field {
  display: flex;
  flex-direction: column;
  gap: 4px;
  font-size: 11px;
  color: #555555;
}

.field input {
  font-family: var(--font-mono);
  font-size: 13px;
  padding: 6px 8px;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: var(--bg);
  color: var(--ink);
  width: 100%;
}

.field input:focus {
  outline: none;
  border-color: var(--accent);
}

.field-row {
  display: flex;
  gap: 6px;
}

.field-row input {
  flex: 1;
  min-width: 0;
}

.infinity-button {
  flex-shrink: 0;
  width: 34px;
  font-family: var(--font-mono);
  font-size: 14px;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: var(--bg);
  color: var(--ink);
  cursor: pointer;
}

.infinity-button:hover {
  border-color: var(--accent);
  color: var(--accent);
}

.context-menu {
  position: fixed;
  display: flex;
  flex-direction: column;
  gap: 2px;
  padding: 6px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 10px;
  box-shadow: var(--shadow);
  z-index: 25;
}

.context-menu.hidden {
  display: none;
}

.context-menu-item {
  font-family: var(--font-mono);
  font-size: 13px;
  text-align: left;
  padding: 8px 12px;
  border-radius: 6px;
  border: none;
  background: transparent;
  color: var(--ink);
  cursor: pointer;
  white-space: nowrap;
}

.context-menu-item:hover {
  background: var(--bg);
  color: var(--accent);
}

.modal-actions {
  display: flex;
  justify-content: flex-end;
  margin-top: 4px;
}

.modal-primary {
  font-family: var(--font-mono);
  font-size: 13px;
  padding: 8px 16px;
  border-radius: 8px;
  border: 1px solid var(--accent);
  background: var(--accent);
  color: var(--surface);
  cursor: pointer;
}

.modal-primary:hover {
  opacity: 0.9;
}

.menubar {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  height: 40px;
  display: flex;
  align-items: center;
  gap: 2px;
  padding: 0 10px;
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  z-index: 20;
}

.menu {
  position: relative;
}

.menu-trigger {
  font-family: var(--font-mono);
  font-size: 13px;
  padding: 6px 12px;
  border-radius: 6px;
  border: 1px solid transparent;
  background: transparent;
  color: var(--ink);
  cursor: pointer;
}

.menu-trigger:hover {
  background: var(--bg);
}

.menu-dropdown {
  position: absolute;
  top: calc(100% + 4px);
  left: 0;
  min-width: 160px;
  display: flex;
  flex-direction: column;
  padding: 6px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 10px;
  box-shadow: var(--shadow);
}

.menu-dropdown.hidden {
  display: none;
}

.menu-item {
  font-family: var(--font-mono);
  font-size: 13px;
  text-align: left;
  padding: 8px 10px;
  border-radius: 6px;
  border: none;
  background: transparent;
  color: var(--ink);
  cursor: pointer;
}

.menu-item:hover {
  background: var(--bg);
  color: var(--accent);
}

.menu-item:disabled {
  opacity: 0.4;
  cursor: default;
}

.menu-item:disabled:hover {
  background: transparent;
  color: var(--ink);
}

.menu-item-check {
  display: flex;
  align-items: center;
  gap: 2px;
}

.menu-check {
  display: inline-block;
  width: 16px;
  flex-shrink: 0;
  color: var(--accent);
}

.open-panel {
  position: fixed;
  top: 50px;
  left: 50%;
  transform: translateX(-50%);
  width: 260px;
  max-height: 320px;
  overflow-y: auto;
  display: flex;
  flex-direction: column;
  gap: 4px;
  padding: 12px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: var(--shadow);
  z-index: 20;
}

.open-panel.hidden {
  display: none;
}

.open-panel-item {
  font-family: var(--font-mono);
  font-size: 13px;
  text-align: left;
  padding: 8px 10px;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: var(--bg);
  color: var(--ink);
  cursor: pointer;
}

.open-panel-item:hover {
  border-color: var(--accent);
  color: var(--accent);
}

.open-panel-empty {
  font-size: 12px;
  color: #777777;
  padding: 8px 4px;
}

.open-panel-close {
  margin-top: 4px;
  font-family: var(--font-mono);
  font-size: 12px;
  padding: 6px 10px;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: transparent;
  color: #555555;
  cursor: pointer;
}

.status {
  position: fixed;
  top: 50px;
  left: 50%;
  transform: translateX(-50%);
  padding: 8px 16px;
  background: var(--ink);
  color: var(--surface);
  border-radius: 8px;
  font-family: var(--font-mono);
  font-size: 12px;
  box-shadow: var(--shadow);
  z-index: 30;
}

.status.hidden {
  display: none;
}

.hidden-file-input {
  display: none;
}


.modal-backdrop {
  position: fixed;
  inset: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  background: rgba(26, 26, 26, 0.35);
  z-index: 40;
}

.modal-backdrop.hidden {
  display: none;
}

.modal-box {
  position: relative;
  width: min(420px, calc(100vw - 32px));
  max-height: calc(100vh - 64px);
  overflow-y: auto;
  padding: 24px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: var(--shadow);
}

.modal-close {
  position: absolute;
  top: 10px;
  right: 10px;
  width: 28px;
  height: 28px;
  border-radius: 8px;
  border: 1px solid transparent;
  background: transparent;
  color: var(--ink);
  font-size: 16px;
  cursor: pointer;
}

.modal-close:hover {
  background: var(--bg);
  border-color: var(--border);
}

.help-content h2 {
  margin: 0 0 4px;
  font-size: 16px;
}

.help-content h3 {
  margin: 18px 0 6px;
  font-size: 13px;
  color: var(--accent);
}

.help-content p {
  margin: 0;
  font-size: 12px;
  line-height: 1.5;
  color: #333333;
}

.help-content ul {
  margin: 0;
  padding-left: 18px;
  font-size: 12px;
  line-height: 1.7;
  color: #333333;
}

.simconsole {
  position: fixed;
  bottom: 16px;
  left: 50%;
  transform: translateX(-50%);
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 8px;
  z-index: 15;
}

.sim-controls {
  display: flex;
  flex-direction: column;
  gap: 4px;
  padding: 8px 10px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: var(--shadow);
}

.sim-controls-row {
  display: flex;
  align-items: center;
  gap: 6px;
}

.sim-time-input {
  flex-shrink: 0;
  width: 52px;
  min-width: 0;
  font-family: var(--font-mono);
  font-size: 13px;
  padding: 6px 4px;
  border-radius: 8px;
  border: 1px solid var(--border);
  background: var(--bg);
  color: var(--ink);
  text-align: center;
}

.sim-time-input:focus {
  outline: none;
  border-color: var(--accent);
}

.sim-time-input:disabled {
  opacity: 0.4;
}

.sim-sep {
  flex-shrink: 0;
  width: 1px;
  height: 22px;
  background: var(--border);
}

.sim-icon-btn {
  flex-shrink: 0;
  width: 32px;
  height: 32px;
  display: flex;
  align-items: center;
  justify-content: center;
  border-radius: 8px;
  border: 1px solid var(--border);
  background: var(--surface);
  color: var(--ink);
  cursor: pointer;
}

.sim-icon-btn svg {
  width: 17px;
  height: 17px;
}

.sim-icon-btn:not(:disabled):hover {
  border-color: var(--accent);
  color: var(--accent);
}

.sim-icon-btn:disabled {
  opacity: 0.35;
  cursor: default;
}

.sim-icon-btn.active {
  border-color: var(--accent);
  color: var(--accent);
  background: var(--bg);
}

.sim-icon-btn[data-role="record"].active {
  border-color: var(--danger);
  color: var(--danger);
}

.sim-hint {
  font-size: 11px;
  color: #777777;
  line-height: 1.4;
  padding: 0 2px;
}

.sim-hint.hidden {
  display: none;
}

.sim-timeline {
  display: flex;
  align-items: center;
  max-width: min(920px, calc(100vw - 24px));
  overflow-x: auto;
  padding: 10px 14px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: var(--shadow);
}

.sim-timeline-empty {
  font-size: 12px;
  color: #777777;
  padding: 4px 8px;
  white-space: nowrap;
}

.seq-dot {
  flex-shrink: 0;
  width: 10px;
  height: 10px;
  margin: 0 5px;
  padding: 0;
  border-radius: 50%;
  border: 1.5px solid var(--border);
  background: var(--surface);
  cursor: pointer;
}

.seq-dot:hover {
  border-color: var(--accent);
}

.seq-dot.current {
  background: var(--accent);
  border-color: var(--accent);
}

.seq-chip {
  flex-shrink: 0;
  font-family: var(--font-mono);
  font-size: 12px;
  padding: 4px 10px;
  border-radius: 999px;
  border: 1px solid var(--border);
  white-space: nowrap;
}

.seq-chip-transition {
  background: var(--ink);
  color: var(--surface);
  border-color: var(--ink);
}

.seq-chip-number {
  background: var(--bg);
  color: #777777;
  border-color: transparent;
  padding: 4px 8px;
}