חישוב חצאי ימי חופשה בימי חוה"מ

במשרדנו נוהגים לשאת בנטל ימי חופשות חול המועד בכ50% , כלומר עובד שלוקח חופש בחוה"מ יחוייב רק בחצי יום חופש, האם חישוב חצי יום עבור עובד במשרה חלקית חצי היום שלו יחושב עלפי משרתו או על פי חצי יום ממשרה מלאה? כלומר עובד שלצורך העניין משרתו היא 7 ש"ע האם חצי יום חופש הוא 3.5 ש"ע או 4.15 על פי משרה מלאה?