Download as button is not responsive

[akshayka]

Hey, big fan of marimo here. I was trying to use WASM to embed it in a website I'm developing. I see this new button isn't quite responsive. Are you planning on making it not visible as a config or put it in the end of the notebook or maybe a bit above?

Originally posted by @jevalentini in #1469 (comment)

[MadGanGithub]

Hi @akshayka @scls19fr @tlpinney @ideoforms @dbrans ,
I'd like to work on this issue. Could you please assign it to me?

[mscolnick]

@MadGanGithub, awesome! i assigned it to you. let me know if you need any help getting setting up - we can chat in discord.

as far as implementation, i was thinking we could have a smaller button (maybe triple dots and minimal with no background).
for responsiveness you can use tailwind's responsive classname utilities (https://tailwindcss.com/docs/responsive-design) to hide and show each button depending on screensize

[mscolnick]

@MadGanGithub, I took this over and snuck the fix in this PR #1845