pre style background-color

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;