I have looked at this.
Their css is made using style names most people would never think of, using special characters.
The code showing those numbers is a server-side script.
Reputation Points: 730
Solved Threads: 181
Nearly a Senior Poster
Offline 3,314 posts
since Jan 2007