JavaScript Table Library
------------------------

- `table-lib.js`:
  - function makeTablesSortable()
  - function updateTables()

depends on:

- `../ajax.js`:
  - function ajaxGet()
  - class UrlHash

- `table-sort.css`:
  - hover over row, numbers aligned right, etc.

- `csv_to_html.py`:
  - Generates `<colgroup>`

Demo
----

    $ ./run.sh write-table

Then open up the HTML file in your browser.