small improvement in font styling of exported htmls

This commit is contained in:
nadrad 2025-04-08 12:13:23 +02:00
commit 761192e3c2

3
h-m-m
View file

@ -2394,7 +2394,8 @@ function export_html()
.'<meta charset="UTF-8">'
.'<meta name=viewport content="width=device-width,initial-scale=1,user-scalable=yes">'
.'<style>'
.'body { background-color: #222; color: #ddd; font-family: monospace; padding: 0; font-size: 16px; }'
.'body { background-color: #222; color: #ddd; padding: 0; font-size: 16px; }'
.'* {font-family:monospace}'
.'#root {margin:10px 0}'
.'p:before { content: "━ "; }'
.'p, summary { padding: 8px; margin: 0; font-size: 16px; }'