/* Tokyo JR: a daylight platform in JR East green, white station-sign panels and a green
   band under the masthead. */
:root[data-city="tokyo-jr"] {
  --ground: #eef4ef;
  --surface: #ffffff;
  --ink: #13301d;
  --ink-soft: #4b6655;
  --rule: #c4d8c9;
  --rail-off: #b9cdbe;
  --stamp: #0b8a3a;
  --signal: #f6c700;
  --ticket: #e3efe6;
  --font-display: "M PLUS 1", "BIZ UDPGothic", sans-serif;
  --tone: repeating-linear-gradient(135deg, transparent 0 12px, rgb(11 138 58 / 0.07) 12px 13px, transparent 13px 25px);
}

:root[data-city="tokyo-jr"] .masthead {
  border-top: 7px solid var(--stamp);
  padding-top: 26px;
}
:root[data-city="tokyo-jr"] .edition-code {
  border: 2px solid var(--stamp);
  border-radius: 2px;
  color: var(--stamp);
}
:root[data-city="tokyo-jr"] .title { font-weight: 800; letter-spacing: 0.02em; }
:root[data-city="tokyo-jr"] .cities a[aria-current] { background: var(--stamp); }
:root[data-city="tokyo-jr"] .btn-ink { background: var(--stamp); border-color: var(--stamp); }
:root[data-city="tokyo-jr"] .btn-ink:hover { background: #08702f; }

@media (min-width: 901px) {
  :root[data-city="tokyo-jr"] .mapwrap { height: 100dvh; position: sticky; top: 0; }
}