3 src: url('fonts/nitti-normal.woff');
7 font-family: "Nitti Grotesk";
8 src: url('fonts/nittigrotesk-normal.woff');
12 font-family: "Nitti Grotesk";
14 src: url('fonts/nittigrotesk-medium.woff');
19 font-family: 'dotsfont';
20 src: url('fonts/dotsfont/dotsfont.eot');
21 src: url('fonts/dotsfont/dotsfont.eot?#iefix') format('embedded-opentype'),
22 url('fonts/dotsfont/dotsfont.svg#dotsfontregular') format('svg'),
23 url('fonts/dotsfont/dotsfont.woff') format('woff'),
24 url('fonts/dotsfont/dotsfont.ttf') format('truetype');
29 box-sizing: border-box;
40 flex-direction: column;
50 flex-direction: column;
55 flex-direction: column;
61 outline: none !important;
71 margin-bottom: $grid-gutter-width/2;
84 flex-direction: column;
89 font-size: $font-size-nav;
96 border-radius: $border-radius-standard;
100 border-color: $highlight-default;
101 color: $text-inverse-color;
102 background-color: $highlight-default;
108 .btn-primary:active:hover,
110 .btn-primary:active:focus,
111 .btn-primary:focus, .btn-primary.focus
112 .btn-primary:active.focus, .btn-primary.active:hover,
113 .btn-primary.active:focus, .btn-primary.active.focus {
114 text-decoration: none;
115 color: $text-inverse-color;
116 background: $highlight-secondary;
117 border-color: $highlight-secondary;
121 background-color: $background-color;
122 border-color: $border-strong-color;
124 .btn-default:active:hover,
127 .btn-default:active:focus,
128 .btn-default:focus, .btn-default.focus
129 .btn-default:active.focus, .btn-default.active:hover,
130 .btn-default.active:focus, .btn-default.active.focus,
131 .open > .btn-default.dropdown-toggle:hover,
132 .open > .btn-default.dropdown-toggle:focus, .open > .btn-default.dropdown-toggle.focus {
133 color: $text-strong-color;
134 background-color: $background-content-color;
135 border-color: $border-strong-color;
140 color: $highlight-secondary;
141 text-decoration: none;
147 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 2px rgba(0, 217, 194, 0.6);
151 color: $text-light-color;
154 background: transparent;
158 font-size: $font-size-btn-lg;
162 background: $background-emphasis-color;
163 border: 1px solid transparentize($border-color, 0.5);
167 font-size: $font-size-close;
175 div.react-console-prompt-box {
180 span.react-console-prompt-label {
184 div.react-console-focus span.react-console-cursor {
189 div.react-console-nofocus span.react-console-cursor {
192 outline: 0.1em solid #333;
193 outline-offset: -0.1em;
196 div.react-console-focus span.react-console-cursor-idle {
197 animation: react-console-cursor-animation 1s infinite;
200 @keyframes react-console-cursor-animation {
214 div.react-console-message,
215 span.react-console-prompt {
216 white-space: pre-wrap; /* CSS3 */
217 white-space: -moz-pre-wrap; /* Firefox */
218 white-space: -pre-wrap; /* Opera <7 */
219 white-space: -o-pre-wrap; /* Opera 7 */
220 word-wrap: break-word; /* IE */
224 div.react-console-message-Error{