More button tweaks

@pmario what do you think of the new “info” button?
Clarify toc-tabbed macro