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 #shortcuts-container {
82 background-color: #F4F4F4;
85 border-right: 2px solid white;
92 .cm-bad-subfieldcode {
93 background-color: #FFD9D9;
95 border-radius: 3px 8px 8px 3px;
100 background-color: #DDDDBB;
103 #editor .modified-line-gutter {
107 #editor .modified-line {
109 border-left: 5px solid black;
114 #editor .CodeMirror-gutters {
115 background: transparent;
119 /*> MARC editor widgets */
121 #editor .subfield-widget {
123 border: solid 2px #538200;
125 font-family: inherit;
131 #editor .subfield-widget select, #editor .subfield-widget input {
133 vertical-align: middle;
136 #editor .subfield-widget select:focus {
137 outline: 2px #83A230 solid;
140 #editor .fixed-widget input {
144 #editor .fixed-widget select {
148 #editor .fixed-widget .material-select {
153 #editor .fixed-collapsed {
154 display: inline-block;
157 text-decoration: underline;
160 #editor .hidden-widget {
162 border: solid 2px #AAAAAA;
176 vertical-align: text-bottom;
180 background-color: #F4F8F9;
181 border: solid 2px #b9d8d9;
182 border-bottom-style: none;
183 border-radius: 6px 6px 0 0;
184 margin-bottom: -32px;
190 #statusbar #status-tag-info, #statusbar #status-subfield-info {
197 #record-info .label {
201 #record-info .label + span {
208 #advanced-search-ui .modal-lg, #search-results-ui .modal-lg, #macro-ui .modal-lg {
216 .modal-lg .modal-body {
220 #quicksearch-overlay {
221 background: rgba(255, 255, 255, .9);
222 border: 2px solid #CC8877;
224 -moz-box-sizing: border-box;
225 -webkit-box-sizing: border-box;
226 box-sizing: border-box;
229 vertical-align: middle;
232 #quicksearch-overlay h3 {
239 #quicksearch-overlay p {
248 #quicksearch input, #quicksearch a {
251 width: 96%; /* I have no idea why this is necessary */
254 #show-advanced-search {
259 #advanced-search-fields {
260 -moz-column-width: 26em;
261 -webkit-column-width: 26em;
267 #advanced-search-fields li {
269 list-style-type: none;
272 #advanced-search-fields label {
273 display: inline-block;
275 padding: 1em 1em 1em 0;
280 #advanced-search-fields input {
281 display: inline-block;
287 display: inline-block;
290 background: transparent url("../img/spinner-small.gif") top left no-repeat;
292 vertical-align: text-top;
295 /*> Search results */
297 #search-serversinfo li {
298 list-style-type: none;
301 #search-serversinfo .search-toggle-server {
305 #searchresults table {
328 #searchresults .toolscol li {
329 list-style-type: none;
330 list-style-image: none;
334 border-bottom: 1px solid #BCBCBC;
341 font-family: monospace;
343 white-space: pre-wrap;
365 #macro-save-message {
373 border: 2px solid #F0F0F0;
379 #macro-list > li + li {
383 #macro-list .active {
393 #macro-list a:focus {
398 background-color: #F4F4F4;
408 list-style-type: none;
417 #macro-list .active .macro-info {
421 .btn-toolbar label, .btn-toolbar select {
423 vertical-align: middle;
430 .btn-toolbar select {
436 flex-direction: column;
440 #macro-editor .CodeMirror {
445 /* Hotpatch from latest CodeMirror: Fix gutter positioning */
446 .CodeMirror-gutter-wrapper {