/* ============================================================
   Réseau de Petri — Cuisine · Styles
   ============================================================ */

@import url('https://fonts.googleapis.com/css2?family=Nunito:wght@400;600;700;800&family=Fira+Code:wght@400;500&display=swap');

:root {
  --bg:              #f7f4ef;
  --surface:         #ffffff;
  --surface-soft:    #f0ece4;
  --border:          #ddd8ce;
  --text:            #2c2a25;
  --text-soft:       #7a7060;
  --accent:          #d4662a;       /* orange terre cuite */
  --accent-light:    #faeee5;
  --accent2:         #3a8f7a;       /* vert sauge */
  --accent2-light:   #e4f4ef;
  --chef-color:      #c25a1e;
  --cook-color:      #2e7d65;
  --resource-color:  #7156a5;
  --token:           #e8a020;
  --token-glow:      rgba(232, 160, 32, 0.4);
  --place-fill:      #fefcf8;
  --trans-fill:      #f2ede4;
  --shadow-sm:       0 1px 4px rgba(0,0,0,0.08);
  --shadow-md:       0 4px 16px rgba(0,0,0,0.10);
  --radius:          12px;
}

/* ── Reset ── */
*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

body {
  background: var(--bg);
  background-image: 
    linear-gradient(rgba(247, 244, 239, 0.82), rgba(247, 244, 239, 0.82)),
    url('tiramisu.png');
  background-size: cover;
  background-position: center;
  background-attachment: fixed;
  color: var(--text);
  font-family: 'Nunito', sans-serif;
  min-height: 100vh;
  overflow-x: hidden;
  font-size: 15px;
}

/* ── Header ── */
header {
  background: var(--surface);
  border-bottom: 1px solid var(--border);
  padding: 1.4rem 2.5rem;
  display: flex;
  align-items: center;
  gap: 1.5rem;
  flex-wrap: wrap;
  box-shadow: var(--shadow-sm);
}

.header-icon {
  font-size: 2.2rem;
  line-height: 1;
}

.title-block h1 {
  font-size: 1.5rem;
  font-weight: 800;
  color: var(--text);
  letter-spacing: -0.02em;
  line-height: 1.1;
}

.title-block h1 span {
  color: var(--accent);
}

.title-block p {
  font-size: 0.78rem;
  color: var(--text-soft);
  margin-top: 0.2rem;
  font-family: 'Fira Code', monospace;
}

.step-counter {
  margin-left: auto;
  background: var(--surface-soft);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 0.45rem 1rem;
  font-family: 'Fira Code', monospace;
  font-size: 0.82rem;
  color: var(--text-soft);
}

.step-counter strong {
  color: var(--accent);
  font-weight: 700;
}

/* ── Layout ── */
.main {
  display: grid;
  grid-template-columns: 1fr 300px;
  height: calc(100vh - 72px);
}

/* ── Canvas zone ── */
.canvas-zone {
  padding: 1.4rem 1.8rem;
  position: relative;
  overflow: hidden;
  border-right: 1px solid var(--border);
  background: var(--bg);
}

/* ── Légende ── */
.legend {
  display: flex;
  gap: 1.2rem;
  margin-bottom: 1rem;
  flex-wrap: wrap;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 0.6rem 1rem;
  box-shadow: var(--shadow-sm);
}

.legend-item {
  display: flex;
  align-items: center;
  gap: 0.4rem;
  font-size: 0.74rem;
  color: var(--text-soft);
  font-weight: 600;
}

.legend-dot {
  width: 11px;
  height: 11px;
  border-radius: 50%;
  border: 2.5px solid;
  background: var(--place-fill);
  flex-shrink: 0;
}

.legend-rect {
  width: 14px;
  height: 9px;
  border-radius: 2px;
  background: var(--trans-fill);
  border: 1.5px solid var(--text-soft);
  flex-shrink: 0;
}

.legend-token {
  width: 11px;
  height: 11px;
  border-radius: 50%;
  background: var(--token);
  flex-shrink: 0;
  box-shadow: 0 0 5px var(--token-glow);
}

/* ── SVG ── */
svg#petri {
  width: 100%;
  height: calc(100% - 56px);
  display: block;
}

/* places */
.place-circle {
  fill: var(--place-fill);
  stroke-width: 2.5;
  transition: filter 0.35s, stroke 0.35s;
  cursor: pointer;
  filter: drop-shadow(0 1px 2px rgba(0,0,0,0.10));
}

