aboutsummaryrefslogtreecommitdiff
path: root/doc/user/static
AgeCommit message (Expand)Author
2018-04-29doc: Remove reference to non-existent CSS file.Ludovic Courtès
2018-04-29doc: Use the same CSS as the web site.Ludovic Courtès