download all originals (max 1 GB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
 ex.js
| Text File | 17 | 353 b | 2008-11-24 |
| highlight.js
| JavaScript | 259 | 8.0 KB | 2007-01-16 |
| search.js
| Text File | 1,009 | 37.7 KB | 2008-12-01 |
| settings.js
| JavaScript | 64 | 1.8 KB | 2008-12-01 |
| zoom_index.js
| Text File | 43,302 | 3.2 MB | 2008-12-01 |
| zoom_pageinfo.js
| Text File | 1,097 | 90.8 KB | 2008-12-01 |