Include prettier fonts

[jacobbednarz]

• Adds consistent font
• CSS tidy up

[GrahamCampbell]

Why have you changed the indentation? Can you clean it up, while retaining 4 spaces for indentation?

[jacobbednarz]

The file itself didn't show a particular way so I just went with my usual defaults. Happy to update this to be 4 space indents.

[GrahamCampbell]

Looking at the original file in blame mode, it's clear that it should have been 4 spaces. Other contributors seem to have used different indentations.

[denis-sokolov]

It's really doesn't matter what's the existing style, even if it's messy as it's in this file.
It's preferred if your PR only contains commits directly related to the PR, in this case, it's 98cae75.

All the rest is suggesting cleanup. And while it's possibly a very good suggestion, it's not helping to have to decide on it together with the great suggestion of adding fonts.

[jacobbednarz]

Looking at the original file in blame mode, it's clear that it should have been 4 spaces. Other contributors seem to have used different indentations.

While this is true I don't think it should be the contributors responsibility to sift though blame views and history in order to find out which coding style was used first. If it's not evident from your code or guidelines which is the preferred style then I think you can't expect people to pick up in this.

All the rest is suggesting cleanup. And while it's possibly a very good suggestion, it's not helping to have to decide on it together with the great suggestion of adding fonts.

Understood. This type of thing I would usually break up but as the changes were more formatting related, I just separated them into individual commits. If you really want these broken up into their own pull requests I can also do that. Will keep this in mind for future pull requests.

[jacobbednarz]

Updated to use 4 space indents.

[denis-sokolov]

I have merged in commits 98cae75 and 71103c1, the actual fonts stuff, in 542400d.
Thank you for your contribution, this was a good idea!

Sorry, but I won't be merging cleanup commits in.
That's a lot of reformatting (and thus, complicating merges and blames) for no obvious benefit.