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%);
80 i.zmdi-hc-flip-horizontal {
85 display: inline-block;
89 display: inline-block;
94 * Other HTML Text Elements
96 p, ul, ol, pre, table, blockquote {
98 margin-bottom: 1.375em;
107 background-image: linear-gradient(to right, #FFF, #e3e0e0 20%, #e3e0e0 80%, #FFF);
109 &.margin-top, &.even {
114 strong, b, .bold, .strong {
116 > strong, > b, > .bold, > .strong {
125 small, p.small, span.small, .text-small {
127 color: lighten($text-dark, 20%);
128 small, p.small, span.small, .text-small {
134 vertical-align: super;
145 background-color: #f5f5f5;
146 border: 1px solid #DDD;
158 background-color: #f5f5f5;
160 border-right: 1px solid #DDD;
176 border-left: 4px solid $primary;
177 background-color: #F8F8F8;
178 padding: $-s $-m $-s $-xl;
186 color: lighten($text-dark, 20%);
191 background-color: #F8F8F8;
193 border: 1px solid #DDD;
203 margin-bottom: 1.2em;
212 background-color: transparent;
221 p.pos, p .pos, span.pos, .text-pos {
228 p.neg, p .neg, span.neg, .text-neg {
235 p.muted, p .muted, span.muted, .text-muted {
236 color: lighten($text-dark, 26%);
238 color: lighten($text-dark, 32%);
242 p.primary, p .primary, span.primary, .text-primary {
249 p.secondary, p .secondary, span.secondary, .text-secondary {
268 color: $color-page-draft;
271 color: $color-page-draft;
275 color: $color-chapter;
277 color: $color-chapter;
280 .faded .text-book:hover {
281 color: $color-book !important;
283 .faded .text-chapter:hover {
284 color: $color-chapter !important;
286 .faded .text-page:hover {
287 color: $color-page !important;
291 //background-color: rgba($primary, 0.2);
306 padding-left: $-m * 1.3;
320 padding-left: $-m * 2;
323 li.checkbox-item, li.task-list-item {
325 margin-left: - ($-m * 1.3);
326 input[type="checkbox"] {
332 * Generic text styling classes
335 text-decoration: underline;
367 h1, h2, h3, h4, h5, h6 {