You are right. In Lockscreen Style: Online Lockscreen Styles there is nothing to download.
The Online Lockscreen Styles section is brand new this week I think. Many of the .png files that are used in theming the lockscreen have changed in the past week or two. I guess the themers have not caught up yet.