海の日
海の日は、1995年（平成7年）に制定され、1996年（平成8年）から施行された日本の国民の祝日の一つである。制定当初は7月20日だった。2003年（平成15年）の祝日法改正（ハッピーマンデー制度）により、7月の第3月曜日となった。
振替休日
当初は祝日が2日以上連続することがなかったため、「国民の祝日の日曜日の翌日の月曜日」としていた。しかし2005年の国民の祝日に関する法律の改正（2007年施行）で、4月29日が「昭和の日」となり、「みどりの日」が4月29日から5月4日へ変更。5月3日から5月5日まで祝日が3日連続することになり、その直後の「国民の祝日の日曜日の翌日の月曜日以降の国民の祝日でない祝日の翌日」を休日とすることと改められ振替先が月曜日固定ではなくなった。理由は、国民の祝日とその前日の日曜日の祝日の振替休日の重複を避けるためである。その月曜日以外の振替休日の初適用日は2008年の5月6日（火）となった。これは同年の「みどりの日」（5月4日）が日曜日となり、翌5日（月）は「こどもの日」でやはり祝日であることより、「みどりの日」の振替分が6日の火曜日となったからである。月曜日以外の振替休日が、2009年の5月6日（水）も適用された。これは同年の「憲法記念日」（5月3日）が日曜日となり、翌4日（月）は「みどりの日」でやはり祝日であること、翌5日（火）も「こどもの日」でやはり祝日であることより、「憲法記念日」の振替分が6日の水曜日となったからである。