From 81035b7eb32aa8382760a0159026357982256895 Mon Sep 17 00:00:00 2001 From: Manlio Perillo Date: Thu, 19 Jan 2023 16:42:27 +0100 Subject: [PATCH] langref: remove extra curly bracket in the CSS In commit 3542dbf0ea5 (langref: add section numbers) I accidentally added an extra closing curly bracket at the end of the style element. Sorry for not validating the HTML file before creating the PR. --- doc/langref.html.in | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/langref.html.in b/doc/langref.html.in index d305460d66..c06f40366c 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -333,7 +333,6 @@ content: ""; } } - }