Zulip Chat Archive

Stream: general

Topic: missing left hand frame on community website


Kevin Buzzard (Nov 15 2020 at 23:18):

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 (Nov 15 2020 at 23:19):

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 (Nov 15 2020 at 23:22):

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

Reid Barton (Nov 15 2020 at 23:25):

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

Adam Topaz (Nov 16 2020 at 00:20):

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 (Nov 16 2020 at 07:02):

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

Johan Commelin (Nov 16 2020 at 07:02):

I guess we can abbreviate that to octoburger?

Gabriel Ebner (Nov 16 2020 at 08:55):

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 (Nov 16 2020 at 09:36):

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

Gabriel Ebner (Nov 16 2020 at 09:38):

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

Kevin Buzzard (Nov 16 2020 at 10:14):

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 (Nov 16 2020 at 21:53):

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 (Nov 16 2020 at 21:54):

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 (Nov 16 2020 at 21:55):

stripe.PNG

Kevin Lacker (Nov 16 2020 at 21:55):

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 (Nov 16 2020 at 22:25):

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 (Nov 16 2020 at 22:26):

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

Patrick Massot (Nov 16 2020 at 22:39):

I agree there shouldn't be surprises here.

Kevin Buzzard (Nov 16 2020 at 22:59):

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 (Nov 16 2020 at 22:59):

(deleted)

Reid Barton (Nov 16 2020 at 23:52):

how about takoyaki as a compromise?

Kevin Lacker (Nov 16 2020 at 23:54):

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 (Nov 17 2020 at 09:42):

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

Patrick Massot (Nov 17 2020 at 10:17):

Thanks!


Last updated: Dec 20 2023 at 11:08 UTC