migrate gitter links to discord

[ckipp01]

This follows up the announcement made on https://www.scala-lang.org/blog/2021/12/21/discord.html
that Discord is now the official Scala chat.

[smarter]

There's also the "join chat" gitter button on the front page: https://github.com/lampepfl/dotty/blob/master/docs/_layouts/main.html (and I see references to gitter in css files that could be deleted with that too)

[ckipp01]

There's also the "join chat" gitter button on the front page: https://github.com/lampepfl/dotty/blob/master/docs/_layouts/main.html (and I see references to gitter in css files that could be deleted with that too)

Good catch, I removed a bunch more stuff although I have no idea where that gitter pop out happens. Clicking around and looking at the current site I have no idea where that happens. Am I missing it somewhere? For now I just removed all the gitter stuff.

[smarter]

On http://dotty.epfl.ch/docs/ on the right there is a "OPEN CHAT" button vertically.

[ckipp01]

On http://dotty.epfl.ch/docs/ on the right there is a "OPEN CHAT" button vertically.

Ahh pff of course I glazed right over it. 👍🏼 thanks

[smarter]

Hmm the discord logo is huge: http://dotty.epfl.ch/docs/

[ckipp01]

Hmm the discord logo is huge: http://dotty.epfl.ch/docs/

Really? What are you seeing? I'm seeing:

Firefox

Chrome

Mobile

[SethTisue]

perhaps it simply appears large to Guillaume because he finds it threatening ;-)

it's normal size for me in Safari

[smarter]

In firefox (chrome looks fine):

I use 2x scaling (that is, window.devicePixelRatio returns 2), don't know if that's related.

[ckipp01]

I have no idea. I've been playing around trying to mimic this on firefox and I cant.

What version of Firefox are you using?

[smarter]

I'm using firefox developer edition (the beta branch) at version 96.0b10. If we can't figure out we could just resize the social icons to all be the same 32x32 size?

[ckipp01]

I'm using firefox developer edition (the beta branch) at version 96.0b10. If we can't figure out we could just resize the social icons to all be the same 32x32 size?

They are already set in the css as

.social-icon img {
  height: 20px;
  width: 20px;
}

[smarter]

Oh, I figured it out, I use an adblocker and it has a rule that ends up blocking social-links.css 😓. So we could rename that file to not contain the word "social" or anything else in https://secure.fanboy.co.nz/fanboy-annoyance.txt