7 line-height: 1.22222222em;
8 margin-top: 0.48888889em;
9 margin-bottom: 0.24444444em;
13 line-height: 1.294117647em;
14 margin-top: 0.8627451em;
15 margin-bottom: 0.43137255em;
19 line-height: 1.571428572em;
20 margin-top: 0.78571429em;
21 margin-bottom: 0.43137255em;
26 margin-top: 0.78571429em;
27 margin-bottom: 0.43137255em;
38 color: lighten($text-dark, 16%);
48 text-decoration: none;
49 transition: color ease-in-out 80ms;
51 text-decoration: underline;
52 color: darken($primary, 20%);
60 * Other HTML Text Elements
62 p, ul, ol, pre, table, blockquote {
64 margin-bottom: 1.375em;
74 background-image: linear-gradient(to right, #FFF, #e3e0e0 20%, #e3e0e0 80%, #FFF);
81 strong, b, .bold, .strong {
83 > strong, > b, > .bold, > .strong {
92 small, p.small, span.small, .text-small {
94 color: lighten($text-dark, 20%);
98 vertical-align: super;
103 font-family: monospace;
110 border-left: 4px solid $primary;
111 background-color: #F8F8F8;
112 padding: $-s $-m $-s $-xl;
120 color: lighten($text-dark, 20%);
125 background-color: #F8F8F8;
126 font-family: monospace;
128 border: 1px solid #DDD;
137 margin-bottom: 1.2em;
147 p.pos, p .pos, span.pos, .text-pos {
151 p.neg, p .neg, span.neg, .text-neg {
155 p.muted, p .muted, span.muted, .text-muted {
156 color: lighten($text-dark, 26%);
159 p.primary, p .primary, span.primary, .text-primary {
163 p.secondary, p .secondary, span.secondary, .text-secondary {
176 * Generic text styling classes
179 text-decoration: underline;
199 h1, h2, h3, h4, h5, h6 {