share/ansi2html.sh: use embedded font

5 years ago · 00c63a8b42
parent 57f6178640
commit 00c63a8b42
1 changed files with 1 additions and 0 deletions
--- a/share/ansi2html.sh
+++ b/share/ansi2html.sh
@ -103,6 +103,7 @@ fi
 printf '%s' "<html>
 <head>
 <meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\"/>
+<link rel=\"stylesheet\" type=\"text/css\" href=\"https://adobe-fonts.github.io/source-code-pro/source-code-pro.css\">
 <link rel=\"stylesheet\" type=\"text/css\" href=\"/files/style.css\" />
 <style type=\"text/css\">
 .ef0,.f0 { color: #$P0; } .eb0,.b0 { background-color: #$P0; }