Mintinstall.py - Replace dot button

[Hilyxx]

This commit reworks the banner buttons:

• Rework dots as visual indicators and add arrow buttons for slide navigation.
• Add a transparent black frame to avoid visibility problems between banner colors and dots.

Before :

After :

[AxeldeWater]

Have you thought of combining the two? Like having arrows next to the dots on either side? Because getting rid of the dots completely is also impractical, it's nice to see how many slides there are.

[Hilyxx]

@AxeldeWater

The dot buttons were initially placed below the banner. The developers decided to move them inside the banner, and I respect their choice.
However, this placement causes visibility problems with dark-colored banners. The buttons are rather unattractive (in my opinion) and slightly reduce accessibility. The buttons are small and can easily be missed when unintentionally clicking on the banner.

I don't want to complicate the code by adding dot buttons with the same function as the arrow buttons. I could add smaller dots that would serve as a visual indicator of the number of slides, but the legibility problem would remain.

I also need @mtwebster to agree with the original idea before I change anything.

[AxeldeWater]

I could add smaller dots that would serve as a visual indicator of the number of slides

I think that would be nice

[Hilyxx]

@AxeldeWater

I added dots as a visual indicator and with a transparent black frame to avoid visibility problems with the banner colors.
Overall, I think the rendering looks pretty good. (PR isn't updated for now)

Or this one

[AxeldeWater]

What do you think of the second option, but in the middle? That would be the perfect solution in my opinion.

[clefebvre]

Very nice!

I'd prefer it on the right, like in second screenshot. We're close to release though and this is a very nice improvement already, so I'm merging it as it is for now. Well done.

[Hilyxx]

Thank you @clefebvre

If you want, I can make a quick commit to restore the buttons on the right side of the banner.