From bbd62b1428a7c7e766b4805976002be0c03c2341 Mon Sep 17 00:00:00 2001 From: Karchnu Date: Sat, 6 Nov 2021 08:08:19 +0100 Subject: [PATCH] Source-highlight output definition configuration. --- .source-highlight_groff-output-definition | 71 +++++++++++++++++++++++ 1 file changed, 71 insertions(+) create mode 100644 .source-highlight_groff-output-definition diff --git a/.source-highlight_groff-output-definition b/.source-highlight_groff-output-definition new file mode 100644 index 0000000..b7adfd8 --- /dev/null +++ b/.source-highlight_groff-output-definition @@ -0,0 +1,71 @@ +extension "groff" +doctemplate +" +.MT 0 +$header +.TL +$title +.AU \"\" +.ND +.SA 0 +.DS I +" +".DE +$footer +" +end + +nodoctemplate +" +" +" +" +end + +bold "\f[CB]$text\fP" +italics "\f[CI]$text\fP" +underline "\f[CI]$text\fP" +fixed "\fC$text\fP" +color "\m[$style]$text\m[]" + +anchor "$infilename : $linenum - $text" +reference "$text \(-> $infile:$linenum, page : $infilename:$linenum" + +#lineprefix "\fC\(em\fP " +#lineprefix "\fC\n(ln\fP " + +lineprefix "" + + +colormap +"green" "green" +"red" "red" +"darkred" "darkred" +"blue" "blue" +"brown" "brown" +"pink" "pink" +"yellow" "yellow" +"cyan" "cyan" +"purple" "purple" +"orange" "orange" +"brightorange" "brightorange" +"brightgreen" "brightgreen" +"darkgreen" "darkgreen" +"black" "black" +"teal" "teal" +"gray" "gray" +"darkblue" "darkblue" +default "black" +end + +translations +"\\" "\\\\" +##"\n" " \\\\\n" +##" " "\\ " +##"\t" "\\ \\ \\ \\ \\ \\ \\ \\ " +"\t" " " +"|" "|" +"---" "\(em" +"--" "\(mi" +end +