style the index page of docs.gnunet.org a bit more.
[oweals/gnunet.git] / doc / handbook /
drwxr-xr-x   ..
-rw-r--r-- 80 .gitignore
-rw-r--r-- 4839 Makefile.am
-rw-r--r-- 3836 TODO
-rw-r--r-- 34413 agpl-3.0.texi
drwxr-xr-x - chapters
-rw-r--r-- 1704 docstyle.css
-rw-r--r-- 23431 fdl-1.3.texi
-rwxr-xr-x 17003 gendocs.sh
-rw-r--r-- 3520 gendocs_template
-rw-r--r-- 3252 gendocs_template_min
-rw-r--r-- 7480 gnunet.texi
-rw-r--r-- 35087 gpl-3.0.texi
-rw-r--r-- 21117 htmlxref.cnf
drwxr-xr-x - images
-rw-r--r-- 1383 manual.css
-rw-r--r-- 2596 reset.css
-rwxr-xr-x 480 run-gendocs.sh
-rw-r--r-- 4564 style.css