Looks like they're using unmodified semantic ui[1] based from their screenshot.

1. semantic-ui.com