Thank you for this info.
I'll submit my patch to archweb first.
On Sat, Jun 9, 2018 at 10:30 AM, Lukas Fleischer
wrote:
> 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
---
web/html/css/archweb.css | 12 ++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/web/html/css/archweb.css b/web/html/css/archweb.css
index d8c66aa..54779eb 100644
--- a/web/html/css/archweb.css
+++ b/web/html/css/archweb.css
@@ -708,12 +708,20 @@ table.results {