remove fav/touch icons (were not working before).

The spurious comment disabled the fav/touch icons in the previous version anyway. Removing them since they can be easily added using `decoration.body.head` element. Otherwise they would produce bad links if these icons are not provided.
disable menu items with empty `href` (issue #8).

The link is disabled using Bootstrap’s .disabled class on the menu item. Also, the href attribute is not set on <a>, making the link behave as text.
Merge branch 'no-href-items'
cleanup: reuse Bootswatch theme check
use Bootstrap 2.3.2

Note: BootstrapCDN serves 2.3.2 default as combined responsive CSS, therefore added additional checks for this. For Bootswatch themes, need to use 2.3.1 bootstrap-responsive.css
Merge branch 'bootstrap-2.3.2'
use highlight.js version 7.5. See issue #17
also use jQuery 1.9.1 for Bootstrap 2.3.2
missing `collapse` class on top nav. Fixes #25.
fixed a missing <header> opening tag when banner is not shown (issue #16)
amelia theme no longer used
simplify ToC bar on small sizes: just keep static and unchanged
affix as data-spy, rather than within JS file

This allows customising offset from the site.xml later
top-nav collapse using #id, rather than class name (allow other collapses)
more specific <div> container for jumbotron.

ToC bar needs to be outside the jumbotron to avoid inheriting button styling.
make ToC collapsable
support for offsetTop attribute on <toc> element to control snapping (issue #1)
adjust snapping positions for themes
Merge branch 'fixed-toc-fixes'
better Velocity parsing in SublimeText