From 668792567e559d6daa52b8ae2a0aaa37fe01f2c0 Mon Sep 17 00:00:00 2001 From: Fardale Date: Wed, 2 Nov 2022 18:40:24 +0100 Subject: [PATCH] Limit the background color of todos --- src/html_util.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/html_util.ml b/src/html_util.ml index a621e7b..1c5bc13 100644 --- a/src/html_util.ml +++ b/src/html_util.ml @@ -129,8 +129,8 @@ let navbar_html ~cur_user ?(top_info_bar=[]) ?(wiki_revisions_link=[]) ?(wiki_pa (if top_info_bar = [] then [] else [div ~a:[a_id "top_action_bar"] top_info_bar]) @ [div ~a:[a_id "page"; a_class ["grid-container"]] - [div ~a:[a_id "navbar";] - (user_greeting @ [br ()] @ search_input @ wiki_revisions_link @ todo_list_table); + [div [div ~a:[a_id "navbar";] + (user_greeting @ [br ()] @ search_input @ wiki_revisions_link @ todo_list_table)]; div ~a:[a_id "content"] content]]