If I work Tuesday to Friday - ie 80% of full time - do I get 80% of my old leave entitlement - or 80% of 80% ? Also what should happen re Bank holidays - do I just get 7 days a year less leave than my colleague doing Monday to Thursday ? TIA