summaryrefslogtreecommitdiff
path: root/doc/user/static/main.css
AgeCommit message (Expand)Author
2018-04-29doc: Remove reference to non-existent CSS file.•••* doc/user/static/main.css: Remove reference to "base.css". Ludovic Courtès
2018-04-29doc: Use the same CSS as the web site.•••* 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. Ludovic Courtès