diff options
| author | David Aspinall | 2010-08-11 16:56:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-11 16:56:30 +0000 |
| commit | 4878ed1c9a0f269494ef22cff2bfb40bec1b69dc (patch) | |
| tree | c05deb2f1f51a64db41491acd39d6177dd38dce1 /generic/proof-faces.el | |
| parent | b97d82c0af4bf658c28e531b762b87f291f792a5 (diff) | |
Support custom syntactic fontification. Split out pa macros.
Diffstat (limited to 'generic/proof-faces.el')
| -rw-r--r-- | generic/proof-faces.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-faces.el b/generic/proof-faces.el index 7fe80ea7..c64aad7a 100644 --- a/generic/proof-faces.el +++ b/generic/proof-faces.el @@ -141,7 +141,7 @@ Warning messages can come from proof assistant or from Proof General itself." (defface proof-boring-face (proof-face-specs - (:foreground "Gray65") + (:foreground "Gray85") (:background "Gray30") (:italic t)) "*Face for boring text in proof assistant output." |