From 481d536713fa43bdf0c773d7a431dfa7dcec25e9 Mon Sep 17 00:00:00 2001 From: Francesco Montorsi Date: Fri, 10 Nov 2023 12:42:46 +0100 Subject: [PATCH] Documentation: improve the look of landing page (#4625) * Documentation: improve the look of landing page by showing a more-compact list --- doc/Makefile.am | 4 ++-- doc/asciidoctor.css | 16 ++++++++++++++++ 2 files changed, 18 insertions(+), 2 deletions(-) create mode 100644 doc/asciidoctor.css diff --git a/doc/Makefile.am b/doc/Makefile.am index 3d5b6835..f4e4e9c7 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -52,7 +52,7 @@ MAINTAINERCLEANFILES += $(HTML_DOC) $(MAN_DOC) SUFFIXES=.html .adoc .3 .7 .adoc.html: - asciidoctor --backend html --attribute zmq_version=@PACKAGE_VERSION@ $< + asciidoctor --backend html --attribute stylesheet=asciidoctor.css --attribute zmq_version=@PACKAGE_VERSION@ $< .adoc.3: asciidoctor --backend manpage --attribute zmq_version=@PACKAGE_VERSION@ $< .adoc.7: @@ -72,7 +72,7 @@ $(builddir)/__pagelist: index.html: $(MAKE) $(builddir)/__pagelist asciidoctor --backend html \ - --attribute zmq_version=@PACKAGE_VERSION@ --attribute zmq_pagelist_dir=$(abs_builddir) \ + --attribute zmq_version=@PACKAGE_VERSION@ --attribute zmq_pagelist_dir=$(abs_builddir) --attribute stylesheet=asciidoctor.css \ $(srcdir)/index.adoc all-local : $(MAN_DOC) $(HTML_DOC) diff --git a/doc/asciidoctor.css b/doc/asciidoctor.css new file mode 100644 index 00000000..ce6776d5 --- /dev/null +++ b/doc/asciidoctor.css @@ -0,0 +1,16 @@ +/* SPDX-License-Identifier: MPL-2.0 */ + +/* + CSS file for Asciidoctor HTML documentation + See https://docs.asciidoctor.org/asciidoctor/latest/html-backend/default-stylesheet/#customize-extend + See also https://github.com/darshandsoni/asciidoctor-skins/ for custom "skins" + +/* import the default Asciidoctor CSS file */ +@import "https://cdn.jsdelivr.net/gh/asciidoctor/asciidoctor@2.0/data/stylesheets/asciidoctor-default.css"; + +/* just make the default HTML list more compact: */ +.ulist p { + padding: 0; + margin-right: -4px; + margin-bottom: -4px; +}