Why did federal and many state workers get a paid day off for Gerald Ford's funeral?

President Bush declared it a national day of mourning, it is customary when an ex-president dies. Yes, they will even do it when Carter kicks the bucket.