Make header font-size customizable.
Frederic Hemberger authored on 18/11/2011 at 06:29:29... | ... |
@@ -14,6 +14,8 @@ $sidebar-width-wide: 300px !default; |
14 | 14 |
|
15 | 15 |
$indented-lists: false !default; |
16 | 16 |
|
17 |
+$header-font-size: 1em !default; |
|
18 |
+ |
|
17 | 19 |
.group { @include pie-clearfix; } |
18 | 20 |
|
19 | 21 |
@mixin collapse-sidebar { |
... | ... |
@@ -79,9 +81,9 @@ body { |
79 | 79 |
} |
80 | 80 |
} |
81 | 81 |
> header { |
82 |
- font-size: 1em; |
|
83 |
- padding-top: 1.5em; |
|
84 |
- padding-bottom: 1.5em; |
|
82 |
+ font-size: $header-font-size; |
|
83 |
+ padding-top: $header-padding-top; |
|
84 |
+ padding-bottom: $header-padding-bottom; |
|
85 | 85 |
} |
86 | 86 |
} |
87 | 87 |
|
... | ... |
@@ -115,14 +117,14 @@ body.sidebar-footer { |
115 | 115 |
} |
116 | 116 |
|
117 | 117 |
@media only screen and (min-width: 550px) { |
118 |
- body > header { font-size: 1em; } |
|
118 |
+ body > header { font-size: $header-font-size; } |
|
119 | 119 |
} |
120 | 120 |
@media only screen and (min-width: 750px) { |
121 | 121 |
aside.sidebar { @include collapse-sidebar; } |
122 | 122 |
} |
123 | 123 |
@media only screen and (min-width: 768px) { |
124 | 124 |
body { -webkit-text-size-adjust: auto; } |
125 |
- body > header { font-size: 1.2em; } |
|
125 |
+ body > header { font-size: $header-font-size * 1.2; } |
|
126 | 126 |
#main { |
127 | 127 |
@extend .group; |
128 | 128 |
padding: 0; |
... | ... |
@@ -159,7 +161,7 @@ body.sidebar-footer { |
159 | 159 |
} |
160 | 160 |
|
161 | 161 |
@media only screen and (min-width: 992px) { |
162 |
- body > header { font-size: 1.3em; } |
|
162 |
+ body > header { font-size: $header-font-size * 1.3; } |
|
163 | 163 |
#content { margin-right: $sidebar-width-wide; } |
164 | 164 |
#content { |
165 | 165 |
> div, > article { |