Change class to mjx-box so that width will have the proper effect (due to fix in CSS in PR #1448). Resolves issue #1543 (closed).
Change class to mjx-box so that width will have the proper effect (due to fix in CSS in PR #1448). Resolves issue #1543 (closed).