font-family はちゃんと MJXc-TeX-main-B,MJXc-TeX-main-Bw;になってるからフォントの読み込みあたりがおかしいらしい? なお、FireFoxならちゃんと太字になる。
とりあえずCSSで回避、ちょっと違和感がある。
<style>
.Bold{
font-weight: bold;
}
</style>
\( \class{Bold}{a} \)
あと、outputをHTML-CSSにしても太字でる。だがCommonHTMLを使いたい。
<style>
.Bold{
font-weight: bold;
}
</style>
\( \class{Bold}{a} \)
あと、outputをHTML-CSSにしても太字でる。だがCommonHTMLを使いたい。