summaryrefslogtreecommitdiff
path: root/doc/user/static/manual.css
AgeCommit message (Expand)Author
2018-04-29doc: Use the same CSS as the web site.Ludovic Courtès