From e099fbf3befcabfc5a4806eccb9d79fd3048ccd9 Mon Sep 17 00:00:00 2001
From: Simran Spiller <simran@arangodb.com>
Date: Tue, 12 Dec 2023 12:36:34 +0100
Subject: [PATCH] Fix headline levels for metrics, trim trailing dot

---
 site/themes/arangodb-docs-theme/layouts/shortcodes/metrics.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/site/themes/arangodb-docs-theme/layouts/shortcodes/metrics.md b/site/themes/arangodb-docs-theme/layouts/shortcodes/metrics.md
index 94cd8dae5f..8c72434a93 100644
--- a/site/themes/arangodb-docs-theme/layouts/shortcodes/metrics.md
+++ b/site/themes/arangodb-docs-theme/layouts/shortcodes/metrics.md
@@ -10,11 +10,11 @@
 {{- end }}
 {{- range $category, $metricGroup := $metricGroups.Get "metrics" }}{{/* Seems to get sorted implicitly */}}
 
-#### {{ $category }}
+### {{ $category }}
 
 {{ range $metric := $metricGroup }}
 
-##### {{ $metric.help }}
+#### {{ strings.TrimRight "." $metric.help }}
 
 {{ if eq $metric.type "histogram" -}}
 `{{ $metric.name }}` (basename)<br>