<div class="head">
  <h1><a class="plain" href="http://agraph.franz.com/allegrograph/">AllegroGraph</a> Web View</h1>
  <?if dbInfo?>
    <p>browsing<?if dbInfo.remote?> remote<?if.?> database <a href="#" class="plain"><?t dbInfo.name?></a></p>
  <?if.?>
</div>
<div class="nav">
  <table width="100%">
    <tr>
      <td style="text-align: left" id="header-links"><?headerLinks?></td>
      <?if dbInfo?>
        <td style="text-align: right">
          <?if dbInfo.canReason?>
            <input type="checkbox" id="reasoning" <?if useReasoning?>checked="checked"<?if.?>/>
            <?event change toggleReasoning($node.checked);?>
            <?event click toggleReasoning($node.checked);?>
            <label for="reasoning">Reasoning</label>
          <?if.?>
          <input type="checkbox" id="showlongparts" <?if showLongParts?>checked="checked"<?if.?>/>
          <?event change toggleLongParts($node.checked);?>
          <?event click toggleLongParts($node.checked);?>
          <label for="showlongparts">Long parts</label>
          <input type="checkbox" id="showgraphnames" <?if showGraphNames?>checked="checked"<?if.?>/>
          <?event change toggleGraphNames($node.checked);?>
          <?event click toggleGraphNames($node.checked);?>
          <label for="showgraphnames">Graph names</label>
          <?if dbInfo.freetext.length?>
            &nbsp; &nbsp; &nbsp;
            <label for="textsearch">Search:</label>
            <input type="text" id="textsearch" value="" title="Multiple words mean 'and', use the | character for 'or', double quotes for literal strings. Inside non-quoted words, * and ? are used as wildcards. Parentheses supported."/>
            <?event enter goTo("search/" + $node.value);?>
          <?if.?>
        </td>
      <?if.?>
    </tr>
  </table>
</div>
<div id="messages"><?l message?></div>
<div id="page"><?l page?></div>
