]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/InsetMathFrac.cpp
Fixes to input method handling
[lyx.git] / src / mathed / InsetMathFrac.cpp
index 9a244eaa34594a69c7da531eae0882bf4767405c..90d61913a678236f8582b2b2fb3cb61da1ee1195 100644 (file)
 
 #include "InsetMathFrac.h"
 
-#include "Cursor.h"
-#include "LaTeXFeatures.h"
 #include "MathData.h"
+#include "MathParser.h"
 #include "MathStream.h"
 #include "MathSupport.h"
+
+#include "Cursor.h"
+#include "LaTeXFeatures.h"
 #include "MetricsInfo.h"
 #include "TextPainter.h"
 
+#include "frontends/FontMetrics.h"
 #include "frontends/Painter.h"
 
+#include "support/lassert.h"
+
 using namespace std;
 
+
 namespace lyx {
 
 /////////////////////////////////////////////////////////////////////
@@ -120,148 +126,237 @@ bool InsetMathFrac::idxBackward(Cursor & cur) const
 }
 
 
+MathClass InsetMathFrac::mathClass() const
+{
+       // Generalized fractions are of inner class (see The TeXbook, p. 292)
+       // But stuff from the unit/nicefrac packages are not real fractions.
+       MathClass mc = MC_ORD;
+       switch (kind_) {
+       case ATOP:
+       case OVER:
+       case FRAC:
+       case DFRAC:
+       case TFRAC:
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+               mc = MC_INNER;
+               break;
+       case NICEFRAC:
+       case UNITFRAC:
+       case UNIT:
+               break;
+       }
+       return mc;
+}
+
+
+
+namespace {
+
+// align the top of M in the cell with the top of M in the surrounding font
+int dy_for_nicefrac(MetricsBase & mb)
+{
+       // this is according to nicefrac.sty
+       int big_m = theFontMetrics(mb.font).ascent('M');
+       Changer dummy = mb.changeScript();
+       int small_m = theFontMetrics(mb.font).ascent('M');
+       return big_m - small_m;
+}
+
+
+// symbol for nicefrac solidus
+latexkeys const * slash_symbol()
+{
+       return in_word_set(from_ascii("slash"));
+}
+
+} // namespace
+
+
 void InsetMathFrac::metrics(MetricsInfo & mi, Dimension & dim) const
 {
        Dimension dim0, dim1, dim2;
+       Changer dummy3 = mi.base.changeEnsureMath();
 
-       if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
-               if (nargs() == 1) {
-                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
-                       cell(0).metrics(mi, dim0);
-                       dim.wid = dim0.width()+ 3;
-                       dim.asc = dim0.asc;
-                       dim.des = dim0.des;
-               } else if (nargs() == 2) {
-                       cell(0).metrics(mi, dim0);
-                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
-                       cell(1).metrics(mi, dim1);
-                       dim.wid = dim0.width() + dim1.wid + 5;
-                       dim.asc = max(dim0.asc, dim1.asc);
-                       dim.des = max(dim0.des, dim1.des);
-               } else {
+       switch (kind_) {
+       case UNIT: {
+               // \unitone, \unittwo
+               dim.wid = 0;
+               int unit_cell = 0;
+               // is there an extra cell holding the value being given a dimension?
+               // (this is \unittwo)
+               if (nargs() == 2) {
+                       cell(0).metrics(mi, dim1);
+                       dim.wid += dim1.wid + 4;
+                       unit_cell = 1;
+               }
+               Changer dummy = mi.base.font.changeShape(UP_SHAPE);
+               cell(unit_cell).metrics(mi, dim0);
+               dim.wid += dim0.width() + 1;
+               dim.asc = max(dim0.asc, dim1.asc);
+               dim.des = max(dim0.des, dim1.des);
+       }
+               break;
+
+       case UNITFRAC:
+       case NICEFRAC: {
+               // \unitfrac, \unitfracthree, \nicefrac
+               dim.wid = 0;
+               dim.asc = 0;
+               dim.des = 0;
+               int const dy = dy_for_nicefrac(mi.base);
+               // is there an extra cell holding the value being given a dimension?
+               // (this is \unitfracthree)
+               if (kind_ == UNITFRAC && nargs() == 3) {
                        cell(2).metrics(mi, dim2);
-                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
-                       FracChanger dummy(mi.base);
-                       cell(0).metrics(mi, dim0);
-                       cell(1).metrics(mi, dim1);
-                       dim.wid = dim0.width() + dim1.wid + dim2.wid + 10;
-                       dim.asc = max(dim2.asc, dim0.height() + 5);
-                       dim.des = max(dim2.des, dim1.height() - 5);
+                       dim.wid += dim2.wid + 4;
+                       dim.asc = dim2.asc;
+                       dim.des = dim2.des;
+               }
+               Changer dummy = (kind_ == UNITFRAC) ? mi.base.font.changeShape(UP_SHAPE)
+                       : Changer();
+               Changer dummy2 = mi.base.changeScript();
+               if (latexkeys const * slash = slash_symbol()) {
+                       Dimension dimslash;
+                       mathedSymbolDim(mi.base, dimslash, slash);
+                       dim.wid += dimslash.wid - mathed_mu(mi.base.font, 3.0);
+                       dim.asc = max(dim.asc, dimslash.asc);
+                       dim.des = max(dim.des, dimslash.des);
                }
-       } else {
-               // general cell metrics used for \frac
-               FracChanger dummy(mi.base);
                cell(0).metrics(mi, dim0);
                cell(1).metrics(mi, dim1);
-               if (nargs() == 3)
-                       cell(2).metrics(mi, dim2);
-               // metrics for special fraction types
-               if (kind_ == NICEFRAC) {
-                       dim.wid = dim0.width() + dim1.wid + 5;
-                       dim.asc = dim0.height() + 5;
-                       dim.des = dim1.height() - 5;
-               } else if (kind_ == UNITFRAC) {
-                       ShapeChanger dummy2(mi.base.font, UP_SHAPE);
-                       dim.wid = dim0.width() + dim1.wid + 5;
-                       dim.asc = dim0.height() + 5;
-                       dim.des = dim1.height() - 5;
-               } else {
-                       if (kind_ == CFRAC || kind_ == CFRACLEFT
-                       || kind_ == CFRACRIGHT || kind_ == DFRAC) {
-                               // \cfrac and \dfrac are always in display size
-                               StyleChanger dummy2(mi.base, LM_ST_DISPLAY);
-                               cell(0).metrics(mi, dim0);
-                               cell(1).metrics(mi, dim1);
-                       } else if (kind_ == TFRAC) {
-                               // tfrac is in always in text size
-                               StyleChanger dummy2(mi.base, LM_ST_SCRIPT);
-                               cell(0).metrics(mi, dim0);
-                               cell(1).metrics(mi, dim1);
-                       }
-                       dim.wid = max(dim0.wid, dim1.wid) + 2;
-                       dim.asc = dim0.height() + 2 + 5;
-                       dim.des = dim1.height() + 2 - 5;
-               }
+               dim.wid += dim0.wid + dim1.wid + 2;
+               dim.asc = max(max(dim.asc, dim0.asc + dy), dim1.asc);
+               dim.des = max(max(dim.des, dim0.des - dy), dim1.des);
+       }
+               break;
+
+       case FRAC:
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+       case DFRAC:
+       case TFRAC:
+       case OVER:
+       case ATOP: {
+               int const dy = axis_height(mi.base);
+               Changer dummy =
+                       // \tfrac is always in text size
+                       (kind_ == TFRAC) ? mi.base.font.changeStyle(LM_ST_SCRIPT) :
+                       // \cfrac and \dfrac are always in display size
+                       (kind_ == CFRAC
+                        || kind_ == CFRACLEFT
+                        || kind_ == CFRACRIGHT
+                        || kind_ == DFRAC) ? mi.base.font.changeStyle(LM_ST_DISPLAY) :
+                       // all others
+                                             mi.base.changeFrac();
+               Changer dummy2 = mi.base.changeEnsureMath();
+               cell(0).metrics(mi, dim0);
+               cell(1).metrics(mi, dim1);
+               dim.wid = max(dim0.wid, dim1.wid) + 2;
+               dim.asc = dim0.height() + dy/2 + dy;
+               int const t = mi.base.solidLineThickness();
+               dim.des = max(0, dim1.height() + dy/2 - dy + t);
        }
-       metricsMarkers(dim);
+       } //switch (kind_)
 }
 
 
 void InsetMathFrac::draw(PainterInfo & pi, int x, int y) const
 {
-       setPosCache(pi, x, y);
+       Changer dummy3 = pi.base.changeEnsureMath();
        Dimension const dim = dimension(*pi.base.bv);
        Dimension const dim0 = cell(0).dimension(*pi.base.bv);
-       if (kind_ == UNIT || (kind_ == UNITFRAC && nargs() == 3)) {
-               if (nargs() == 1) {
-                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
-                       cell(0).draw(pi, x + 1, y);
-               } else if (nargs() == 2) {
-                       cell(0).draw(pi, x + 1, y);
-                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
-                       cell(1).draw(pi, x + dim0.width() + 5, y);
-               } else {
-                       cell(2).draw(pi, x + 1, y);
-                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
-                       FracChanger dummy(pi.base);
-                       Dimension const dim1 = cell(1).dimension(*pi.base.bv);
-                       Dimension const dim2 = cell(2).dimension(*pi.base.bv);
-                       int xx = x + dim2.wid + 5;
-                       cell(0).draw(pi, xx + 2, 
-                                        y - dim0.des - 5);
-                       cell(1).draw(pi, xx  + dim0.width() + 5, 
-                                        y + dim1.asc / 2);
-               }
-       } else {
-               FracChanger dummy(pi.base);
-               Dimension const dim1 = cell(1).dimension(*pi.base.bv);
-               int m = x + dim.wid / 2;
-               if (kind_ == NICEFRAC) {
-                       cell(0).draw(pi, x + 2,
-                                       y - dim0.des - 5);
-                       cell(1).draw(pi, x + dim0.width() + 5,
-                                       y + dim1.asc / 2);
-               } else if (kind_ == UNITFRAC) {
-                       ShapeChanger dummy2(pi.base.font, UP_SHAPE);
-                       cell(0).draw(pi, x + 2, y - dim0.des - 5);
-                       cell(1).draw(pi, x + dim0.width() + 5, y + dim1.asc / 2);
-               } else if (kind_ == FRAC || kind_ == ATOP || kind_ == OVER) {
-                       cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
-                       cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
-               } else if (kind_ == TFRAC) {
-                       // tfrac is in always in text size
-                       StyleChanger dummy2(pi.base, LM_ST_SCRIPT);
-                       cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
-                       cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
-               } else {
-                       // \cfrac and \dfrac are always in display size
-                       StyleChanger dummy2(pi.base, LM_ST_DISPLAY);
-                       if (kind_ == CFRAC || kind_ == DFRAC)
-                               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 2 - 5);
-                       else if (kind_ == CFRACLEFT)
-                               cell(0).draw(pi, x + 2, y - dim0.des - 2 - 5);
-                       else if (kind_ == CFRACRIGHT)
-                               cell(0).draw(pi, x + dim.wid - dim0.wid - 2,
-                                       y - dim0.des - 2 - 5);
-                       cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 2 - 5);
+       switch (kind_) {
+       case UNIT: {
+               // \unitone, \unittwo
+               int xx = x;
+               int unit_cell = 0;
+               // is there an extra cell holding the value being given a dimension?
+               // (this is \unittwo)
+               if (nargs() == 2) {
+                       cell(0).draw(pi, x, y);
+                       xx += dim0.wid + 4;
+                       unit_cell = 1;
                }
+               Changer dummy = pi.base.font.changeShape(UP_SHAPE);
+               cell(unit_cell).draw(pi, xx, y);
        }
-       if (kind_ == NICEFRAC || kind_ == UNITFRAC) {
-               // Diag line:
+               break;
+
+       case UNITFRAC:
+       case NICEFRAC: {
+               // \unitfrac, \unitfracthree, \nicefrac
                int xx = x;
-               if (nargs() == 3)
-                       xx += cell(2).dimension(*pi.base.bv).wid + 5;
-               pi.pain.line(xx + dim0.wid,
-                               y + dim.des - 2,
-                               xx + dim0.wid + 5,
-                               y - dim.asc + 2, Color_math);
+               int const dy = dy_for_nicefrac(pi.base);
+               // is there an extra cell holding the value being given a dimension?
+               // (this is \unitfracthree)
+               if (kind_ == UNITFRAC && nargs() == 3) {
+                       cell(2).draw(pi, x, y);
+                       xx += cell(2).dimension(*pi.base.bv).wid + 4;
+               }
+               Changer dummy = (kind_ == UNITFRAC) ? pi.base.font.changeShape(UP_SHAPE)
+                       : Changer();
+               // nice fraction
+               Changer dummy2 = pi.base.changeScript();
+               cell(0).draw(pi, xx + 1, y - dy);
+               // reference LaTeX code from nicefrac.sty:
+               //    \mkern-2mu/\mkern-1mu
+               if (latexkeys const * slash = slash_symbol()) {
+                       int mkern = mathed_mu(pi.base.font, 2.0);
+                       mathedSymbolDraw(pi, xx + 1 + dim0.wid - mkern, y, slash);
+                       Dimension dimslash;
+                       mathedSymbolDim(pi.base, dimslash, slash);
+                       xx += dimslash.wid - mathed_mu(pi.base.font, 3.0);
+               }
+               cell(1).draw(pi, xx + 1 + dim0.wid, y);
        }
-       if (kind_ == FRAC || kind_ == CFRAC || kind_ == CFRACLEFT
-               || kind_ == CFRACRIGHT || kind_ == DFRAC
-               || kind_ == TFRAC || kind_ == OVER)
-               pi.pain.line(x + 1, y - 5,
-                               x + dim.wid - 2, y - 5, Color_math);
-       drawMarkers(pi, x, y);
+               break;
+
+       case FRAC:
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+       case DFRAC:
+       case TFRAC:
+       case OVER:
+       case ATOP: {
+               int const dy = axis_height(pi.base);
+               Changer dummy =
+                       // \tfrac is always in text size
+                       (kind_ == TFRAC) ? pi.base.font.changeStyle(LM_ST_SCRIPT) :
+                       // \cfrac and \dfrac are always in display size
+                       (kind_ == CFRAC
+                        || kind_ == CFRACLEFT
+                        || kind_ == CFRACRIGHT
+                        || kind_ == DFRAC) ? pi.base.font.changeStyle(LM_ST_DISPLAY) :
+                       // all others
+                                             pi.base.changeFrac();
+               Dimension const dim1 = cell(1).dimension(*pi.base.bv);
+               int const m = x + dim.wid / 2;
+               int const xx =
+                       // align left
+                       (kind_ == CFRACLEFT) ? x + 1 :
+                       // align right
+                       (kind_ == CFRACRIGHT) ? x + dim.wid - dim0.wid - 2 :
+                       // center
+                                               m - dim0.wid / 2;
+               int const t = pi.base.solidLineThickness();
+               // take dy/2 for the spacing around the horizontal line. This is
+               // arbitrary. In LaTeX it is more complicated to ensure that displayed
+               // fractions line up next to each other.
+               // For more accurate implementation refer to the TeXbook, Appendix G,
+               // rules 15a-e.
+               cell(0).draw(pi, xx, y - dim0.des - dy/2 - dy);
+               // center
+               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + dy/2 - dy + t);
+               // horizontal line
+               if (kind_ != ATOP)
+                       pi.pain.line(x, y - dy, x + dim.wid, y - dy,
+                                    pi.base.font.color(), pi.pain.line_solid, t);
+       }
+       } //switch (kind_)
 }
 
 
@@ -368,28 +463,137 @@ bool InsetMathFrac::extraBraces() const
 
 void InsetMathFrac::maple(MapleStream & os) const
 {
+       if (nargs() != 2) {
+               // Someone who knows about maple should fix this.
+               LASSERT(false, return);
+       }
        os << '(' << cell(0) << ")/(" << cell(1) << ')';
 }
 
 
 void InsetMathFrac::mathematica(MathematicaStream & os) const
 {
+       if (nargs() != 2) {
+               // Someone who knows about mathematica should fix this.
+               LASSERT(false, return);
+       }
        os << '(' << cell(0) << ")/(" << cell(1) << ')';
 }
 
 
 void InsetMathFrac::octave(OctaveStream & os) const
 {
+       if (nargs() != 2) {
+               // Someone who knows about octave should fix this.
+               LASSERT(false, return);
+       }
        os << '(' << cell(0) << ")/(" << cell(1) << ')';
 }
 
 
 void InsetMathFrac::mathmlize(MathStream & os) const
 {
-       os << MTag("mfrac")
-          << MTag("mrow") << cell(0) << ETag("mrow")
-                << MTag("mrow") << cell(1) << ETag("mrow")
-                << ETag("mfrac");
+       switch (kind_) {
+       case ATOP:
+               os << MTag("mfrac", "linethickeness='0'")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       // we do not presently distinguish these
+       case OVER:
+       case FRAC:
+       case DFRAC:
+       case TFRAC:
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+               os << MTag("mfrac")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       case NICEFRAC:
+               os << MTag("mfrac", "bevelled='true'")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       case UNITFRAC:
+               if (nargs() == 3)
+                       os << cell(2);
+               os << MTag("mfrac", "bevelled='true'")
+                  << MTag("mrow") << cell(0) << ETag("mrow")
+                        << MTag("mrow") << cell(1) << ETag("mrow")
+                        << ETag("mfrac");
+               break;
+
+       case UNIT:
+               // FIXME This is not right, because we still output mi, etc,
+               // when we output the cell. So we need to prevent that somehow.
+               if (nargs() == 2)
+                       os << cell(0)
+                          << MTag("mstyle mathvariant='normal'")
+                          << cell(1)
+                          << ETag("mstyle");
+               else
+                       os << MTag("mstyle mathvariant='normal'")
+                          << cell(0)
+                          << ETag("mstyle");
+       }
+}
+
+
+void InsetMathFrac::htmlize(HtmlStream & os) const
+{
+       switch (kind_) {
+       case ATOP:
+               os << MTag("span", "class='frac'")
+                        << MTag("span", "class='numer'") << cell(0) << ETag("span")
+                        << MTag("span", "class='numer'") << cell(1) << ETag("span")
+                        << ETag("span");
+               break;
+
+       // we do not presently distinguish these
+       case OVER:
+       case FRAC:
+       case DFRAC:
+       case TFRAC:
+       case CFRAC:
+       case CFRACLEFT:
+       case CFRACRIGHT:
+               os << MTag("span", "class='frac'")
+                        << MTag("span", "class='numer'") << cell(0) << ETag("span")
+                        << MTag("span", "class='denom'") << cell(1) << ETag("span")
+                        << ETag("span");
+               break;
+
+       case NICEFRAC:
+               os << cell(0) << '/' << cell(1);
+               break;
+
+       case UNITFRAC:
+               if (nargs() == 3)
+                       os << cell(2) << ' ';
+               os << cell(0) << '/' << cell(1);
+               break;
+
+       case UNIT:
+               // FIXME This is not right, because we still output i, etc,
+               // when we output the cell. So we need to prevent that somehow.
+               if (nargs() == 2)
+                       os << cell(0)
+                          << MTag("span")
+                          << cell(1)
+                          << ETag("span");
+               else
+                       os << MTag("span")
+                          << cell(0)
+                          << ETag("span");
+       }
 }
 
 
@@ -398,8 +602,14 @@ void InsetMathFrac::validate(LaTeXFeatures & features) const
        if (kind_ == NICEFRAC || kind_ == UNITFRAC || kind_ == UNIT)
                features.require("units");
        if (kind_ == CFRAC || kind_ == CFRACLEFT || kind_ == CFRACRIGHT
-               || kind_ == DFRAC || kind_ == TFRAC)
+                 || kind_ == DFRAC || kind_ == TFRAC)
                features.require("amsmath");
+       if (features.runparams().math_flavor == OutputParams::MathAsHTML)
+               // CSS adapted from eLyXer
+               features.addCSSSnippet(
+                       "span.frac{display: inline-block; vertical-align: middle; text-align:center;}\n"
+                       "span.numer{display: block;}\n"
+                       "span.denom{display: block; border-top: thin solid #000040;}");
        InsetMathNest::validate(features);
 }
 
@@ -435,35 +645,28 @@ int InsetMathBinom::dw(int height) const
 
 void InsetMathBinom::metrics(MetricsInfo & mi, Dimension & dim) const
 {
+       Changer dummy2 = mi.base.changeEnsureMath();
        Dimension dim0, dim1;
-
-       // FIXME: for an unknown reason the cells must be set directly
-       // after the StyleChanger and cannot be set after the if case
-       if (kind_ == DBINOM) {
-               StyleChanger dummy(mi.base, LM_ST_DISPLAY);
-               cell(0).metrics(mi, dim0);
-               cell(1).metrics(mi, dim1);
-       } else if (kind_ == TBINOM) {
-               StyleChanger dummy(mi.base, LM_ST_SCRIPT);
-               cell(0).metrics(mi, dim0);
-               cell(1).metrics(mi, dim1);
-       } else {
-               FracChanger dummy(mi.base);
-               cell(0).metrics(mi, dim0);
-               cell(1).metrics(mi, dim1);
-       }
-       dim.asc = dim0.height() + 4 + 5;
-       dim.des = dim1.height() + 4 - 5;
+       int const dy = axis_height(mi.base);
+       Changer dummy =
+               (kind_ == DBINOM) ? mi.base.font.changeStyle(LM_ST_DISPLAY) :
+               (kind_ == TBINOM) ? mi.base.font.changeStyle(LM_ST_SCRIPT) :
+                                   mi.base.changeFrac();
+       cell(0).metrics(mi, dim0);
+       cell(1).metrics(mi, dim1);
+       dim.asc = dim0.height() + 1 + dy/2 + dy;
+       dim.des = max(0, dim1.height() + 1 + dy/2 - dy);
        dim.wid = max(dim0.wid, dim1.wid) + 2 * dw(dim.height()) + 4;
-       metricsMarkers2(dim);
 }
 
 
 void InsetMathBinom::draw(PainterInfo & pi, int x, int y) const
 {
+       Changer dummy2 = pi.base.changeEnsureMath();
        Dimension const dim = dimension(*pi.base.bv);
        Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
        Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
+       int const dy = axis_height(pi.base);
        // define the binom brackets
        docstring const bra = kind_ == BRACE ? from_ascii("{") :
                kind_ == BRACK ? from_ascii("[") : from_ascii("(");
@@ -471,27 +674,21 @@ void InsetMathBinom::draw(PainterInfo & pi, int x, int y) const
                kind_ == BRACK ? from_ascii("]") : from_ascii(")");
 
        int m = x + dim.width() / 2;
-       // FIXME: for an unknown reason the cells must be drawn directly
-       // after the StyleChanger and cannot be drawn after the if case
-       if (kind_ == DBINOM) {
-               StyleChanger dummy(pi.base, LM_ST_DISPLAY);
-               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 3 - 5);
-               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
-       } else if (kind_ == TBINOM) {
-               StyleChanger dummy(pi.base, LM_ST_SCRIPT);
-               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 3 - 5);
-               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
-       } else {
-               FracChanger dummy2(pi.base);
-               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - 3 - 5);
-               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + 3 - 5);
+       {
+               Changer dummy =
+                       (kind_ == DBINOM) ? pi.base.font.changeStyle(LM_ST_DISPLAY) :
+                       (kind_ == TBINOM) ? pi.base.font.changeStyle(LM_ST_SCRIPT) :
+                                           pi.base.changeFrac();
+               // take dy both for the vertical alignment and for the spacing between
+               // cells
+               cell(0).draw(pi, m - dim0.wid / 2, y - dim0.des - dy/2 - dy);
+               cell(1).draw(pi, m - dim1.wid / 2, y + dim1.asc + dy/2 - dy);
        }
        // draw the brackets and the marker
        mathed_draw_deco(pi, x, y - dim.ascent(), dw(dim.height()),
                dim.height(), bra);
        mathed_draw_deco(pi, x + dim.width() - dw(dim.height()),
                y - dim.ascent(), dw(dim.height()), dim.height(), ket);
