mirror of
https://github.com/prometheus/docs.git
synced 2026-02-06 09:44:54 +01:00
79a0d61074
See https://github.com/prometheus/docs/pull/2653#issuecomment-2913952990 Also change the titles: * "Prometheus" is redundant in the context of Prometheus, let's make it more about UTF-8 * Make the nav titles shorter so they fit nicer into the nav (title on the page itself can still be long) * We don't use title casing (at least in the "Instrumenting" section), so lower-casing the titles Signed-off-by: Julius Volz <julius.volz@gmail.com>