An employee with available personal leave is entitled to use the leave for compensation during a term of active military service. "Personal leave" includes personal or sick leave available under former law or provided by local policy. Education Code 22.003(d), (e) [See DECB]