summaryrefslogtreecommitdiff
path: root/doc/user/static
AgeCommit message (Collapse)Author
2018-04-29doc: Remove reference to non-existent CSS file.Ludovic Courtès
* doc/user/static/main.css: Remove reference to "base.css".
2018-04-29doc: Use the same CSS as the web site.Ludovic Courtès
* web/static: Move to... * doc/user/static: ... this. * web/static: Turn into a symlink. * doc/user/skribilo.css: Remove. * doc/modules/skribilo/documentation/manual.scm: Use "static/manual.css" instead of "skribilo.css". * doc/user/Makefile.am (dist_html_DATA): Remove. (nobase_dist_html_DATA): New variable. * doc/user/static/manual.css: New file.