What is the dress code in the buffet?

We are resort casual.  Diners must wear appropriate attire including shoes and shirts. Swimwear, including with cover-ups, is not permitted.