From 0a6dc8f07a2e479afb67113e7efdb2df5f6b68c9 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 8 Nov 2021 11:43:49 +0100
Subject: [PATCH] manual: Avoid vertical space between coding style items.

For some reason markdown inserts vertical space between adjacent
items if the code example is not enclosed in <pre>...</pre>.
---
 web/manual.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/manual.md b/web/manual.md
index d73263b3..ab678420 100644
--- a/web/manual.md
+++ b/web/manual.md
@@ -2075,11 +2075,11 @@ here are the most important points.
 - Don't leave whitespace at the end of lines.
 - The limit on the length of lines is 80 columns.
 - Use K&R style for placing braces and spaces:
-
+<pre>
 		if (x is true) {
 			we do y
 		}
-
+</pre>
 - Use a space after (most) keywords.
 - Do not add spaces around (inside) parenthesized expressions.
 - Use one space around (on each side of) most binary and ternary operators.
-- 
2.39.2