Zulip Chat Archive

Stream: general

Topic: missing left hand frame on community website


view this post on Zulip 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?

view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Reid Barton (Nov 15 2020 at 23:25):

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

view this post on Zulip 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?

view this post on Zulip Johan Commelin (Nov 16 2020 at 07:02):

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

view this post on Zulip Johan Commelin (Nov 16 2020 at 07:02):

I guess we can abbreviate that to octoburger?

view this post on Zulip 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.

view this post on Zulip Eric Wieser (Nov 16 2020 at 09:36):

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

view this post on Zulip Gabriel Ebner (Nov 16 2020 at 09:38):

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

view this post on Zulip 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!

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Kevin Lacker (Nov 16 2020 at 21:55):

stripe.PNG

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Patrick Massot (Nov 16 2020 at 22:39):

I agree there shouldn't be surprises here.

view this post on Zulip 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.

view this post on Zulip Kevin Buzzard (Nov 16 2020 at 22:59):

(deleted)

view this post on Zulip Reid Barton (Nov 16 2020 at 23:52):

how about takoyaki as a compromise?

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Patrick Massot (Nov 17 2020 at 10:17):

Thanks!


Last updated: May 09 2021 at 19:11 UTC