From 2733fea18e76381209da19c6b41e8a44804511b4 Mon Sep 17 00:00:00 2001 From: Alvaro Date: Fri, 7 Jun 2024 00:35:58 +0200 Subject: [PATCH] Documentation style --- doc/asl.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/asl.css b/doc/asl.css index 87df018..1e9aeb0 100644 --- a/doc/asl.css +++ b/doc/asl.css @@ -1,5 +1,5 @@ -body, table, div, p, dl { - --font-family-normal: sans-serif; +body, table, table.directory, div, p, dl { + /*--font-family-normal: segoe UI,sans-serif;*/ font: 16px/22px segoe UI,sans-serif; color: #1f2328; }