CSS: Space out <li> items more (except in TOCs)
treecedcbc3edd0e4644983ff8c3311e393b1a53855d
-rw-r--r-- 18787 COPYING
drwxr-xr-x - cogito
drwxr-xr-x - course
-rw-r--r-- 164 favicon.png
-rw-r--r-- 275 git-logo.png
-rw-r--r-- 17208 index.html
drwxr-xr-x - stylesheets
-rwxr-xr-x 780 update.sh