Add Specref search to ReSpec UI.
Minor edits.
Fix accidental globals + style.
Merge pull request #297 from tobie/specref-search

Add Specref search to ReSpec UI.
v3.2.11
v3.2.12
tweak build instructions
Merge commit '6a020c62c6238d544982d4adc080bad36b5447a4' into gh-pages

* commit '6a020c62c6238d544982d4adc080bad36b5447a4':
  tweak build instructions
  v3.2.12
  v3.2.11
  Fix accidental globals + style.
  Minor edits.
  Add Specref search to ReSpec UI.