1<!DOCTYPE html>
2<html>
3  <head>
4    <title>Sodium</title>
5    <meta charset="utf-8">
6    <link href="styles.css" rel="stylesheet" type="text/css">
7  </head>
8  <script src="https://google-code-prettify.googlecode.com/svn/loader/run_prettify.js"></script>
9  <script src="./sodium.js"></script>
10  <script type="text/javascript"></script>
11  <body>
12    <table style='top:5px; width:100%;'>
13      <tr><td id='table-header'>
14          <input type='file' id='log-file-id' />
15          <select id="kind-selector-id" onchange="Sodium.kindChangedHandler(this);"></select><br>
16          <select id="function-selector-id" onchange="Sodium.functionChangedHandler();"></select>
17      </td></tr>
18      <tr>
19      <table style='height:90%;'>
20      <tr>
21        <td id='asm-container'>
22          <div id='asm-text'></div>
23        </td>
24        <td id='source-container'>
25          <div id='source-text'><pre id='source-text-pre'/></div>
26        </td>
27      </tr>
28      </table>
29      </tr>
30    </table>
31    <script>
32      Sodium.buildFunctionKindSelector(document.getElementById('kind-selector-id'));
33      document.getElementById('log-file-id').addEventListener('change', Sodium.readLog, false);
34    </script>
35  </body>
36</html>
37