diff --git a/src/emacs/lean-company.el b/src/emacs/lean-company.el
index a6bb870f09..4c01143ac2 100644
--- a/src/emacs/lean-company.el
+++ b/src/emacs/lean-company.el
@@ -239,7 +239,7 @@ rep. Then, add text-properties on the replaced region."
      (after lean-company-fill-propertize activate)
      (when (eq major-mode 'lean-mode)
        (let* ((selected (ad-get-arg 3))
-              (foreground-color (face-foreground 'font-lock-keyword-face))
+              (foreground-color lean-company-type-foreground)
               (background-color (if selected (face-background 'company-tooltip-selection)
                                   (face-background 'company-tooltip)))
               (face-attrs
diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el
index bbdba558b0..caa575961f 100644
--- a/src/emacs/lean-settings.el
+++ b/src/emacs/lean-settings.el
@@ -34,6 +34,11 @@
   :group 'lean
   :type 'boolean)
 
+(defcustom lean-company-type-foreground (face-foreground 'font-lock-keyword-face)
+  "Color of type parameter in auto-complete candidates"
+  :group 'lean
+  :type 'color)
+
 (defcustom lean-eldoc-use t
   "Use eldoc mode for lean."
   :group 'lean