From 1042fe637964ba96dda8351ebc527a43341f227f Mon Sep 17 00:00:00 2001
From: bbassie <badgamernl@gmail.com>
Date: Wed, 27 Jan 2021 22:13:03 +0100
Subject: [PATCH] Make number bold

---
 modules/gui/task-list.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/gui/task-list.lua b/modules/gui/task-list.lua
index d1438cbd..7281f9ed 100644
--- a/modules/gui/task-list.lua
+++ b/modules/gui/task-list.lua
@@ -205,6 +205,7 @@ Gui.element(function(_, parent, task)
         caption = '#)'
     }
     task_number.style.padding = 0
+    task_number.style.font = 'default-semibold'
 
     -- Add name flow this will contain the task label and textbox
     local task_flow = parent.add{