textext の分数の横棒が太すぎる
直し方
デフォルトの変換方法を pstoedit に変更すれば直る. 変換方法の優先順位は textext の最後の方(925行目)に
CONVERTERS = [Pdf2Svg, PstoeditPlotSvg, SkConvert]
のように定義されている. なので, pdf2svg が使える状態だとデフォルトでは pdf2svg が使われてしまう.
pstoedit を優先したい場合は, pstoedit をインストール (apt-get install pstoedit) した上で,
#CONVERTERS = [Pdf2Svg, PstoeditPlotSvg, SkConvert]
CONVERTERS = [PstoeditPlotSvg, Pdf2Svg, SkConvert]
のように修正すべし. これで分数の横棒がスリムになる.