From 77e6fbe4adeaae2fc55d277df87497738741a751 Mon Sep 17 00:00:00 2001 From: ndwarshuis Date: Mon, 16 Mar 2020 14:48:38 -0400 Subject: [PATCH] ENH adjust theme --- lib/Theme.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/Theme.hs b/lib/Theme.hs index 7169f64..694b633 100644 --- a/lib/Theme.hs +++ b/lib/Theme.hs @@ -21,7 +21,7 @@ bgColor :: String bgColor = "#d6d6d6" fgColor :: String -fgColor = "#000000" +fgColor = "#2c2c2c" bordersColor :: String bordersColor = darken' 0.85 bgColor @@ -94,7 +94,7 @@ fmtFontXFT ThemeFont font = ThemeFont { family = "DejaVu Sans" - , size = Just 11 + , size = Just 10 , antialias = Just True , weight = Nothing , slant = Nothing @@ -104,7 +104,7 @@ font = ThemeFont -- Complete themes tabbedTheme = D.def - { D.fontName = fmtFontXFT font + { D.fontName = fmtFontXFT font { weight = Just Bold } , D.activeTextColor = fgColor , D.activeColor = bgColor