<div id="exclude" />
        </details>
        <label>
          <h3>Unused symbols</h3>
          <textarea id="unusedSymbols" rows="4" placeholder="Separate items with newlines"></textarea>
        </label>
        <label>
          <h3>Version</h3>
          <select id="version"><option value="local">local</option></select>
        </label>
      </form>
      <div id="source"></div>
      <div id="visitor" data-expanded="true"></div>
      <div id="compiled" data-expanded="true"></div>
      <div id="c