yogsototh/hl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Font size tweak

Browse source
This commit is contained in:
Chris Done 2014-03-08 12:03:18 +01:00
parent c9a234eb35
commit 08a0944299
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/HL/View/Theme.hs
View file

@ -53,7 +53,7 @@ navbar =
border "0" border "0"
marginBottom "0.5em") marginBottom "0.5em")
rule ".navbar-header .navbar-brand" rule ".navbar-header .navbar-brand"
(do color "#fff" (do color "#d1cddc"
fontSize "inherit" fontSize "inherit"
fontWeight "bold" fontWeight "bold"
rule ".logo" rule ".logo"
@ -96,6 +96,8 @@ footer =
fontSize "13px")) fontSize "13px"))
codes = codes =
rule "code" do rule "code"
(do backgroundColor "#f5f5f5" (do backgroundColor "#f5f5f5"
color "#366354") color "#366354")
rule "pre"
(do fontSize "14px")