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.

This matches what Sphinx does for the docs, so it lets us keep a
consistent formatting. We don't really care which one we use, but it
seems better to be consistent than inconsistent.

Erik Faye-Lund authored Apr 09, 2021 and Erik Faye-Lund committed Apr 11, 2021

Reviewed-by: Jesse Natalie <jenatali@microsoft.com>

This installs a forward to prevent links to the announcement from
becoming dead after the rename.