--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala	Thu Dec 26 15:18:19 2024 +0100
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala	Thu Dec 26 15:24:21 2024 +0100
@@ -96,7 +96,7 @@
     tooltip = "Try standard proof methods like \"auto\" and \"blast\" as alternatives to \"metis\""
   }
 
-  private val apply_query = new GUI.Button("<html><b>Apply</b></html>") {
+  private val apply_query = new GUI.Button(GUI.Style_HTML.enclose_bold("Apply")) {
     tooltip = "Search for first-order proof using automatic theorem provers"
     override def clicked(): Unit = hammer()
   }