Index: openacs-4/packages/openacs-bootstrap3-theme/resources/masters/plain-master.adp
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/openacs-bootstrap3-theme/resources/masters/plain-master.adp,v
diff -u -N -r1.5.2.1 -r1.5.2.2
--- openacs-4/packages/openacs-bootstrap3-theme/resources/masters/plain-master.adp	2 Mar 2019 19:26:16 -0000	1.5.2.1
+++ openacs-4/packages/openacs-bootstrap3-theme/resources/masters/plain-master.adp	28 Jul 2019 17:34:36 -0000	1.5.2.2
@@ -22,10 +22,12 @@
     <!-- END HEADER -->
   
     <if @user_messages:rowcount@ gt 0>
-        <div id="alert-message">
+        <div id="bootstrap3-alert-message">
             <multiple name="user_messages">
-                <div class="alert">
-                    <strong>@user_messages.message;noquote@</strong>
+                <div class="alert alert-success">
+		    <a class="close" data-dismiss="alert">×</a>
+		    <span class="glyphicon glyphicon-info-sign" aria-hidden="true"></span>
+                    @user_messages.message;noquote@
                 </div>
             </multiple>
         </div>
Index: openacs-4/packages/openacs-bootstrap3-theme/www/resources/css/main.css
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/openacs-bootstrap3-theme/www/resources/css/main.css,v
diff -u -N -r1.2.2.1 -r1.2.2.2
--- openacs-4/packages/openacs-bootstrap3-theme/www/resources/css/main.css	25 May 2019 12:08:13 -0000	1.2.2.1
+++ openacs-4/packages/openacs-bootstrap3-theme/www/resources/css/main.css	28 Jul 2019 17:34:36 -0000	1.2.2.2
@@ -238,3 +238,7 @@
 .navbar-default .navbar-brand:hover {
     color: #eee;
 }
+
+div.content pre {
+    white-space: pre-wrap;
+}