Theme: reduce bundle size with CSS optimization

[benjaminParisel]

To reduce the size of our site, we can check if some part of CSS is unused in our final bundle.

We started our theme from the default Antora CSS theme.

Many tools are available to do it, for example, https://unused-css.com/

Here is the result for only the first page of the 2022.2 version.