1
- $ default-font-family : " Helvetica " , " Arial " , sans-serif
2
-
3
- // these could become important if we should decide to use compass vertical rhythm
4
- $ relative-font-sizing : false
5
- $ base-line-height : 20 px
6
-
7
- $ small-font-size : 11 px
8
- $ base-font-size : 13 px
9
- $big -font-size : 15 px
10
-
11
- $ input-field-font-size : $ big-font-size
12
-
13
- $header- font-small : 17 px
14
- $header- font-default : 18 px
15
- $ header-font-big : 25 px
16
- $header- font-gigantic : 36 px
17
-
18
- // styleguide_typography:
19
- // mixin: " headline-text"
20
- // params:
21
- // "$font-size": ["$header-font-small", "$header-font-default", "$header-font-big", "$header-font-gigantic"]
22
- // "$font-color": ["$text-color", "$light-text-color"]
23
- = headline-text ($font-size : $header- font-default , $font-color : $text-color )
24
- font-family : $default -font-family
1
+ // --- this doesn't really belong here ---
2
+
3
+ $ text-color : black
4
+
5
+ // ---------------------------------------
6
+
7
+
8
+ // variables
9
+ $headline -font-family : " Helvetica " , " Arial " , sans-serif
10
+ $ fliesstext-font-family : " Georgia " , serif
11
+
12
+ $ small-fliesstext-font-size : 11 px
13
+ $default-fliesstext- font-size : 13 px
14
+ $big-fliesstext- font-size : 15 px
15
+
16
+ $small-headline- font-size : 17 px
17
+ $ default-headline-font-size : 18 px
18
+ $ big-headline-font-size : 25 px
19
+ $ gigantic- headline-font-size : 36 px
20
+
21
+
22
+ // mixins
23
+ = headline-text ($font-size : $default-headline- font-size , $ line-height-factor : 1.2 , $font-color : $text-color )
24
+ font-family : $headline -font-family
25
25
font-weight : bold
26
26
color : $font-color
27
27
font-size : $font-size
28
+ line-height : $font-size * $line-height-factor
28
29
29
- // styleguide_typography:
30
- // mixin: default-text
31
- // params:
32
- // "$font-size": ["$small-font-size", "$base-font-size", "$big-font-size"]
33
- // "$font-color": ["$text-color", "$light-text-color"]
34
- = default-text ($font-size : $base-font-size , $font-color : $text-color )
35
- font-family : $default-font-family
30
+ = fliesstext ($font-size : $default-fliesstext-font-size , $line-height-factor : 1.4 , $font-color : $text-color )
31
+ font-family : $fliesstext-font-family
36
32
color : $font-color
37
- font-size : $font-size
33
+ font-size : $font-size
34
+ line-height : $font-size * $line-height-factor
35
+
36
+
37
+
38
+ // placeholder selectors
39
+ %f-gigantic-headline
40
+ + headline-text ($gigantic-headline-font-size )
41
+ %f-big-headline
42
+ + headline-text ($big-headline-font-size )
43
+ %f-default-headline
44
+ + headline-text ($default-headline-font-size )
45
+ %f-small-headline
46
+ + headline-text ($small-headline-font-size )
47
+
48
+ %f-big-fliesstext
49
+ + fliesstext ($big-fliesstext-font-size )
50
+ %f-default-fliesstext
51
+ + fliesstext ($default-fliesstext-font-size )
52
+ %f-small-fliesstext
53
+ + fliesstext ($small-fliesstext-font-size )
54
+
0 commit comments