diff options
| -rw-r--r-- | isar/isar-find-theorems.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/isar/isar-find-theorems.el b/isar/isar-find-theorems.el index 2f1d0275..7be415a8 100644 --- a/isar/isar-find-theorems.el +++ b/isar/isar-find-theorems.el @@ -120,9 +120,7 @@ (switch-to-buffer "*Find Theorems*") (widget-insert - (concat "\n " (propertize "Find Theorems" - 'face (list :height 200 :weight 'extra-bold)) - "\n\n")) + (concat "\n " (propertize "Find Theorems" 'face 'bold) "\n\n")) ;; pattern (widget-insert " Search pattern: ") |