From 74184dd792fde977b7c55b159038ad0d8d7f3c7e Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Tue, 7 Jan 2025 15:06:26 +0100 Subject: Add CSS style for gemini pages --- gemini.filter.dpi | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'gemini.filter.dpi') diff --git a/gemini.filter.dpi b/gemini.filter.dpi index 44059d6..cb3e55f 100755 --- a/gemini.filter.dpi +++ b/gemini.filter.dpi @@ -25,6 +25,9 @@ serve_404() { render_gemini() { printf "Content-type: text/html\r\n\r\n" + printf "\n" if command -v ansi2html >/dev/null then ansi2html else cat @@ -36,9 +39,7 @@ render_gemini() { return str } BEGIN { - print "" + print "" } { sub(/\r$/, "") @@ -77,7 +78,7 @@ render_gemini() { match($0, /^(#+[ \t]*)/) text = substr($0, RLENGTH+1) html = escape_html(text) - printf "<%s style=\"font:sans-serif\">%s\n", tag, html, tag + printf "<%s>%s\n", tag, html, tag next } /^>/ { @@ -117,7 +118,7 @@ render_gemini() { printf "

\n", escape_html($0) } END { - print "" + print "" } ' } -- cgit v1.2.3