diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2015-03-05 09:24:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2015-03-05 09:24:01 +0000 |
commit | 33b7700a53e9e3dc11538f52073cbcf05a618960 (patch) | |
tree | 6450903364dd26e9beddd336583271428b62cb73 /isar | |
parent | 69198d98ee274af7ab60e26d93a4078c540c9e59 (diff) |
Fix colours for dark backgrounds
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-syntax.el | 6 |
1 files 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) |