So I’ve been configuring my AwesomeWM theme on Linux and I came across this issue. Now I’m not an expert programmer of course so I thought I’d come here to ask for help. I’ve been trying to check if the day of the month is a number from 1 to 9, which will then change the padding of the focused