src/Pure/Admin/build_status.scala

 
     def present_errors(name: String): XML.Body =
       if (errors.isEmpty) HTML.text(name + " (" + isabelle_version + ")")
       else {
         val tooltip_errors =
-          errors.map(msg => HTML.error_message_class(HTML.pre(HTML.text(Symbol.decode(msg)))))
+          errors.map(msg => HTML.error_message(HTML.pre(HTML.text(Symbol.decode(msg)))))
         val tooltip = List(HTML.tooltip_class(HTML.div(tooltip_errors)))
-        HTML.error_class(HTML.span(HTML.text(name) ::: tooltip)) ::
+        HTML.error(HTML.span(HTML.text(name) ::: tooltip)) ::
         HTML.text(" (" + isabelle_version + ")")
       }
   }
 
   sealed case class Image(name: String, width: Int, height: Int)

                 HTML.text(data_entry.name))) :::
             (data_entry.failed_sessions match {
               case Nil => Nil
               case sessions =>
                 HTML.break :::
-                List(HTML.error_message_class(HTML.span(HTML.text("Failed sessions:")))) :::
+                List(HTML.error_message(HTML.span(HTML.text("Failed sessions:")))) :::
                 List(HTML.itemize(sessions.map(s => s.head.present_errors(s.name))))
             })
           }))))))
 
     for (data_entry <- data.entries) {