I've never thought about that and tip as usual based on total price of the check. Maybe something to think about, but the places I go to happy hour are generally a bit more upscale places that are still expensive during happy hour compared to a normal place. So I think the server still get's a good tip overall.