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;
70 text-decoration: none;
71 transition: color ease-in-out 80ms;
74 text-decoration: underline;
75 color: darken($primary, 20%);
78 display: inline-block;
82 display: inline-block;
87 * Other HTML Text Elements
89 p, ul, ol, pre, table, blockquote {
91 margin-bottom: 1.375em;
100 background-image: linear-gradient(to right, #FFF, #e3e0e0 20%, #e3e0e0 80%, #FFF);
102 &.margin-top, &.even {
107 strong, b, .bold, .strong {
109 > strong, > b, > .bold, > .strong {
118 small, p.small, span.small, .text-small {
120 color: lighten($text-dark, 20%);
121 small, p.small, span.small, .text-small {
127 vertical-align: super;
138 background-color: #f5f5f5;
139 border: 1px solid #DDD;
151 background-color: #f5f5f5;
153 border-right: 1px solid #DDD;
169 border-left: 4px solid $primary;
170 background-color: #F8F8F8;
171 padding: $-s $-m $-s $-xl;
179 color: lighten($text-dark, 20%);
184 background-color: #F8F8F8;
186 border: 1px solid #DDD;
196 margin-bottom: 1.2em;
205 background-color: transparent;
214 p.pos, p .pos, span.pos, .text-pos {
223 p.neg, p .neg, span.neg, .text-neg {
232 p.muted, p .muted, span.muted, .text-muted {
233 color: lighten($text-dark, 26%);
234 fill: lighten($text-dark, 26%);
236 color: lighten($text-dark, 32%);
237 fill: lighten($text-dark, 32%);
241 p.primary, p .primary, span.primary, .text-primary {
250 p.secondary, p .secondary, span.secondary, .text-secondary {
275 color: $color-page-draft;
276 fill: $color-page-draft;
279 color: $color-page-draft;
280 fill: $color-page-draft;
284 color: $color-chapter;
285 fill: $color-chapter;
287 color: $color-chapter;
288 fill: $color-chapter;
291 .faded .text-book:hover {
292 color: $color-book !important;
293 fill: $color-book !important;
295 .faded .text-chapter:hover {
296 color: $color-chapter !important;
297 fill: $color-chapter !important;
299 .faded .text-page:hover {
300 color: $color-page !important;
301 fill: $color-page !important;
305 //background-color: rgba($primary, 0.2);
320 padding-left: $-m * 1.3;
334 padding-left: $-m * 2;
337 li.checkbox-item, li.task-list-item {
339 margin-left: - ($-m * 1.3);
340 input[type="checkbox"] {
346 * Generic text styling classes
349 text-decoration: underline;
377 white-space: pre-wrap;
378 word-wrap: break-word;
386 h1, h2, h3, h4, h5, h6 {
409 display: inline-block;