src/Pure/GUI/gui.scala

   def use_isabelle_fonts()
   {
     val default_font = label_font()
     val ui = UIManager.getDefaults
     for (prop <- List(
+      "ToggleButton.font",
       "CheckBoxMenuItem.font",
       "Label.font",
       "Menu.font",
       "MenuItem.font",
       "PopupMenu.font",