Fixes around the console.

* Correct behavior when hiding an expanded console.
* Green console button when the console was hidden at page load, otherwise light gray.
* The show/hide button is now right under the console.
* Fixed styling of the iframe border (we had a regression there).
* Made the expand console button primary aka blue.
* Set the navbar position correct when the console is expanded.
* Added server mappings for 2.0.1, 2.0.2, 2.0.3.
* Removed debugging code.
* Moved the initialization of Disqus later.
* Code formatting.