From dda28e134e891095ec93d91611df250f4b56c232 Mon Sep 17 00:00:00 2001 From: Mikerooni <139889766+mikerooni@users.noreply.github.com> Date: Tue, 19 Dec 2023 23:31:36 +0100 Subject: [PATCH] feat: inset grouped navigation links (#12) --- docs/stylesheets/extra.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 0fb6c17..da6b5b5 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -12,6 +12,10 @@ background-color: #007085; } +.md-nav[data-md-level="2"] { + padding-left: 1em; +} + /************************************************************/ /****************** CUSTOM ADMONITIONS ******************/