Hacker News Reader

I believe that it's handling the browser differences server-side.

Is there any specific benefit to doing this? Does it decrease the number of files loaded?

it decreases the size of the CSS file slightly since you don't have to repeat every browser's version