Increase size of the webtool's header

[AnneSchoenauer]

Dear @maurolepore,

Can we please make the headers of the webtool bigger. I also had a look here:

See if what you want can be changed by adjusting one of these arguments: https://rstudio.github.io/bslib/reference/bs_theme.html#arguments

Apparently there is an argument which is called heading_font. I however was not able to customise this in the live-themer. I remember that there where this option but when I changed it, for any reasons it didn't show up. So could you experiment a bit and let me know which number you gave to the argument and I can then see if we still need to adjust it or not.

Thanks a lot! Best Anne

[maurolepore]

Thanks @AnneSchoenauer, I'll follow up.

For now here's what I see in the docs:

• header_font seems to control the font faze not the font size.
• font_scale seems to control the font size but globally. This should be easy but it's not specifically for the header.

I would avoid or postpone tweaking specific components of the theme because of two reasons:

1. The theme-proportions were set by expert web designers. Changing them might not be a good idea.
2. It seems more complicated than just passing a different value. For a web-developer with experience in CSS it should be easy but for me it may take quite some time. If that's what we want, then I see some examples of low-level theming customizations showing how to change CSS properties, e.g.:

  "font-size-base" = "1.4rem",

[maurolepore]

• Closing in favor of #182