Stretched delimiter clipped in HTML-CSS output

The output of

<div style="font-size:133%">
$$
\begin{array}{c}
  \mmlToken{mo}{[}&
  \Rule{.15em}{.9em}{1em}
\end{array}
$$
</div>

has a stretched bracket that is clipped at the top and bottom in HTML-CSS output. It may be that the height and depth aren't being adjusted to accommodate the larger size of the stretched delimiter, when it stretched beyond the required size.