update twitter widget; add TOC