.place-circle.active {
  filter: drop-shadow(0 0 10px currentColor);
}

.place-label {
  font-family: 'Fira Code', monospace;
  font-size: 10px;
  font-weight: 500;
  fill: var(--text-soft);
  text-anchor: middle;
  pointer-events: none;
}

.place-name {
  font-family: 'Nunito', sans-serif;
  font-size: 9px;
  font-weight: 600;
  fill: #9a9080;
  text-anchor: middle;
  pointer-events: none;
}

/* transitions */
.transition-rect {
  fill: var(--trans-fill);
  stroke: #bbb5a8;
  stroke-width: 2;
  transition: fill 0.3s, stroke 0.3s, filter 0.3s;
  cursor: pointer;
}

.transition-rect.fireable {
  stroke: var(--accent);
  fill: #fff0e8;
  filter: drop-shadow(0 0 7px rgba(212, 102, 42, 0.55));
}

.transition-rect.fired {
  fill: #e8f5ee;
  stroke: var(--accent2);
  filter: drop-shadow(0 0 8px rgba(58, 143, 122, 0.5));
}

.trans-label {
  font-family: 'Fira Code', monospace;
  font-size: 9px;
  fill: var(--text);
  text-anchor: middle;
  dominant-baseline: middle;
  pointer-events: none;
}

/* tokens */
.token {
  fill: var(--token);
  filter: drop-shadow(0 0 5px var(--token-glow));
  pointer-events: none;
}

