Add formatting for properties

diff --git a/documentation/articles/VaadinSpringTips.asciidoc b/documentation/articles/VaadinSpringTips.asciidoc
index c86608bdbfc362f7ae80aa64901dd83daf2ed213..08932faae3793d25c63bdc7185fe3b7ee83eb14a 100644 (file)
--- a/documentation/articles/VaadinSpringTips.asciidoc
+++ b/documentation/articles/VaadinSpringTips.asciidoc
@@ -12,9 +12,9 @@ configuration file. It is a handy way to configure the VaadinServlet
 that is automatically introduced by Vaadin Spring. Here are couple of
 example which can be configured:
 
-* vaadin.servlet.productionMode=true
-* vaadin.servlet.heartbeatInterval=60
-* vaadin.servlet.closeIdleSessions=true
+* `vaadin.servlet.productionMode=true`
+* `vaadin.servlet.heartbeatInterval=60`
+* `vaadin.servlet.closeIdleSessions=true`
 
 For full list of available properties, see
 https://github.com/vaadin/spring/blob/master/vaadin-spring-boot/src/main/java/com/vaadin/spring/boot/internal/VaadinServletConfigurationProperties.java[VaadinServletConfigurationProperties].