[docs] [issue32393] nav menu jitter in old documentation

Martin Panter added the comment: Maybe related to Issue 24712? ---------- nosy: +martin.panter _______________________________________ Python tracker https://bugs.python.org/issue32393 _______________________________________