#! /usr/bin/gawk -f BEGIN { if (title=="") title = "No title"; if (color=="") color = "#deffde"; printf "\n
\n"; } (1) { gsub(/, "<", $0); gsub(/\&/, "&", $0); print; } END { if (font != "") { printf "