Web: improve formatting of Devel page.

diff --git a/Documentation/general/community.itexi b/Documentation/general/community.itexi
index 0d69ea3e396b3bdf4f1815284fcf6e263da92c14..92a6c071f6d659c38753b6af5fe4fc1b63d00c10 100644 (file)
--- a/Documentation/general/community.itexi
+++ b/Documentation/general/community.itexi
@@ -443,6 +443,8 @@ Instructions for git and compiling are in the Contributor's Guide.
 Documentation writers and testers will generally want to download
 the latest binary:
 
+@quotation
+
 @downloadDevelLinuxNormal
 
 @downloadDevelLinuxBig
@@ -459,6 +461,8 @@ the latest binary:
 
 @downloadDevelWindows
 
+@end quotation
+
 
 @subheading Manuals