case Boxed:
os << "\\framebox";
if (!params_.inner_box) {
- os << "{\\makebox";
// Special widths, see usrguide ยง3.5
// FIXME UNICODE
if (params_.special != "none") {
os << "\\end{framed}";
break;
case Boxed:
- if (!params_.inner_box)
- os << "}"; // for makebox
os << "}";
break;
case ovalbox: