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 {
147 #editor .fixed-widget select {
151 #editor .fixed-widget .material-select {
156 #editor .fixed-collapsed {
157 display: inline-block;
160 text-decoration: underline;
163 #editor .hidden-widget {
165 border: solid 2px #AAAAAA;
179 vertical-align: text-bottom;
183 background-color: #F4F8F9;
184 border: solid 2px #b9d8d9;
185 border-bottom-style: none;
186 border-radius: 6px 6px 0 0;
187 margin-bottom: -32px;
193 #statusbar #status-tag-info, #statusbar #status-subfield-info {
200 #record-info .label {
204 #record-info .label + span {
211 #advanced-search-ui .modal-lg, #search-results-ui .modal-lg, #macro-ui .modal-lg {
219 .modal-lg .modal-body {
223 #quicksearch-overlay {
224 background: rgba(255, 255, 255, .9);
225 border: 2px solid #CC8877;
227 -moz-box-sizing: border-box;
228 -webkit-box-sizing: border-box;
229 box-sizing: border-box;
232 vertical-align: middle;
235 #quicksearch-overlay h3 {
242 #quicksearch-overlay p {
251 #quicksearch input, #quicksearch a {
254 width: 96%; /* I have no idea why this is necessary */
257 #show-advanced-search {
262 #advanced-search-fields {
263 -moz-column-width: 26em;
264 -webkit-column-width: 26em;
270 #advanced-search-fields li {
272 list-style-type: none;
275 #advanced-search-fields label {
276 display: inline-block;
278 padding: 1em 1em 1em 0;
283 #advanced-search-fields input {
284 display: inline-block;
290 display: inline-block;
293 background: transparent url("../img/spinner-small.gif") top left no-repeat;
295 vertical-align: text-top;
298 /*> Search results */
300 #search-serversinfo li {
301 list-style-type: none;
304 #search-serversinfo .search-toggle-server {
308 #searchresults table {
331 #searchresults .toolscol li {
332 list-style-type: none;
333 list-style-image: none;
337 border-bottom: 1px solid #BCBCBC;
344 font-family: monospace;
346 white-space: pre-wrap;
368 #macro-save-message {
376 border: 2px solid #F0F0F0;
382 #macro-list > li + li {
386 #macro-list .active {
396 #macro-list a:focus {
401 background-color: #F4F4F4;
411 list-style-type: none;
420 #macro-list .active .macro-info {
424 .btn-toolbar label, .btn-toolbar select {
426 vertical-align: middle;
433 .btn-toolbar select {
439 flex-direction: column;
443 #macro-editor .CodeMirror {
448 /* Hotpatch from latest CodeMirror: Fix gutter positioning */
449 .CodeMirror-gutter-wrapper {