[Amended 10-15-2014 by Ord. No. 22-2014]
The official holidays with pay which are observed by the Borough are as follows:
New Year's Day
Martin Luther King Day
Lincoln's Birthday
President's Day
Good Friday
Memorial Day
Independence Day
Labor Day
Columbus Day
General Election Day
Veterans Day
Thanksgiving Day
Day after Thanksgiving
Christmas Day
Where it is necessary to maintain service requiring an employee to work on an official holiday, the employee may be compensated by being permitted to take an equal amount of time off with pay on a regular working day at a time approved by the department head. In the event that an official holiday occurs while an employee is on sick leave, he/she shall not have that holiday charged against his/her sick leave.