Inheritance tree diagrams has pixelated font.
When compring .pdf documentaation to verify !704 (merged) correctness I noticed this bug:
It has nothing to do with !704 (merged), but needs a fix. I recall 2 years ago, when I was uplifting the inheritance trees I had some similar problem with these diagrams. Apparently the problem came back.
EDIT: 2 years ago this problem only appeared locally on my PC, not in any of the docker builds and by then I used a hackish local workaround: I edited the /usr/lib/python3/dist-packages/sphinx/ext/graphviz.py
file, and in function def latex_visit_graphviz(…)
I added these two lines:
def latex_visit_graphviz(self, node):
if('-Gdpi=400' not in self.builder.config.graphviz_dot_args): # HACK
self.builder.config.graphviz_dot_args.extend(['-Gdpi=400']) # HACK
warn_for_deprecated_option(self, node)
render_dot_latex(self, node, node['code'], node['options'])
of course we don't do something like this. It's just a hint about the direction to fix this, like maybe fiddling with sphinx options somewhere.