Avoid hardcoded base font size

Do not hardcode 16px as base font size, as it can be way bigger than what the user has as configured font size in their browser.

Also adapt the font size for the panel headings to be relative, rather than again absolute.

Sadly this manually edits the minimized bootstrap CSS...