Two minor bug fixes. The first was a lack of UTF-8 support in HTML
containers, causing some language characters to be incorrectly
displayed. The other was a scaling issue, which is now patched.