summaryrefslogtreecommitdiff
path: root/extras/html/source-highlight-styles
AgeCommit message (Expand)Author
2024-05-18add support for GNU Source Highlight CSS styles, e.g. to have a darker style.Paul Buetow