From 7dcdf2572379d5b09d1421af016c2bf1196a94f1 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 20 Dec 2022 19:18:54 +0100 Subject: html: Remove unnecessary classes from /help. --- mumi/web/view/html.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index bbae270..8339ea4 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -315,8 +315,8 @@ some examples.") (@ (class "table")) (thead (tr - (th (@ (class "col-md-3")) "Filter") - (th (@ (class "col-md-9")) "Description"))) + (th "Filter") + (th "Description"))) (tbody (tr (td (span (@ (class "filter")) "is:open") ", " -- cgit v1.2.3