equal
deleted
inserted
replaced
45 @link-hover-color: darken(@link-color, 15%); |
45 @link-hover-color: darken(@link-color, 15%); |
46 |
46 |
47 // Typography |
47 // Typography |
48 // ------------------------- |
48 // ------------------------- |
49 |
49 |
50 @font-family-sans-serif: "Helvetica Neue", Helvetica, Arial, sans-serif; |
50 @font-family-sans-serif: "Ubuntu", "Helvetica Neue", Helvetica, Arial, sans-serif; |
51 @font-family-serif: Georgia, "Times New Roman", Times, serif; |
51 @font-family-serif: Georgia, "Times New Roman", Times, serif; |
52 @font-family-monospace: Menlo, Monaco, Consolas, "Courier New", monospace; |
52 @font-family-monospace: Menlo, Monaco, Consolas, "Courier New", monospace; |
53 @font-family-base: @font-family-sans-serif; |
53 @font-family-base: @font-family-sans-serif; |
54 |
54 |
55 @font-size-base: 14px; |
55 @font-size-base: 14px; |