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;
112 * Other HTML Text Elements
114 p, ul, ol, pre, table, blockquote {
116 margin-bottom: 1.375em;
125 background-image: linear-gradient(to right, #FFF, #e3e0e0 20%, #e3e0e0 80%, #FFF);
127 &.margin-top, &.even {
132 strong, b, .bold, .strong {
134 > strong, > b, > .bold, > .strong {
143 small, p.small, span.small, .text-small {
145 color: lighten($text-dark, 20%);
146 small, p.small, span.small, .text-small {
152 vertical-align: super;
163 background-color: #f5f5f5;
164 border: 1px solid #DDD;
176 background-color: #f5f5f5;
178 border-right: 1px solid #DDD;
194 border-left: 4px solid $primary;
195 background-color: #F8F8F8;
196 padding: $-s $-m $-s $-xl;
204 color: lighten($text-dark, 20%);
209 background-color: #F8F8F8;
211 border: 1px solid #DDD;
221 margin-bottom: 1.2em;
230 background-color: transparent;
239 p.pos, p .pos, span.pos, .text-pos {
248 p.neg, p .neg, span.neg, .text-neg {
257 p.muted, p .muted, span.muted, .text-muted {
258 color: lighten($text-dark, 26%);
259 fill: lighten($text-dark, 26%);
261 color: lighten($text-dark, 32%);
262 fill: lighten($text-dark, 32%);
266 p.primary, p .primary, span.primary, .text-primary {
275 p.secondary, p .secondary, span.secondary, .text-secondary {
285 color: $color-bookshelf;
286 fill: $color-bookshelf;
288 color: $color-bookshelf;
289 fill: $color-bookshelf;
308 color: $color-page-draft;
309 fill: $color-page-draft;
312 color: $color-page-draft;
313 fill: $color-page-draft;
317 color: $color-chapter;
318 fill: $color-chapter;
320 color: $color-chapter;
321 fill: $color-chapter;
324 .faded .text-book:hover {
325 color: $color-book !important;
326 fill: $color-book !important;
328 .faded .text-chapter:hover {
329 color: $color-chapter !important;
330 fill: $color-chapter !important;
332 .faded .text-page:hover {
333 color: $color-page !important;
334 fill: $color-page !important;
338 //background-color: rgba($primary, 0.2);
353 padding-left: $-m * 1.3;
354 padding-right: $-m * 1.3;
368 padding-left: $-m * 2;
369 padding-right: $-m * 2;
372 li.checkbox-item, li.task-list-item {
374 margin-left: - ($-m * 1.3);
375 input[type="checkbox"] {
381 * Generic text styling classes
384 text-decoration: underline;
412 word-wrap: break-word;
413 overflow-wrap: break-word;
421 h1, h2, h3, h4, h5, h6 {
445 display: inline-block;