[nongnu] elpa/gruber-darker-theme 7f95ce9607 115/121: Add support for Proof General

[ELPA Syncer]

branch: elpa/gruber-darker-theme
commit 7f95ce96079eb22b9214435ed25c5af98f60b482
Author: rexim <reximkut@gmail.com>
Commit: rexim <reximkut@gmail.com>

    Add support for Proof General
---
 gruber-darker-theme.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gruber-darker-theme.el b/gruber-darker-theme.el
index 203e676da8..f124edbdde 100644
--- a/gruber-darker-theme.el
+++ b/gruber-darker-theme.el
@@ -57,7 +57,8 @@
       (gruber-darker-yellow    "#ffdd33")
       (gruber-darker-brown     "#cc8c3c")
       (gruber-darker-quartz    "#95a99f")
-      (gruber-darker-niagara-1 "#5f627f")
+      (gruber-darker-niagara-2 "#303540")
+      (gruber-darker-niagara-1 "#565f73")
       (gruber-darker-niagara   "#96a6c8")
       (gruber-darker-wisteria  "#9e95c7")
       )
@@ -374,6 +375,9 @@
    `(company-scrollbar-bg ((t (:background ,gruber-darker-bg+2))))
    `(company-preview ((t (:background ,gruber-darker-green))))
    `(company-preview-common ((t (:foreground ,gruber-darker-green :background 
,gruber-darker-bg-1))))
+
+   ;;;;; Proof General
+   `(proof-locked-face ((t (:background ,gruber-darker-niagara-2))))
    ))
 
 ;;;###autoload