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