diff --git a/developers.html b/developers.html
index 68e3cd9cb2ee4aa14842962046769ebbbe647851..d699115e9b3901398b2266dd3dc0778cf9ff6c74 100644
--- a/developers.html
+++ b/developers.html
@@ -2391,7 +2391,7 @@ netbeans_jdkhome="C:\Program Files\Java\jdk1.8.0_221"</pre>
           Example information for <i>conf/tomcat-users.xml</i> configuration file follows.
           Note that any username must also be configured in the Tomcat installation itself.
       </p>
-<pre>
+<pre style="background-color:lightgrey">
 &lt;role rolename="admin"/&gt;
 &lt;role rolename="admin-gui"/&gt;
 &lt;role rolename="admin-script"/&gt;