again, it seems that too much depends on how the browser responds to worry too much over the exact output. either preformat if spacing is paramount, or stick with the known, consistent font output if not.
with HTML you have much more control, but with this "markup" I don't think there's much more you can do.