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

Martin Panter vadmium+py@gmail.com added the comment:

Maybe related to Issue 24712?

---------- nosy: +martin.panter

_______________________________________ Python tracker report@bugs.python.org https://bugs.python.org/issue32393 _______________________________________