Davide P. Cervone 4eba6476a8 Change URL of docs page in docs menu layout		2011-03-08 13:38:03 -05:00
..
static	Change size of heading borders	2011-03-06 13:16:43 -05:00
layout.html	Change URL of docs page in docs menu layout	2011-03-08 13:38:03 -05:00
theme.conf	Add Makefile and update docs dir structure for new Sphinx conventions. Use make html in docs/ to rebuild.	2011-01-21 21:15:26 -08:00