From 33b7700a53e9e3dc11538f52073cbcf05a618960 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 5 Mar 2015 09:24:01 +0000 Subject: Fix colours for dark backgrounds --- isar/isar-syntax.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 340f2e96..7fa6f55d 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -290,7 +290,7 @@ matches contents of quotes for quoted identifiers.") (defface isabelle-string-face (proof-face-specs (:foreground "springgreen4") - (:background "springgreen1") + (:foreground "springgreen1") ()) "*Face for fontifying string contents in Isabelle." :group 'proof-faces) @@ -298,7 +298,7 @@ matches contents of quotes for quoted identifiers.") (defface isabelle-quote-face (proof-face-specs (:foreground "Gray80") - (:background "Gray30") + (:foreground "Gray30") (:italic t)) "*Face for quotes (string delimiters) in Isabelle." :group 'proof-faces) @@ -330,7 +330,7 @@ matches contents of quotes for quoted identifiers.") (defface isabelle-free-name-face (proof-face-specs (:foreground "blue") - (:foreground "blue3") + (:foreground "lightblue") (:bold t)) "*Face for Isabelle term / type highlighting" :group 'proof-faces) -- cgit v1.2.3