diff options
| author | Joris | 2016-04-05 14:08:02 +0200 |
|---|---|---|
| committer | Joris | 2016-04-05 14:15:38 +0200 |
| commit | aa64d6bdaa9fd23d205c18974dac8f29d29fd4f3 (patch) | |
| tree | d551231b292ad79a6bd0f8cce285752cbad46432 /src/server/Design | |
| parent | edca79a7e2bfed1a08de780cc6ab7eac430ef950 (diff) | |
Highlight current page in header
Diffstat (limited to 'src/server/Design')
| -rw-r--r-- | src/server/Design/Header.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/server/Design/Header.hs b/src/server/Design/Header.hs index 3b4f35c..e361cb1 100644 --- a/src/server/Design/Header.hs +++ b/src/server/Design/Header.hs @@ -31,6 +31,16 @@ headerDesign = paddingRight headerPadding hover & backgroundColor darkenedRed focus & backgroundColor darkenedRed + position relative + ".current" & after & do + display block + content (stringContent "") + height (px 5) + width (pct 100) + position absolute + bottom (px 0) + left (px 0) + backgroundColor C.white ".title" ? do height (pct 100) |