[PATCH 1/1] Highlighting row on hover in the search results. FS#53612

[Lukas Fleischer]

On Fri, 08 Jun 2018 at 23:04:20, nodivbyzero wrote:
> ---
>  web/html/css/archweb.css | 12 ++++++++++--
>  1 file changed, 10 insertions(+), 2 deletions(-)
> [...]

We keep this in sync with the actual archweb CSS. So instead of doing
this, we should copy and commit the most recent version from archweb.