"Salary": The salary paid to an employee for service to the District or to the Board, including salary paid for vacation and sick leave and any amounts deferred under a deferred compensation plan established under this Code, but excluding (1) payment for unused vacation or sick leave, (2) overtime pay, (3) termination pay, and (4) any compensation in the form of benefits other than the salary.
40 ILCS 5/13-207