diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 19:18:54 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 19:18:54 +0100 |
| commit | 7dcdf2572379d5b09d1421af016c2bf1196a94f1 (patch) | |
| tree | 514662b3f9908c5725d163525aba601488f8f9f3 | |
| parent | ef9569455f03fbc3029c661052ea3ac4abddb7d0 (diff) | |
html: Remove unnecessary classes from /help.
| -rw-r--r-- | mumi/web/view/html.scm | 4 |
1 files 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") ", " |