Erik Faye-Lund authored Jun 29, 2021 and Erik Faye-Lund committed Aug 12, 2021

Bootstrap 5 has some regressions in how it renders horizontal rules. See
this upstream ticket for details:

https://github.com/twbs/bootstrap/issues/34374



While this is being fixed, let's work around this on our own end.
Acked-by: Eric Engestrom <eric@engestrom.ch>

Bootstrap has removed the jumbotron-component from Bootstrap 5, so let's
implement our own instead.
Acked-by: Eric Engestrom <eric@engestrom.ch>

In commit d8b10296 ("footer: use h6 instead of strong"), I opted for a
bit more semantical HTML, but it seems that dropping the strong-tag here
had an unexpected side-effect; the boldness might have just been a bit
less on my system, but it seems on other systems it's a *lot* less bold.
In fact, not bold at all.

It turns out, this depends on the fonts installed on the system, and
Bootstrap uses a default font-weight of 500 for headings. This looks
fine most places, but in the footer here, we *really* want the headings
to stand out from the rest.

So let's add back some boldness. By doing this in the CSS instead, we
get to keep the semanticness of the HTML without having to sacrifice the
look. The value of 600 was picked by a bit of trial-and-error; both
systems I have where this doesn't render well as-is is fixed at 550 and
above, but let's bump it a bit more to be sure.

The columns look a bit confusing when they're not either fully
horizontal or fully vertical. So let's change this so they stack
horizontally on wide displays, and vertically on narrow displays.

The VMWare SVGA driver is a layered driver just like the others here, so
let's add it to the list.
Reviewed-by: Charmaine Lee <charmainel@vmware.com>
Reviewed-by: Jose Fonseca <jfonseca@vmware.com>

We're currently YOLOing the margins and padding around main pretty badly,
leading to slight inconsistencies between the different page-types.

This makes it consistent; we now have a margin of 3 (which is bootstrap
for 1rem) around all main-tags. To render more or less the same, we need
to make some page-specific adjustments, like reducing a jumbotron-margin
on the home-page.

The only functional change should be the margin at the bottom of the
404-page, which is not smaller, like on other pages. It seems better to
be consistent here.

This makes the headings a bit semantically stronger, but slightly
changes the styling; we now get some spacing under the headings, and
they're a bit less heavy.

Instead of setting the color everywhere just to avoid setting the color
on the headers, set the colors on the headers, and make links in the
footer inherit the color setting.

While we're at it, set the color to text-dark instead of text-body
(which is the default). This just decreases the contrast here ever so
slightly, to give these heading a tiny bit less emphasis. The difference
is almost impossible to see, but it makes a bit more semantic sense.

This isn't a list, so let's not use a list for it. It's just two
independent items, and it makes the hard-coded padding a bit less
awkward by turning them into paragraphs.

We never align these next to each other, because they're not in a
row-tag to start with. And that's fine, but these col-tags makes no
sense this way. So let's just remove them.

We don't really need to specify col-12 for this one, as it doesn't do
anyhing funky, it's just another div at the end.

But while we're at it, move it out of the row, because otherwise it'll
be a bit too large, due to negative margins. This makes this look a bit
less oddly sized compared to the rest of the content.

The text-div isn't useful; it has no styling, and it doesn't force any
layout decisions. Just get rid of it.

Erik Faye-Lund authored May 13, 2021 and Erik Faye-Lund committed May 19, 2021

We don't use the bootstrap components that require poppler, so we can
drop the entire script.

Pick your favourite of the 3 web development references:
- https://developer.mozilla.org/en-US/docs/Web/CSS/@media/prefers-reduced-motion
- https://web.dev/prefers-reduced-motion/
- https://css-tricks.com/introduction-reduced-motion-media-query/

Also fix a typo in the 'reverse-engineered' sentence to stay
consistent with the other drivers.
Signed-off-by: Erico Nunes <nunes.erico@gmail.com>

When I added the D3D12 driver, I accidentally added it to the end rather
than adding it sorted like the rest of the drivers where.

This detail only really made sense since Zink was mentioned first. But
we should really sort this list alphabetically, which I do in the
following commit.

This makes it slightly easier to find what's missing, and it explains a
bit better what these drivers do.