rustdoc has 4 different "open sidebar" buttons

[lolbinarycat]

desktop, after resizing the sidebar to nothing:

mobile:

file sidebar:

mobile, after resizing the sidebar to nothing in desktop mode then emulating a mobile layout with devtools (technically this one opens the topbar):

the open file sidebar at least i've heard some people not understanding what it does, thinking it would be some sort of "open sidebar" button or something.

[SciMind2460]

@rustbot claim

[SciMind2460]

I personally think we should use the mobile versions. They seem to work coherently with the others.

[SciMind2460]

@rustbot label A-docs A-frontend

[SciMind2460]

@rustbot release-assignment
I don't have the time right now.

[GuillaumeGomez]

For the file sidebar and the mobile sidebar to share the same icon, I agree, their purpose it the same.

However for the two other images, I don't think it's a good idea as their purpose isn't the same.