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%);
59 margin-top: 0.78571429em;
60 margin-bottom: 0.66em;
63 @include smaller-than($s) {
77 font-size: 1.161616em;
93 color: var(--color-primary);
94 fill: var(--color-primary);
96 text-decoration: none;
97 transition: filter ease-in-out 80ms;
100 text-decoration: underline;
103 display: inline-block;
107 display: inline-block;
119 * Other HTML Text Elements
121 p, ul, ol, pre, table, blockquote {
123 margin-bottom: 1.375em;
132 background-image: linear-gradient(to right, #FFF, #e3e0e0 20%, #e3e0e0 80%, #FFF);
134 &.margin-top, &.even {
139 strong, b, .bold, .strong {
141 > strong, > b, > .bold, > .strong {
150 small, p.small, span.small, .text-small {
152 color: lighten($text-dark, 10%);
156 vertical-align: super;
167 background-color: #f5f5f5;
168 border: 1px solid #DDD;
180 background-color: #f5f5f5;
182 border-right: 1px solid #DDD;
198 border-left: 4px solid var(--color-primary);
199 background-color: #F8F8F8;
200 padding: $-s $-m $-s $-xl;
208 color: lighten($text-dark, 20%);
213 background-color: #F8F8F8;
215 border: 1px solid #DDD;
225 margin-bottom: 1.2em;
234 background-color: transparent;
256 padding-left: $-m * 1.3;
257 padding-right: $-m * 1.3;
271 padding-left: $-m * 2;
272 padding-right: $-m * 2;
275 li.checkbox-item, li.task-list-item {
277 margin-left: - ($-m * 1.3);
278 input[type="checkbox"] {
284 * Generic text styling classes
287 text-decoration: underline;
300 @each $sizeLetter, $size in $screen-sizes {
301 @include larger-than($size) {
302 .text-#{$sizeLetter}-center {
305 .text-#{$sizeLetter}-left {
308 .text-#{$sizeLetter}-right {
327 word-wrap: break-word;
328 overflow-wrap: break-word;
334 text-overflow: ellipsis;
342 h1, h2, h3, h4, h5, h6 {
362 display: inline-block;
366 pointer-events: none;