Add icons to navbar

[klieret]

Not sure about this, but I was playing around with having icons in the navbar, e.g.

might be a bit cluttered

[hegner]

looks quite nice!

[hegner]

@graeme-a-stewart - what's your take on this? The code change itself is trivial

[eduardo-rodrigues]

Looks good to me too 👍 .

[klieret]

Hi! When we were discussing this in the coordination meeting one of the recommendations was to have a bit more space between icon and text. We didn't exactly take a vote, but I got the feeling that this PR was a bit more controversial (?)

[graeme-a-stewart]

Hi - thanks @klieret, I do like the idea. As @eduardo-rodrigues said I think it looks better with a little more space between the icon and the text, which I added on the last commit (I don't know if there's a better way than   but I am not a CSS person.

[graeme-a-stewart]

There is one weirdness still remaining though - the bottom margin between the HSF on the LHS and the rest of the icons are now misaligned by a few pixels. Does anyone know how to fix that?

[graeme-a-stewart]

Still need to fix misalignment

[klieret]

I can take a look later this week again. Perhaps I can figure out the alignment issue

[klieret]

The issue of the misalignment is due to conflicting padding settings in hsf.css:

/* The logo */
.navbar-brand {
    height: 40px;
    padding: 12.5px 15px;
    font-size: 15px;
}

/* This is the rest of the items */
.navbar-nav > li > a {
    padding-top: 9.5px;
    padding-bottom: 9.5px;
}

let me fix that

[klieret]

[graeme-a-stewart]

Thanks @klieret - the fix is perfect 👍