summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVivien Kraus <vivien@planete-kraus.eu>2021-02-21 21:18:38 +0100
committerVivien Kraus <vivien@planete-kraus.eu>2021-02-21 21:42:53 +0100
commit942bc88d342ec820b664989daa5228e0f5b250be (patch)
treeb2dee61bf1d97397ba1ff22b48fd0034b75468cd
parent1cfca52e3ef0ba464473800d60825b0dd980f700 (diff)
Use custom CSS for the texinfo output0.3.2
-rw-r--r--Makefile.am3
-rw-r--r--doc/style.css31
2 files changed, 34 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
index bda9b12..72dc30c 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -3,6 +3,7 @@ ACLOCAL_AMFLAGS = -I m4
nodist_noinst_SCRIPTS = pre-inst-env
EXTRA_DIST = web-client-with-cache.org \
+ doc/style.css \
.guix-channel \
guix/vkraus/packages/web-client-with-cache.scm
@@ -23,6 +24,8 @@ install_mod_targets = install-dist_clientwebmodDATA
info_TEXINFOS = doc/web-client-with-cache.texi
doc_web_client_with_cache_texi_TEXINFOS = doc/fdl.texi
+AM_MAKEINFOHTMLFLAGS = --css-include=doc/style.css
+
CLEANFILES = $(clientwebgo_DATA)
SUFFIXES = .scm .go
diff --git a/doc/style.css b/doc/style.css
new file mode 100644
index 0000000..f201219
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,31 @@
+html {
+ background-color: silver;
+}
+
+body {
+ max-width: 50em;
+ margin: auto;
+ background-color: white;
+ padding: 2em;
+ border-left: 5px solid grey;
+ border-right: 2px solid grey;
+}
+
+.example > .example {
+ border-left: 1px solid grey;
+ padding-left: 1em;
+}
+
+.float-caption {
+ border-left: 1em solid lightgrey;
+ border-bottom: 2px solid grey;
+ margin-bottom: 6ex;
+ padding-left: 1em;
+}
+
+dd {
+ border-left: 1em solid lightgrey;
+ border-bottom: 2px solid lightgrey;
+ margin-left: 1em;
+ padding-left: 1em;
+}