Yes, we should fix this :)

But should we fix it byremovingtext-size, and not reducing the font size? So essentially maintain the status quo? I think I prefer the bigger ">>>" button:

Status quo: not settingfont-size

https://python-docs-theme-previews.readthedocs.io/en/latest/tutorial/introduction.html#numbers

PR:font-size: 75%;

https://python-docs-theme-previews--178.org.readthedocs.build/en/178/tutorial/introduction.html#numbers

From one point, it fixes the CSS, from the other point, it makes the element a bit small

As I was writing, you posted the same thing as well. I think that removal of thetext-size property would be more desirable and if 2 people have the same idea independently, I guess that it's a valid point.

P.S. I as well did my life harder by forgetting to make a new branch. Also I will use rebase this time because I forgot to setup my name, email and signing key.

@pradyunsg What do you think?

Good catch, and looks like this is good to merge! :)