Need to insert additional whitespace when switching from italic to roman
When switching from italic to roman, insufficient space is left, so the last italic character runs into the first roman one. Specifically, when documenting an optional function argument, you end up with something like:
Depending on details of the specific fonts involved, the result ranges from unattractive to unreadable.
This was originally opened as a bug against the MongoDB docs. The MongoDB folks closed the ticket as "Won't Fix, it's Sphinx' fault", so I'm opening it here. See https://jira.mongodb.org/browse/PYTHON-627 for background.