/* tools-benefit-table.css - Employee benefit table tool screen.
   Owned by another batch; this file is intentionally empty for now. */