break;
case InsetSpaceParams::THIN:
if (runparams.find_effective())
- os.put(0x2009);
+ os.put(0x202f);
else
os << (runparams.free_spacing ? " " : "\\,");
break;
case InsetSpaceParams::ENSPACE: // HTML: ⁠ ⁠ (word joiners)
return "⁠ ⁠";
case InsetSpaceParams::THIN:
- return " "; // HTML: &thinspace;
+ return " "; // HTML: &thinspace;
case InsetSpaceParams::MEDIUM:
return " "; // HTML:  
case InsetSpaceParams::THICK:
SpaceInfo const & si = space_info[space_];
switch (si.kind) {
case InsetSpaceParams::THIN:
- ms << from_ascii(" "); // HTML:  
+ ms << from_ascii(" "); // HTML:  
break;
case InsetSpaceParams::MEDIUM:
ms << from_ascii(" ");