ENH adjust theme

This commit is contained in:
Nathan Dwarshuis 2020-03-16 14:48:38 -04:00
parent c720cbc39a
commit 77e6fbe4ad
1 changed files with 3 additions and 3 deletions

View File

@ -21,7 +21,7 @@ bgColor :: String
bgColor = "#d6d6d6" bgColor = "#d6d6d6"
fgColor :: String fgColor :: String
fgColor = "#000000" fgColor = "#2c2c2c"
bordersColor :: String bordersColor :: String
bordersColor = darken' 0.85 bgColor bordersColor = darken' 0.85 bgColor
@ -94,7 +94,7 @@ fmtFontXFT ThemeFont
font = ThemeFont font = ThemeFont
{ family = "DejaVu Sans" { family = "DejaVu Sans"
, size = Just 11 , size = Just 10
, antialias = Just True , antialias = Just True
, weight = Nothing , weight = Nothing
, slant = Nothing , slant = Nothing
@ -104,7 +104,7 @@ font = ThemeFont
-- Complete themes -- Complete themes
tabbedTheme = D.def tabbedTheme = D.def
{ D.fontName = fmtFontXFT font { D.fontName = fmtFontXFT font { weight = Just Bold }
, D.activeTextColor = fgColor , D.activeTextColor = fgColor
, D.activeColor = bgColor , D.activeColor = bgColor