From 9bc4a2463db399784aeaf294691ba89ea7f1212a Mon Sep 17 00:00:00 2001
From: Joerg Wunsch <j@uriah.heep.sax.de>
Date: Wed, 16 Mar 2022 23:19:45 +0100
Subject: [PATCH] Attempt to tweak CSS of the generated HTML docs a bit
---
src/doc/Makefile.am | 2 +-
src/doc/avrdude.css | 16 ++++++++++++++++
2 files changed, 17 insertions(+), 1 deletion(-)
create mode 100644 src/doc/avrdude.css
diff --git a/src/doc/Makefile.am b/src/doc/Makefile.am
index bee799f7..4e644557 100644
--- a/src/doc/Makefile.am
+++ b/src/doc/Makefile.am
@@ -40,7 +40,7 @@ all-local: info html ps pdf
html: avrdude-html/avrdude.html
avrdude-html/avrdude.html: $(srcdir)/$(info_TEXINFOS) $(GENERATED_TEXINFOS)
- texi2html -split_node $(srcdir)/$(info_TEXINFOS)
+ texi2html --split=node --css-include=$(srcdir)/avrdude.css $(srcdir)/$(info_TEXINFOS)
if [ -e ./avrdude.html -o -e ./avrdude_1.html ]; then \
mkdir -p avrdude-html ; \
mv -f *.html avrdude-html ; \
diff --git a/src/doc/avrdude.css b/src/doc/avrdude.css
new file mode 100644
index 00000000..39bdc11c
--- /dev/null
+++ b/src/doc/avrdude.css
@@ -0,0 +1,16 @@
+body { background-color: #ffd; }
+h1 { text-shadow: .05em .05em #ccc; }
+table {
+ border: 3px solid #ccf;
+ background-color: white;
+}
+div.example {
+ background-color: #dfd;
+ border: 3px solid #cfc;
+}
+samp {
+ color: blue;
+}
+code {
+ color: green;
+}