Improving the D documentation web presentation

[Gabriel]

On Friday, 29 May 2020 at 21:12:18 UTC, Adam D. Ruppe wrote:
> On Friday, 29 May 2020 at 07:39:59 UTC, WebFreak001 wrote:
>> meh, still 1.1rem font size :p
>
>
> So after removing this some of the irc gang said they don't 
> like how big the sidebar nav is.
>
> It is the same as it was before.... but with the main body 
> shrunk and with the different fonts they look out of proportion.
>
> So my options seem to be:
>
> 1) tell users to deal with it 8)
>
> 2) change the nav font to match the body font. That's actually 
> the way I used to do it but someone previously thought the code 
> font looked better so I changed it... hesitant to change it 
> back since I'm trying to please everyone.
>
> 3) Make the nav text a bit smaller, like 0.9rem or whatever.
>
> 4) put my precious 1.1rem back.
>
>
> What's your view?

Fonts and Fonts: While some experts argue that these terms mean 
two different things, modern usage is synonymous. In web context, 
a font or font is a set of letters, symbols and punctuation marks 
of a similar design and packed together into a single computer 
file.
Font family: A font family includes many different fonts that are 
similar except for stroke thickness and italics. If you plan to 
use normal, bold and italicized fonts, include at least three 
fonts or fonts for each font family you intend to use.
Typography: A broad term covering font choices as well as topics 
such as color, size, character spacing, line drawing and 
alignment. Web typography is the discipline of designing text for 
web presentation.