5 body, button, input, select, label, textarea {
8 .Codemirror, pre, #markdown-editor-input, .editor-toolbar, .code-base {
18 line-height: 1.22222222em;
19 margin-top: 0.48888889em;
20 margin-bottom: 0.48888889em;
24 line-height: 1.294117647em;
25 margin-top: 0.8627451em;
26 margin-bottom: 0.43137255em;
30 line-height: 1.221428572em;
31 margin-top: 0.78571429em;
32 margin-bottom: 0.43137255em;
37 margin-top: 0.78571429em;
38 margin-bottom: 0.43137255em;
41 h1, h2, h3, h4, h5, h6 {
49 color: lighten($text-dark, 32%);
60 margin-top: 0.78571429em;
61 margin-bottom: 0.66em;
64 @include smaller-than($s) {
78 font-size: 1.161616em;
88 text-decoration: none;
89 transition: color ease-in-out 80ms;
92 text-decoration: underline;
93 color: darken($primary, 20%);
96 display: inline-block;
100 display: inline-block;
105 * Other HTML Text Elements
107 p, ul, ol, pre, table, blockquote {
109 margin-bottom: 1.375em;
118 background-image: linear-gradient(to right, #FFF, #e3e0e0 20%, #e3e0e0 80%, #FFF);
120 &.margin-top, &.even {
125 strong, b, .bold, .strong {
127 > strong, > b, > .bold, > .strong {
136 small, p.small, span.small, .text-small {
138 color: lighten($text-dark, 20%);
139 small, p.small, span.small, .text-small {
145 vertical-align: super;
156 background-color: #f5f5f5;
157 border: 1px solid #DDD;
169 background-color: #f5f5f5;
171 border-right: 1px solid #DDD;
187 border-left: 4px solid $primary;
188 background-color: #F8F8F8;
189 padding: $-s $-m $-s $-xl;
197 color: lighten($text-dark, 20%);
202 background-color: #F8F8F8;
204 border: 1px solid #DDD;
214 margin-bottom: 1.2em;
223 background-color: transparent;
232 p.pos, p .pos, span.pos, .text-pos {
241 p.neg, p .neg, span.neg, .text-neg {
250 p.muted, p .muted, span.muted, .text-muted {
251 color: lighten($text-dark, 26%);
252 fill: lighten($text-dark, 26%);
254 color: lighten($text-dark, 32%);
255 fill: lighten($text-dark, 32%);
259 p.primary, p .primary, span.primary, .text-primary {
268 p.secondary, p .secondary, span.secondary, .text-secondary {
293 color: $color-page-draft;
294 fill: $color-page-draft;
297 color: $color-page-draft;
298 fill: $color-page-draft;
302 color: $color-chapter;
303 fill: $color-chapter;
305 color: $color-chapter;
306 fill: $color-chapter;
309 .faded .text-book:hover {
310 color: $color-book !important;
311 fill: $color-book !important;
313 .faded .text-chapter:hover {
314 color: $color-chapter !important;
315 fill: $color-chapter !important;
317 .faded .text-page:hover {
318 color: $color-page !important;
319 fill: $color-page !important;
323 //background-color: rgba($primary, 0.2);
338 padding-left: $-m * 1.3;
352 padding-left: $-m * 2;
355 li.checkbox-item, li.task-list-item {
357 margin-left: - ($-m * 1.3);
358 input[type="checkbox"] {
364 * Generic text styling classes
367 text-decoration: underline;
395 word-wrap: break-word;
396 overflow-wrap: break-word;
404 h1, h2, h3, h4, h5, h6 {
427 display: inline-block;