[Web] Fix splash screen background color in HTML shell

[patwork]

Info

I would like to propose a small amendment to the new splash screen related to the background color. My first version used #38363A which came from the div #status-progress of the previous splash screen, but to be consistent with other exporters, the correct background color should be the same as the default application/boot_splash/bg_color from Project Settings, which is #242424.

main/main_builders.py

# Use a neutral gray color to better fit various kinds of projects.
g.write("static const Color boot_splash_bg_color = Color(0.14, 0.14, 0.14);\n")

Difference

Before:

After:

Notes

In the future, it may be possible to pass information to the HTML shell about user settings such as application/boot_splash/bg_color or application/boot_splash/show_image. For now, we can add information in the documentation that it is easy to modify the background color by typing CSS in the Head Include field:

<style>
#status { background: radial-gradient(circle, rgba(15,15,121,1) 0%, rgba(25,224,56,1) 100%); }
</style>

Similarly, you can hide the splash image by typing:

<style>
#status-splash { display: none; }
</style>

[akien-mga]

Thanks!