Revert fix for height of argument menu.

This UI bug was due to Bootstrap's incompatibility with HTML4.
For now, we'll require the HTML5 doctype and minimize reliance on
Bootstrap, until it can be replaced with custom code.
Update changes file.
Version 0.0.8.