7 line-height: 1.22222222em;
8 margin-top: 0.48888889em;
9 margin-bottom: 0.48888889em;
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;
30 h1, h2, h3, h4, h5, h6 {
38 color: lighten($text-dark, 32%);
49 margin-top: 0.78571429em;
50 margin-bottom: 0.66em;
59 text-decoration: none;
60 transition: color ease-in-out 80ms;
64 text-decoration: underline;
65 color: darken($primary, 20%);
70 i.zmdi-hc-flip-horizontal {
77 * Other HTML Text Elements
79 p, ul, ol, pre, table, blockquote {
81 margin-bottom: 1.375em;
91 background-image: linear-gradient(to right, #FFF, #e3e0e0 20%, #e3e0e0 80%, #FFF);
93 &.margin-top, &.even {
98 strong, b, .bold, .strong {
100 > strong, > b, > .bold, > .strong {
109 small, p.small, span.small, .text-small {
111 color: lighten($text-dark, 20%);
115 vertical-align: super;
120 font-family: monospace;
125 box-shadow: 0 1px 2px 0px rgba(10, 10, 10, 0.06);
126 border: 1px solid rgba(221, 221, 221, 0.66);
127 background-color: #fdf6e3;
135 border-left: 4px solid $primary;
136 background-color: #F8F8F8;
137 padding: $-s $-m $-s $-xl;
145 color: lighten($text-dark, 20%);
150 background-color: #F8F8F8;
151 font-family: monospace;
153 border: 1px solid #DDD;
163 margin-bottom: 1.2em;
172 background-color: transparent;
179 p.pos, p .pos, span.pos, .text-pos {
186 p.neg, p .neg, span.neg, .text-neg {
193 p.muted, p .muted, span.muted, .text-muted {
194 color: lighten($text-dark, 26%);
196 color: lighten($text-dark, 42%);
200 p.primary, p .primary, span.primary, .text-primary {
207 p.secondary, p .secondary, span.secondary, .text-secondary {
226 color: $color-page-draft;
229 color: $color-page-draft;
233 color: $color-chapter;
235 color: $color-chapter;
238 .faded .text-book:hover {
239 color: $color-book !important;
241 .faded .text-chapter:hover {
242 color: $color-chapter !important;
244 .faded .text-page:hover {
245 color: $color-page !important;
249 //background-color: rgba($primary, 0.2);
258 padding-left: $-m * 1.3;
265 padding-left: $-m * 2;
270 * Generic text styling classes
273 text-decoration: underline;
305 h1, h2, h3, h4, h5, h6 {