7 background-color: #FFF;
19 background : transparent url(../img/loading.gif) top left no-repeat;
24 margin: -1em 0 0 -2.5em;
35 #alerts-container h3 {
39 #alerts-container > ul {
43 #alerts-container > ul > li {
44 border-bottom: 1px solid #DDD;
49 #alerts-container > ul > li:first-child {
53 #alerts-container > ul > li:last-child {
58 .humanMsg.humanSuccess {
64 #shortcuts-container {
88 background-color: #F4F4F4;
91 border-right: 2px solid white;
98 .cm-bad-subfieldcode {
99 background-color: #FFD9D9;
101 border-radius: 3px 8px 8px 3px;
106 background-color: #DDDDBB;
109 #editor .modified-line-gutter {
113 #editor .modified-line {
115 border-left: 5px solid black;
120 #editor .CodeMirror-gutters {
121 background: transparent;
125 /*> MARC editor widgets */
127 #editor .subfield-widget {
129 border: solid 2px #538200;
131 font-family: inherit;
137 #editor .subfield-widget button {
138 font-family: inherit;
143 vertical-align: middle;
146 #editor .subfield-widget select, #editor .subfield-widget input {
148 vertical-align: middle;
151 #editor .subfield-widget select:focus {
152 outline: 2px #83A230 solid;
155 #editor .fixed-widget input {
162 #editor .fixed-widget select {
166 #editor .fixed-widget .material-select {
171 #editor .fixed-collapsed {
172 display: inline-block;
175 text-decoration: underline;
178 #editor .hidden-widget {
180 border: solid 2px #AAAAAA;
194 vertical-align: text-bottom;
198 background-color: #F4F8F9;
199 border: solid 2px #b9d8d9;
205 #statusbar #status-tag-info, #statusbar #status-subfield-info {
212 #record-info .label {
216 #record-info .label + span {
223 #advanced-search-ui .modal-lg, #search-results-ui .modal-lg, #macro-ui .modal-lg {
231 .modal-lg .modal-body {
235 #quicksearch-overlay {
236 background: rgba(255, 255, 255, .9);
237 border: 2px solid #CC8877;
239 -moz-box-sizing: border-box;
240 -webkit-box-sizing: border-box;
241 box-sizing: border-box;
244 vertical-align: middle;
247 #quicksearch-overlay h3 {
254 #quicksearch-overlay p {
263 #quicksearch input, #quicksearch a {
266 width: 96%; /* I have no idea why this is necessary */
269 #show-advanced-search {
274 #advanced-search-fields {
275 -moz-column-width: 26em;
276 -webkit-column-width: 26em;
282 #advanced-search-fields li {
284 list-style-type: none;
287 #advanced-search-fields label {
288 display: inline-block;
290 padding: 1em 1em 1em 0;
295 #advanced-search-fields input {
296 display: inline-block;
302 /*> Search results */
304 #search-serversinfo li {
305 list-style-type: none;
308 #search-serversinfo .search-toggle-server {
312 #searchresults table {
335 #searchresults .toolscol li {
336 list-style-type: none;
337 list-style-image: none;
341 border-bottom: 1px solid #BCBCBC;
348 font-family: monospace;
350 white-space: pre-wrap;
372 #macro-save-message {
380 border: 2px solid #F0F0F0;
386 #macro-list > li + li {
390 #macro-list .active {
400 #macro-list a:focus {
405 background-color: #F4F4F4;
415 list-style-type: none;
424 #macro-list .active .macro-info {
428 .btn-toolbar label, .btn-toolbar select {
430 vertical-align: middle;
437 .btn-toolbar select {
443 flex-direction: column;
447 #macro-editor .CodeMirror {
452 /* Hotpatch from latest CodeMirror: Fix gutter positioning */
453 .CodeMirror-gutter-wrapper {
457 /* Small devices (tablets, 768px and up) */
458 @media (min-width: @screen-sm-min) {
460 border-bottom-style: none;
461 border-radius: 6px 6px 0 0;
462 margin-bottom: -32px;