pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px
name: "Tenacious Entrance"
panels {
  name: "HERO"
  path: "Panels/Hallway Left/entry_7"
  clue: "hero"
  answer: "zero"
  symbols: ZERO
}
ports {
  name: "TENACIOUS"
  display_name: "Tenacious Connector"
  path: "Components/Warps/worldport13"
  destination { x: 56 y: 0 z: -38 }
  rotation: 180
  # TODO: shuffle entrances with dependent keyholders
  no_shuffle: true
}