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; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color
name: "Plaza Entrance"
panels {
  name: "GEE"
  path: "Panels/Door Openers/green_se"
  clue: "gee"
  answer: "green"
  symbols: SPARKLES
}
panels {
  name: "SEA"
  path: "Panels/Door Openers/white_nw2"
  clue: "sea"
  answer: "search"
  symbols: SPARKLES
}
ports {
  name: "PLAZA"
  display_name: "Dark Hallway"
  path: "Components/Warps/worldport5"
  destination { x: 35 y: 0 z: 44 }
  rotation: 270
}