From 9a370d8b6d1405fe0cd6ede4e74a8d183adad96c Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 10 Jul 2017 05:14:19 +0100
Subject: [PATCH] Fixed color setup.

---
 themes/logicalhacking.zsh-theme | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/themes/logicalhacking.zsh-theme b/themes/logicalhacking.zsh-theme
index 723b248..3b90aed 100755
--- a/themes/logicalhacking.zsh-theme
+++ b/themes/logicalhacking.zsh-theme
@@ -124,7 +124,7 @@ build_inactive_prompt() {
     RETVAL=$?
     prompt_logo $LHDARKGRAY white
     prompt_dir $LHLIGHTGRAY white
-    prompt_isabelle_env $LHLIGHTGRAY black
+    prompt_isabelle_env $LHLIGHTGRAY white
     prompt_end 
 }
 
@@ -151,13 +151,13 @@ if [[ "$TERM" =~ ".*256.*" ]]; then
     LHORANGE="166"
     LHLIGHTORANGE="172"
     LHDARKGRAY="235"
-    LHLLIGHTGRAY="008"
+    LHLIGHTGRAY="008"
     LHCYAN="014"
 else
     LHORANGE="068"
     LHLIGHTORANGE="016"
     LHDARKGRAY="019"
-    LHLLIGHTGRAY="008"
+    LHLIGHTGRAY="008"
     LHCYAN="014"
 fi