Tooltips for buttons

For icon buttons, have popovers like on GitHub.

jQuery UI's tooltips (see "Custom Styling" section) seem fine.