5월1일 근로자날 공식 휴일인가요?

안녕하세요 .5월 1일은 근로자 날인데

달력에서 보면 빨간 글씨가 안되어 휴일로 지정되어 있지 안는거 같은데

공식 휴일이 아닌건가요?