missing left hand frame on community website

Stream: general

[Kevin Buzzard]

chrome.png firefox.png

With firefox (on Ubuntu 18.04) I'm missing the frame on the left when I go to the mathlib docs page. Is this my fault somehow?

[Kevin Buzzard]

It's been like this for ages, it's just that I'm now beginning to be a bit annoyed by it so thought it might be time to ask. Can someone else reproduce?

[Reid Barton]

I think some responsive css is hiding the left panel--try pressing ctrl-minus a few times

[Reid Barton]

note that you have a compensating purple :octopus: in the top right

[Adam Topaz]

Maybe the :octopus: should be on the top left? Or maybe we should have one of those three line "open menu" icons on the top left?

[Johan Commelin]

The "purple-octopus-hamburger-menu-emoticon" ??

[Johan Commelin]

I guess we can abbreviate that to octoburger?

[Gabriel Ebner]

Reid is right, this is intentional. Kevin, your screen is too small so you have to click on the octopus to open the navigation sidebar. I find the octopus cute but we should change it if it causes usability issues.

[Eric Wieser]

Is there any way to get the right sidebar on narrow screens?

[Gabriel Ebner]

Without resorting to devtools, I don't think so.

[Kevin Buzzard]

Reid Barton said:

note that you have a compensating purple :octopus: in the top right

Oh, I had no idea that that octopus did anything. Thanks!

[Kevin Lacker]

yeah typically the icon to open the nav bar would be on the left. also typically it would not be an octopus ;-) look at stripe's API docs for an example: https://stripe.com/docs/api

[Kevin Lacker]

you can see their mobile design if you just shrink your browser window. when the window is small enough the nav bar becomes just a drop down menu, and the top bar becomes pinned to the top of the screen

[Kevin Lacker]

stripe.PNG

[Kevin Lacker]

the easiest way to do this stuff IMO is using some ui package like bootstrap, where they'll just provide a "Navbar" object that'll have some reasonable behavior for you. i dunno what frontend stuff the docs are using now

[Adam Topaz]

It is somewhat counter-intuitive that, in order to open the menu on the left, you have to click an octopus on the right.

[Adam Topaz]

And a :hamburger: is used on the front-page, whereas an :octopus: is used on the api-docs page.

[Patrick Massot]

I agree there shouldn't be surprises here.

[Kevin Buzzard]

We can't rule out the possibility that I'm a stupid old man of course, but I think I would have been much more likely to click on a $\equiv$ when I couldn't find what I was looking for.

[Kevin Buzzard]

(deleted)

[Reid Barton]

how about takoyaki as a compromise?

[Kevin Lacker]

imagine a UI developer being like, yeah I know mathematicians typically use the "+" sign to add things. I just decided to use an octopus emoji in this proof as my sign for addition because I like octopus emojis

[Gabriel Ebner]

Okay, due to popular demand the octopus has now been cooked into a hamburger and put on the left side.

[Patrick Massot]

Thanks!