According to "stephenhutchings", the set of icons is named typicons. https://github.com/stephenhutchings/typicons.font