- os << "\\framebox";
- if (!params_.inner_box) {
- // Special widths, see usrguide ยง3.5
- // FIXME UNICODE
- if (params_.special != "none") {
- os << "[" << params_.width.value()
- << '\\' << from_utf8(params_.special)
- << ']';
+ if (!width_string.empty()) {
+ if (!params_.inner_box) {
+ os << "\\framebox";
+ // Special widths, see usrguide sec. 3.5
+ // FIXME UNICODE
+ if (params_.special != "none") {
+ os << "[" << params_.width.value()
+ << '\\' << from_utf8(params_.special)
+ << ']';
+ } else
+ os << '[' << from_ascii(width_string)
+ << ']';
+ if (params_.hor_pos != 'c')
+ os << "[" << params_.hor_pos << "]";