-       drawMarkers2(pi, x, y);
 }
 
 
@@ -562,12 +759,48 @@ void InsetMathBinom::mathmlize(MathStream & os) const
 }
 
 
+void InsetMathBinom::htmlize(HtmlStream & os) const
+{
+       char ldelim = ' ';
+       char rdelim = ' ';
+       switch (kind_) {
+       case BINOM:
+       case TBINOM:
+       case DBINOM:
+       case CHOOSE:
+               ldelim = '(';
+               rdelim = ')';
+               break;
+       case BRACE:
+               ldelim = '{';
+               rdelim = '}';
+               break;
+       case BRACK:
+               ldelim = '[';
+               rdelim = ']';
+               break;
+       }
+       os << MTag("span", "class='binomdelim'") << ldelim << ETag("span") << '\n'
+          << MTag("span", "class='binom'") << '\n'
+          << MTag("span") << cell(0) << ETag("span") << '\n'
+          << MTag("span") << cell(1) << ETag("span") << '\n'
+          << ETag("span") << '\n'
+                << MTag("span", "class='binomdelim'") << rdelim << ETag("span") << '\n';
+}
+
+
 void InsetMathBinom::validate(LaTeXFeatures & features) const
 {
-       if (kind_ == BINOM)
-               features.require("binom");
-       if (kind_ == DBINOM || kind_ == TBINOM)
-               features.require("amsmath");
+       if (features.runparams().isLaTeX()) {
+               if (kind_ == BINOM)
+                       features.require("binom");
+               if (kind_ == DBINOM || kind_ == TBINOM)
+                       features.require("amsmath");
+       } else if (features.runparams().math_flavor == OutputParams::MathAsHTML)
+               features.addCSSSnippet(
+                       "span.binom{display: inline-block; vertical-align: bottom; text-align:center;}\n"
+                       "span.binom span{display: block;}\n"
+                       "span.binomdelim{font-size: 2em;}");
        InsetMathNest::validate(features);
 }