Need to insert additional whitespace when switching from italic to roman

Roy Smith avatarRoy Smith created an issue

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:

foo([uri])

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.

Comments (0)

  1. Log in to comment
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.