We recently fixed DefinitionTooltip being broken due to a styling change we had made to fix the scroll behavior of inline Latex. However, we could not easily fix an edge case where you have both a DefinitionTooltip and the Latex in the same paragraph. So, for now, we document the edge case.
We recently fixed DefinitionTooltip being broken due to a styling change we had made to fix the scroll behavior of inline Latex. However, we could not easily fix an edge case where you have both a DefinitionTooltip and the Latex in the same paragraph. So, for now, we document the edge case.