aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/custom.css
AgeCommit message (Expand)Author
2022-12-05disallow selecting shell prompt in code samplesValentin Gagarin
2020-08-19Improve margins between sectionsEelco Dolstra