How much to tip in Tunisian all-inclusive hotels?

So we went on vacation to a 4 star hotel, and generally tipped 2-3 times a day to bartenders, waiters and cleaning staff. We gave out a few 20tnd, 5 dollars and mostly 10s tnd. Everyone we tipped started treating us like royalty, and I was wondering how much is it for a normal waiter/bartender? I tried to Google, but it said they earn anywhere between 300-4000 a month