diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-02-21 21:18:38 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-02-21 21:42:53 +0100 |
commit | 942bc88d342ec820b664989daa5228e0f5b250be (patch) | |
tree | b2dee61bf1d97397ba1ff22b48fd0034b75468cd | |
parent | 1cfca52e3ef0ba464473800d60825b0dd980f700 (diff) |
Use custom CSS for the texinfo output0.3.2
-rw-r--r-- | Makefile.am | 3 | ||||
-rw-r--r-- | doc/style.css | 31 |
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; +} |