web/download: remove developer repos and cleanup
authorTimothy Gu <timothygu99@gmail.com>
Tue, 11 Mar 2014 03:18:03 +0000 (20:18 -0700)
committerLou Logan <lou@lrcd.com>
Thu, 13 Mar 2014 22:19:35 +0000 (14:19 -0800)
commitcb17d7339c2a12d8bb36d3000f229d924e092d0c
treefbd1d3ef947656943fe3f2995f108b8510cc5eed
parent639b5a1390d1df2b7acc64034831dd237cd2ec7b
web/download: remove developer repos and cleanup

* Showing the developer repos is very confusing to newcomers to this website
* Half of the developer repos are dead.
* There are 599 forks on GitHub, many of them have constructive edits, and it
  is impossible to list them all out.
* Also adds a dedicated "mirror" section.
* Fix GitHub snapshot URL.
* The CSS changes are needed to keep the table as pretty as it is now.
  Suggestions welcome.

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
htdocs/default.css
src/download