styling the exported html

This commit is contained in:
nadrad 2022-09-07 15:15:02 +02:00
parent d55ee02437
commit 843bfbc86c

4
h-m-m
View file

@ -1407,13 +1407,13 @@ function export_html(&$mm)
.'<html>'
.'<head>'
.'<style>'
.'body { background-color: #222; color: #ddd; font-family: monospaced; padding: 0;}'
.'body { background-color: #222; color: #ddd; font-family: monospace; padding: 0; font-size: 16px; }'
.'#root {margin:10px 0}'
.'p:before { content: "━ "; }'
.'p, summary { padding: 8px; margin: 0; }'
.'details, p { padding-left: 29px; border-left: 3px solid #444; }'
.'summary { margin-left: -10px; cursor: pointer; }'
.'summary:hover { color: #fbc531; }'
.'summary:hover, p:hover { color: #fbc531; }'
.'details:hover, p:hover { border-color: #e1b12c; }'
.'#source { position: absolute; bottom: 0; left: 0; padding: 5px 15px 8px 15px; margin: 100px 0 0 0; }'
.'#source { background-color: #333; border: none; box-sizing: border-box;}'