W11: Tweaks

This week was spent almost exclusively tweaking the new front end further, including fiddling with colors, fixing some layout issues etc. The latest demo of the front end can be found here:

• The Julia manual: https://mortenpi.eu/gsoc2019-mockups/bulma/v13/julia/
• Showcase page: https://mortenpi.eu/gsoc2019-mockups/bulma/v13/documenter/showcase/

To expose the new front end to more users and get a little bit more feedback on it, I opened a PR against the main Julia repository, advertising the new front end: JuliaLang/julia#32865. Only a version bump is needed to change the main repo to use the new front end.^[1]

In addition to working on the main PR, I also opened two follow-up ones that implement additional features:

• A Documenter.HTML option for hiding sitename in sidebar (#1089).
• Allow specifying a different logo for the dark theme (#1090).

As the main PR is massive enough already, I opened these separately to make the code review easier.

Finally, somewhat tangentially, I also submitted a small fix to how the admonition color is determined when printing Markdown in the Julia REPL (e.g. when printing docstrings with help?>; JuliaLang/julia#32839).

Next week I will focus on creating APIs for user-defined assets in the HTML front end. I did some work on that earlier in GSoC already (JS dependency API).