/* arcs */
.arc {
  stroke: #c8c2b6;
  stroke-width: 1.5;
  fill: none;
  opacity: 0.7;
  marker-end: url(#arrowhead);
  transition: stroke 0.3s, opacity 0.3s, stroke-width 0.3s;
}

.arc.highlight-arc {
  stroke: var(--accent);
  opacity: 1;
  stroke-width: 2.5;
  marker-end: url(#arrowhead-active);
}

/* row labels & backgrounds */
.row-label {
  font-family: 'Fira Code', monospace;
  font-size: 9.5px;
  font-weight: 500;
  fill: #aaa098;
  letter-spacing: 0.07em;
}

/* ── Tooltip ── */
.tooltip {
  position: fixed;
  background: var(--surface);
  border: 1px solid var(--border);
  border-left: 3px solid var(--accent);
  border-radius: 8px;
  padding: 0.55rem 0.85rem;
  font-family: 'Nunito', sans-serif;
  font-size: 0.78rem;
  font-weight: 600;
  color: var(--text);
  pointer-events: none;
  opacity: 0;
  transition: opacity 0.18s;
  z-index: 999;
  max-width: 200px;
  line-height: 1.55;
  white-space: pre-line;
  box-shadow: var(--shadow-md);
}

.tooltip.visible { opacity: 1; }

/* ── Side panel ── */
.side-panel {
  display: flex;
  flex-direction: column;
  background: var(--surface);
  overflow-y: auto;
}

.panel-section {
  padding: 1.2rem 1.4rem;
  border-bottom: 1px solid var(--border);
}

.panel-section h3 {
  font-size: 0.68rem;
  text-transform: uppercase;
  letter-spacing: 0.13em;
  color: var(--text-soft);
  margin-bottom: 0.85rem;
  font-family: 'Fira Code', monospace;
}

/* state cards */
.state-card {
  background: var(--surface-soft);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 0.85rem 1rem;
  margin-bottom: 0.65rem;
}

.state-card:last-child { margin-bottom: 0; }

.card-title {
  font-size: 0.82rem;
  font-weight: 800;
  margin-bottom: 0.45rem;
  display: flex;
  align-items: center;
  gap: 0.4rem;
}

.card-title.chef     { color: var(--chef-color); }
.card-title.cook     { color: var(--cook-color); }
.card-title.resource { color: var(--resource-color); }

.token-indicator {
  display: flex;
  align-items: center;
  gap: 0.45rem;
  font-size: 0.76rem;
  font-weight: 600;
  margin: 0.22rem 0;
  color: #bbb0a0;
  transition: color 0.3s;
}

.token-indicator .dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: #d0c8bc;
  flex-shrink: 0;
  transition: background 0.3s, box-shadow 0.3s;
}

.token-indicator.has-token {
  color: var(--text);
}

.token-indicator.has-token .dot {
  background: var(--token);
  box-shadow: 0 0 5px var(--token-glow);
}

/* step description */
.step-title {
  font-size: 0.95rem;
  font-weight: 800;
  color: var(--text);
  margin-bottom: 0.55rem;
  line-height: 1.3;
}

.step-desc {
  font-size: 0.8rem;
  line-height: 1.65;
  color: var(--text-soft);
  background: var(--surface-soft);
  border-left: 3px solid var(--accent);
  padding: 0.7rem 0.9rem;
  border-radius: 0 8px 8px 0;
  font-family: 'Nunito', sans-serif;
  font-weight: 600;
}

.step-desc strong {
  color: var(--accent);
  font-weight: 800;
}

/* properties */
.props-grid {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  margin-bottom: 0.75rem;
}

.prop-badge {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  font-size: 0.71rem;
  font-weight: 700;
  padding: 0.28rem 0.65rem;
  border-radius: 20px;
  border: 1.5px solid;
  font-family: 'Nunito', sans-serif;
}

.prop-badge.safety  { background: #fff4f0; border-color: #e08060; color: #b04020; }
.prop-badge.liveness { background: #f0faf5; border-color: #60c090; color: #206040; }
.prop-badge.deadlock { background: #f4f0ff; border-color: #9070d0; color: #4030a0; }

.ltl-block {
  background: var(--surface-soft);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 0.65rem 0.9rem;
  font-family: 'Fira Code', monospace;
  font-size: 0.72rem;
  color: var(--text-soft);
  line-height: 1.8;
}

/* ── Controls ── */
.controls {
  padding: 1.2rem 1.4rem;
  display: flex;
  flex-direction: column;
  gap: 0.65rem;
  margin-top: auto;
}

.progress-wrap {
  display: flex;
  align-items: center;
  gap: 0.6rem;
  margin-bottom: 0.2rem;
}

.progress-bar {
  flex: 1;
  height: 5px;
  background: var(--surface-soft);
  border-radius: 3px;
  overflow: hidden;
  border: 1px solid var(--border);
}

.progress-fill {
  height: 100%;
  background: linear-gradient(90deg, var(--accent), var(--accent2));
  border-radius: 3px;
  transition: width 0.4s ease;
}

.progress-label {
  font-family: 'Fira Code', monospace;
  font-size: 0.72rem;
  color: var(--text-soft);
  white-space: nowrap;
}

.btn {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 0.5rem;
  padding: 0.7rem 1.1rem;
  border: none;
  border-radius: 10px;
  font-family: 'Nunito', sans-serif;
  font-size: 0.88rem;
  font-weight: 800;
  cursor: pointer;
  transition: transform 0.15s, box-shadow 0.15s, background 0.2s;
  letter-spacing: 0.01em;
}

.btn:active { transform: scale(0.97); }

.btn-primary {
  background: var(--accent);
  color: #fff;
  box-shadow: 0 2px 8px rgba(212, 102, 42, 0.35);
}
.btn-primary:hover:not(:disabled) {
  background: #c05a22;
  box-shadow: 0 4px 14px rgba(212, 102, 42, 0.45);
  transform: translateY(-1px);
}
.btn-primary:disabled {
  background: #d8d0c4;
  color: #a09880;
  cursor: not-allowed;
  box-shadow: none;
}

.btn-auto {
  background: var(--accent2-light);
  color: var(--accent2);
  border: 1.5px solid #b0ddd4;
}
.btn-auto:hover { background: #d0ede8; }
.btn-auto.running {
  background: #fff0ec;
  color: var(--accent);
  border-color: #f0c0a8;
}

.btn-secondary {
  background: var(--surface-soft);
  color: var(--text-soft);
  border: 1.5px solid var(--border);
}
.btn-secondary:hover { border-color: #bbb5a8; color: var(--text); }

/* ── Animations ── */
@keyframes pulse-warm {
  0%, 100% { filter: drop-shadow(0 0 4px rgba(212, 102, 42, 0.4)); }
  50%       { filter: drop-shadow(0 0 12px rgba(212, 102, 42, 0.8)); }
}

.fireable-hint {
  animation: pulse-warm 1.4s ease-in-out infinite;
}

@keyframes token-pop {
  0%   { opacity: 0; r: 2; }
  60%  { opacity: 1; r: 9; }
  100% { opacity: 1; r: 7; }
}

.token-new {
  animation: token-pop 0.4s ease forwards;
}