+
+HtmlStream & operator<<(HtmlStream & ms, char c)
+{
+ ms.os() << c;
+ return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, char_type c)
+{
+ ms.os().put(c);
+ return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, MTag const & t)
+{
+ ms.os() << '<' << from_ascii(t.tag_);
+ if (!t.attr_.empty())
+ ms.os() << " " << from_ascii(t.attr_);
+ ms << '>';
+ return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, ETag const & t)
+{
+ ms.os() << "</" << from_ascii(t.tag_) << '>';
+ return ms;
+}
+
+
+HtmlStream & operator<<(HtmlStream & ms, docstring const & s)
+{
+ ms.os() << s;
+ return ms;
+}
+
+
+//////////////////////////////////////////////////////////////////////
+
+
+SetMode::SetMode(MathStream & os, bool text)
+ : os_(os), opened_(false)
+{
+ init(text, "");
+}
+
+
+SetMode::SetMode(MathStream & os, bool text, string const & attrs)
+ : os_(os), opened_(false)
+{
+ init(text, attrs);
+}
+
+
+void SetMode::init(bool text, string const & attrs)
+{
+ was_text_ = os_.inText();
+ if (was_text_)
+ os_ << "</mtext>";
+ if (text) {
+ os_.setTextMode();
+ os_ << "<mtext";
+ if (!attrs.empty())
+ os_ << " " << from_utf8(attrs);
+ os_ << ">";
+ opened_ = true;
+ } else {
+ if (!attrs.empty()) {
+ os_ << "<mstyle " << from_utf8(attrs) << ">";
+ opened_ = true;
+ }
+ os_.setMathMode();
+ }
+}
+
+
+SetMode::~SetMode()
+{
+ if (opened_) {
+ if (os_.inText())
+ os_ << "</mtext>";
+ else
+ os_ << "</mstyle>";
+ }
+ if (was_text_) {
+ os_.setTextMode();
+ os_ << "<mtext>";
+ } else {
+ os_.setMathMode();
+ }
+}
+
+
+//////////////////////////////////////////////////////////////////////
+
+
+SetHTMLMode::SetHTMLMode(HtmlStream & os, bool text)
+ : os_(os), opened_(false)
+{
+ init(text, "");
+}
+
+
+SetHTMLMode::SetHTMLMode(HtmlStream & os, bool text, string attrs)
+ : os_(os), opened_(true)
+{
+ init(text, attrs);
+}
+
+
+void SetHTMLMode::init(bool text, string const & attrs)
+{
+ was_text_ = os_.inText();
+ if (text) {
+ os_.setTextMode();
+ if (attrs.empty())
+ os_ << MTag("span");
+ else
+ os_ << MTag("span", attrs);
+ opened_ = true;
+ } else
+ os_.setMathMode();
+}
+
+
+SetHTMLMode::~SetHTMLMode()
+{
+ if (opened_)
+ os_ << ETag("span");
+ if (was_text_)
+ os_.setTextMode();
+ else
+ os_.setMathMode();
+}
+
+