blob: 84bd95bb72848e64724bf5dd293ddad0fecde1b2 [file] [log] [blame]
Leo Repp58b9f112021-11-22 11:57:47 +01001@charset "UTF-8";
2/**
3 * Aggregate separated Sass files for Kalamar
4 */
5/**
6 * Some colors and shadow definitions
7 * for Kalamar,
8 */
9/**
10 * Official IDS colors
11 */
12/**
13 * Orange Colors
14 */
15/**
16 * Green Colors
17 */
18/**
19 * Blue Colors
20 */
21/**
22 * Grey Colors
23 */
24/**
25 * Red Colors (no IDS relation)
26 */
27/**
28 * Basic shadows
29 */
30/**
31 * KWIC colors
32 */
33/**
34 * Font Awesome symbol table.
35 */
36/**
37 * Some colors and shadow definitions
38 * for Kalamar,
39 */
40/**
41 * Official IDS colors
42 */
43/**
44 * Orange Colors
45 */
46/**
47 * Green Colors
48 */
49/**
50 * Blue Colors
51 */
52/**
53 * Grey Colors
54 */
55/**
56 * Red Colors (no IDS relation)
57 */
58/**
59 * Basic shadows
60 */
61/**
62 * KWIC colors
63 */
64/**
65 * Mixin for blind elements
66 * (e.g., spans in elements with an icon background)
67 */
68/**
69 * Mixin for basic color transition
70 */
71/**
72 * Mixing for basic text padding
73 */
74/**
75 * Mixing for icon fonts
76 */
77/**
78 * Mixing for correct box sizing (probably not necessary)
79 * DEPRECATED
80 */
81/**
82 * Some colors and shadow definitions
83 * for Kalamar,
84 */
85/**
86 * Official IDS colors
87 */
88/**
89 * Orange Colors
90 */
91/**
92 * Green Colors
93 */
94/**
95 * Blue Colors
96 */
97/**
98 * Grey Colors
99 */
100/**
101 * Red Colors (no IDS relation)
102 */
103/**
104 * Basic shadows
105 */
106/**
107 * KWIC colors
108 */
109/**
110 * Some color definitions and mixins for
111 * buttons and menus.
112 */
113/**
114 * Chooseable items (default)
115 */
116/**
117 * Chooseable items (mouse over)
118 */
119/**
120 * Chooseable items (not available)
121 */
122/**
123 * Chooseable items (active)
124 */
125/**
126 * Chooseable items (action: remove something)
127 */
128/*
129 * Defined lengths and sizes for the
130 * Kalamar layout.
131 */
132/**
133 * Margins
134 */
135/**
136 * Path information - relative to css!
137 */
138/**
139 * Path information - relative to css!
140 */
141/**
142 * Load web fonts for Kalamar
143 */
144@font-face {
145 font-family: "FontAwesome";
146 src: url("../font/fontawesome-webfont.eot?v=4.3.0");
147 src: url("../font/fontawesome-webfont.eot?#iefix&v=4.3.0") format("embedded-opentype"), url("../font/fontawesome-webfont.woff2?v=4.3.0") format("woff2"), url("../font/fontawesome-webfont.woff?v=4.3.0") format("woff"), url("../font/fontawesome-webfont.ttf?v=4.3.0") format("truetype"), url("../font/fontawesome-webfont.svg?v=4.3.0#fontawesomeregular") format("svg");
148 font-weight: normal;
149 font-style: normal;
150}
151/*
152 * Defined lengths and sizes for the
153 * Kalamar layout.
154 */
155/**
156 * Margins
157 */
158/**
159 * Some colors and shadow definitions
160 * for Kalamar,
161 */
162/**
163 * Official IDS colors
164 */
165/**
166 * Orange Colors
167 */
168/**
169 * Green Colors
170 */
171/**
172 * Blue Colors
173 */
174/**
175 * Grey Colors
176 */
177/**
178 * Red Colors (no IDS relation)
179 */
180/**
181 * Basic shadows
182 */
183/**
184 * KWIC colors
185 */
186/**
187 * Mixin for blind elements
188 * (e.g., spans in elements with an icon background)
189 */
190/**
191 * Mixin for basic color transition
192 */
193/**
194 * Mixing for basic text padding
195 */
196/**
197 * Mixing for icon fonts
198 */
199/**
200 * Mixing for correct box sizing (probably not necessary)
201 * DEPRECATED
202 */
203/**
204 * This defines flexible table cells
205 * for views (including media queries).
206 */
207dl.flex {
208 display: flex;
209 flex-direction: row;
210 flex-wrap: wrap;
211 justify-content: flex-start;
212 align-items: stretch;
213 width: auto;
214 padding-bottom: 0;
215}
216dl.flex > div {
217 display: flex;
218 flex-direction: row;
219 text-align: center;
220 width: 100%;
221 border-width: 1px;
222 border-style: solid;
223 align-items: stretch;
224}
225dl.flex > div > * {
226 text-overflow: ellipsis;
227 white-space: nowrap;
228 max-width: 25em;
229 overflow: hidden;
230 padding: 1px 6px;
231 margin: 0px;
232}
233dl.flex > div > dt {
234 text-align: left;
235 width: 12.5em;
236 padding: 3pt 6pt;
237 margin: 0;
238}
239dl.flex > div > dd {
240 text-align: left;
241 padding: 3pt 6pt;
242 margin: 0;
243 width: 100%;
244 max-width: none;
245 max-height: 6em;
246 margin-left: 2px;
247 white-space: normal;
248 overflow-y: auto;
249 overflow-x: hidden;
250 text-overflow: ellipsis;
251}
252
253@media (min-width: 640px) {
254 dl.flex > div {
255 width: 50%;
256 }
257}
258@media (min-width: 800px) {
259 dl.flex > div {
260 width: 33.3333333333%;
261 }
262}
263@media (min-width: 1200px) {
264 dl.flex > div {
265 width: 25%;
266 }
267}
268@media (min-width: 1680px) {
269 dl.flex > div {
270 width: 20%;
271 }
272}
273/**
274 * Some colors and shadow definitions
275 * for Kalamar,
276 */
277/**
278 * Official IDS colors
279 */
280/**
281 * Orange Colors
282 */
283/**
284 * Green Colors
285 */
286/**
287 * Blue Colors
288 */
289/**
290 * Grey Colors
291 */
292/**
293 * Red Colors (no IDS relation)
294 */
295/**
296 * Basic shadows
297 */
298/**
299 * KWIC colors
300 */
301/**
302 * Some color definitions and mixins for
303 * buttons and menus.
304 */
305/**
306 * Chooseable items (default)
307 */
308/**
309 * Chooseable items (mouse over)
310 */
311/**
312 * Chooseable items (not available)
313 */
314/**
315 * Chooseable items (active)
316 */
317/**
318 * Chooseable items (action: remove something)
319 */
320/*
321 * Defined lengths and sizes for the
322 * Kalamar layout.
323 */
324/**
325 * Margins
326 */
327/**
328 * Font Awesome symbol table.
329 */
330/**
331 * Definitions of fragments for vc and query
332 * builder.
333 */
334.vc.fragment,
335p.query.fragment {
336 color: #616263;
337 background-color: #d9dadb;
338 border-color: #87888a;
339 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
340 position: relative;
341 padding: 4pt 6pt !important;
342 border-width: 2px;
343 border-style: solid;
344 border-radius: 6px;
345 margin-left: 180px;
346 margin-top: 0.5em;
347 margin-bottom: 0.5em;
348 margin-right: 20px;
349}
350.vc.fragment:hover,
351p.query.fragment:hover {
352 color: #fefefe;
353 background-color: #f6a800;
354 border-color: #ff8000;
355 text-shadow: none;
356 cursor: pointer;
357}
358.vc.fragment > span:first-of-type,
359p.query.fragment > span:first-of-type {
360 font-weight: bold;
361 padding-right: 4pt;
362}
363.vc.fragment > span:nth-of-type(2),
364p.query.fragment > span:nth-of-type(2) {
365 padding-right: 1.2em;
366}
367.vc.fragment::after,
368p.query.fragment::after {
369 font-family: "FontAwesome";
370 content: "";
371 position: absolute;
372 right: 4pt;
373 top: 2px;
374}
375
376/**
377 * Load indicator.
378 */
379div.loading {
380 background-color: transparent !important;
381 height: 16px !important;
382 width: 16px !important;
383 margin: 0 auto !important;
384}
385
386.loading {
387 background-position: center;
388 background-repeat: no-repeat;
389 background-image: url("data:image/gif;base64,R0lGODlhEAAQAIABAP///wAAACH/C05FVFNDQVBFMi4wAwEAAAAh+QQJBAABACwAAAAAEAAQAAACKYQPobt44QyM01VW0cVNPq48Hzh2UngyGvet6OpmKWmBb5TI+LlTOlAAACH5BAkEAAEALAAAAAAQABAAAAIohA+hu3gMnXyBqnkNw1XDnHThZ32bd6LUg0SOOIJsCaPmtOJvrctHAQAh+QQJBAABACwAAAAAEAAQAAACKYQPobt44QyM01VW0cVNPq48nxZKGLkxqGiungmyCXh9nRUleSZrO10AACH5BAkEAAEALAAAAAAQABAAAAIohA8RyKwN04pSWdumufp0niHghnkPyaWmqZLsKL3QWXUrJdpo66RKAQAh+QQJBAABACwAAAAAEAAQAAACJoQPEcisDdOKUlnbrp4IH989n1iBJUhK47itxkbGsEvRtXq/8B4UACH5BAkEAAEALAAAAAAQABAAAAIphA8RyKwN04pSWdvuNPto1HEX6G1YOYrain5im0pQ/GSnTIFr7eyhUQAAIfkECQQAAQAsAAAAABAAEAAAAiqMf6ALwWoelJFS5CbESTdeNUu3jWP4IWe2qS0TsmC8cuZFsrAkWrgtKQAAIfkECQQAAQAsAAAAABAAEAAAAiiMf6AL6LwMnDFQVG9SkrveWN6XjR82Mmi4cdMTvWsjnyIV4rIOgUwBACH5BAkEAAEALAAAAAAQABAAAAImjH+gC8HrXpNTxoeuzkltrkFg6BnMiJxpaYpWV76jDFKujV14LBUAIfkEAR4AAQAsAAAAABAAEAAAAiSEDxHIrA3TilJZ266eaN/8HJixdd4nailXgafrwSUVUqltQgUAOw==");
390}
391
392/*
393 * Defined lengths and sizes for the
394 * Kalamar layout.
395 */
396/**
397 * Margins
398 */
399/**
400 * Some colors and shadow definitions
401 * for Kalamar,
402 */
403/**
404 * Official IDS colors
405 */
406/**
407 * Orange Colors
408 */
409/**
410 * Green Colors
411 */
412/**
413 * Blue Colors
414 */
415/**
416 * Grey Colors
417 */
418/**
419 * Red Colors (no IDS relation)
420 */
421/**
422 * Basic shadows
423 */
424/**
425 * KWIC colors
426 */
427/**
428 * Definition of form elements for Kalamar.
429 */
430.form-table {
431 display: block;
432 padding: 0;
433 font-size: 80%;
434}
435.form-table > fieldset {
436 margin-top: 0;
437}
438.form-table fieldset {
439 border-width: 0;
440 padding: 0;
441 margin-top: 1em;
442}
443.form-table fieldset > div {
444 white-space: nowrap;
445}
446.form-table legend {
447 background-color: transparent;
448 margin-left: 0;
449 font-weight: bold;
450 border-radius: 6px;
451}
452.form-table label[for] {
453 display: block;
454 text-align: left;
455}
456.form-table label[for],
457.form-table input[type=submit],
458.form-table a.form-button {
459 margin-top: 2em;
460}
461.form-table fieldset.form-line legend {
462 font-size: 100%;
463 display: inline-block;
464}
465.form-table fieldset.form-line legend::after {
466 content: ":";
467 color: #e3e8a3;
468}
469.form-table fieldset.form-line input, .form-table fieldset.form-line label[for] {
470 display: inline-block;
471 margin: 0;
472}
473.form-table fieldset.form-line input {
474 vertical-align: bottom;
475}
476.form-table fieldset.form-line label[for] {
477 margin-right: 2em;
478}
479.form-table input,
480.form-table textarea,
481.form-table button,
482.form-table a.form-button {
483 border-radius: 6px;
484}
485.form-table input,
486.form-table textarea {
487 border-color: #d9dadb;
488 background-color: #fefefe;
489 border-style: solid;
490}
491.form-table input,
492.form-table textarea,
493.form-table select,
494.form-table a.form-button {
495 border-style: solid;
496 display: inline-block;
497 width: 20%;
498 min-width: 20em;
499 padding: 8px;
500}
501.form-table input[type=radio] {
502 display: inline;
503 text-align: right;
504 background-color: red;
505 width: auto;
506 min-width: auto;
507}
508.form-table input[readonly=readonly],
509.form-table textarea[readonly] {
510 background-color: #f4eebb;
511}
512.form-table .field-with-error {
513 border-color: #c1002b;
514}
515.form-table input[type=submit],
516.form-table button,
517.form-table a.form-button {
518 display: inline-block;
519 cursor: pointer;
520 border-width: thin;
521 text-align: center;
522 background-color: #8a9a0a;
523 border-color: #636f07;
524 color: #636f07;
525}
526.form-table a.form-button:hover {
527 color: inherit !important;
528}
529.form-table label.field-required::after {
530 color: #009ee0;
531 content: "*";
532}
533
534.button-abort {
535 background-color: #ffd080 !important;
536 color: #e55d00 !important;
537 border-color: #e55d00 !important;
538}
539
540button {
541 cursor: pointer;
542}
543button + button {
544 right: 0;
545}
546button[type=submit] {
547 color: #616263;
548 background-color: #d9dadb;
549 border-color: #87888a;
550 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
551 font-weight: normal;
552 padding: 0;
553 height: 100%;
554 top: 0;
555 width: 30px;
556 border: 2px solid #fefefe;
557 /*
558 * This is just for styling the last button,
559 * in case there are more than one buttons.
560 */
561}
562button[type=submit] > span:nth-of-type(1) {
563 position: absolute;
564 margin-left: -3000px;
565}
566button[type=submit]::after {
567 font-family: "FontAwesome";
568}
569button[type=submit]:hover, button[type=submit]:focus {
570 color: #fefefe;
571 background-color: #f6a800;
572 border-color: #ff8000;
573 text-shadow: none;
574}
575button[type=submit]::-moz-focus-inner {
576 border: none;
577}
578button[type=submit]:active {
579 color: #636f07;
580 background-color: #9bad0b;
581 border-color: #636f07;
582 text-shadow: none;
583}
584button[type=submit]:last-of-type {
585 border-right-width: 2px;
586 border-right-style: solid;
587 border-top-right-radius: 6px;
588 border-bottom-right-radius: 6px;
589}
590
591/**
592 * Checkbox styling
593 * http://stackoverflow.com/questions/4148499/how-to-style-checkbox-using-css
594 */
595.checkbox {
596 display: none;
597}
598.checkbox + label {
599 cursor: pointer;
600}
601.checkbox + label span {
602 display: inline-block;
603 border-radius: 4px;
604 width: 1em;
605 height: 1em;
606 line-height: 1em;
607 vertical-align: middle;
608 padding: 0;
609 margin-right: 0.2em;
610}
611.checkbox + label span::after {
612 font-family: "FontAwesome";
613 white-space: nowrap;
614 content: "";
615}
616.checkbox:checked + label span::after {
617 content: "";
618}
619
620/**
621 * Some colors and shadow definitions
622 * for Kalamar,
623 */
624/**
625 * Official IDS colors
626 */
627/**
628 * Orange Colors
629 */
630/**
631 * Green Colors
632 */
633/**
634 * Blue Colors
635 */
636/**
637 * Grey Colors
638 */
639/**
640 * Red Colors (no IDS relation)
641 */
642/**
643 * Basic shadows
644 */
645/**
646 * KWIC colors
647 */
648.result-view {
649 background-color: #fefefe;
650}
651
652/**
653 * Some colors and shadow definitions
654 * for Kalamar,
655 */
656/**
657 * Official IDS colors
658 */
659/**
660 * Orange Colors
661 */
662/**
663 * Green Colors
664 */
665/**
666 * Blue Colors
667 */
668/**
669 * Grey Colors
670 */
671/**
672 * Red Colors (no IDS relation)
673 */
674/**
675 * Basic shadows
676 */
677/**
678 * KWIC colors
679 */
680/**
681 * Some color definitions and mixins for
682 * buttons and menus.
683 */
684/**
685 * Chooseable items (default)
686 */
687/**
688 * Chooseable items (mouse over)
689 */
690/**
691 * Chooseable items (not available)
692 */
693/**
694 * Chooseable items (active)
695 */
696/**
697 * Chooseable items (action: remove something)
698 */
699/*
700 * Defined lengths and sizes for the
701 * Kalamar layout.
702 */
703/**
704 * Margins
705 */
706/**
707 * Font Awesome symbol table.
708 */
709/**
710 * Definitions for menu design.
711 */
712ul.menu {
713 position: absolute;
714 padding: 0;
715 margin: 0;
716 text-indent: 0;
717 opacity: 0;
718 list-style-type: none;
719 list-style-position: outside;
720 /**
721 * Ruler
722 */
723 /**
724 * List items
725 */
726 /**
727 * Default prefix view
728 */
729 /**
730 * Default entry view
731 */
732}
733ul.menu.visible {
734 opacity: 1;
735}
736ul.menu,
737ul.menu > span.non-item:not(:empty) {
738 box-sizing: border-box;
739 text-shadow: none;
740 font-weight: normal;
741 z-index: 120;
742}
743ul.menu > li,
744ul.menu > span.non-item:not(.active) {
745 color: #616263;
746 background-color: #d9dadb;
747 border-color: #87888a;
748 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
749}
750ul.menu > li,
751ul.menu > span.non-item:not(:empty) {
752 color: #616263;
753 background-color: #d9dadb;
754 border-color: #87888a;
755 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
756 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
757 cursor: pointer;
758 padding: 3pt 6pt;
759 white-space: normal;
760 border-width: 2px;
761 border-bottom-width: 0px;
762 border-top-width: 0px;
763 border-style: solid;
764}
765ul.menu span.desc {
766 display: block;
767 font-size: 75%;
768}
769ul.menu div.lengthField {
770 border-color: transparent;
771 border-width: 2px;
772 padding: 3pt 6pt;
773 padding-top: 0;
774 padding-bottom: 0;
775}
776ul.menu div.lengthField span {
777 display: block !important;
778 line-height: 0;
779 color: transparent;
780}
781ul.menu > div.ruler {
782 position: absolute;
783 right: 0px;
784 margin-right: -14px;
785 background-color: transparent;
786 width: 14px;
787 height: 100%;
788 opacity: 0;
789 cursor: pointer;
790 transition: opacity 0.5s ease 1s;
791}
792ul.menu > div.ruler > span {
793 color: #636f07;
794 background-color: #9bad0b;
795 border-color: #636f07;
796 text-shadow: none;
797 position: absolute;
798 display: block;
799 right: 0;
800 width: 10px;
801 z-index: 115;
802 border-radius: 4px;
803 border-width: 2px;
804 border-style: solid;
805}
806ul.menu > div.ruler.active > span {
807 color: #fefefe;
808 background-color: #f6a800;
809 border-color: #ff8000;
810 text-shadow: none;
811}
812ul.menu > div.ruler > div {
813 color: #616263;
814 background-color: #d9dadb;
815 border-color: #87888a;
816 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
817 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
818 position: absolute;
819 right: 0;
820 width: 10px;
821 height: 100%;
822 border-radius: 4px;
823 border-width: 2px;
824 border-style: solid;
825}
826ul.menu:active > div.ruler, ul.menu:hover > div.ruler,
827ul.menu > div.ruler.active {
828 transition: opacity 0.1s ease;
829 opacity: 1;
830}
831ul.menu > li,
832ul.menu div.lengthField {
833 padding-right: 1.6em;
834}
835ul.menu > li:first-of-type {
836 border-top-width: 2px;
837 border-top-left-radius: 6px;
838 border-top-right-radius: 6px;
839}
840ul.menu > li:last-of-type {
841 border-bottom-width: 2px;
842 border-bottom-left-radius: 6px;
843 border-bottom-right-radius: 6px;
844}
845ul.menu > li mark {
846 text-decoration: underline;
847 background-color: transparent;
848 color: inherit;
849 font-weight: bold;
850}
851ul.menu > li.active,
852ul.menu span.non-item.active {
853 color: #636f07;
854 background-color: #9bad0b;
855 border-color: #636f07;
856 text-shadow: none;
857}
858ul.menu > li:hover,
859ul.menu span.non-item:hover {
860 color: #fefefe;
861 background-color: #f6a800;
862 border-color: #ff8000;
863 text-shadow: none;
864}
865ul.menu span.non-item {
866 border-radius: 6px;
867 border-width: 2px !important;
868}
869ul.menu span.pref:not(:empty) {
870 position: absolute;
871 min-width: 5px;
872 font-size: 80%;
873 left: 0;
874 bottom: 0;
875 display: block;
876 margin-bottom: -2.1em;
877 padding: 2px 6px;
878}
879ul.menu span.entry:not(:empty) {
880 position: absolute;
881 min-width: 5px;
882 font-size: 80%;
883 left: 0;
884 bottom: 0;
885 display: block;
886 margin-bottom: -2.1em;
887 padding: 2px 6px;
888}
889ul.menu span.pref:not(:empty) + span.entry:not(:empty) {
890 bottom: -27px;
891 left: 50px;
892 display: grid;
893}
894
895/**
896 * Rolling menu
897 */
898ul.menu.roll > li:first-of-type:not(.no-more):before {
899 position: absolute;
900 font-family: "FontAwesome";
901 content: "";
902 right: 0.5em;
903 top: 0.4em;
904}
905ul.menu.roll > li:last-of-type:not(.no-more):before {
906 position: absolute;
907 font-family: "FontAwesome";
908 content: "";
909 right: 0.5em;
910 bottom: 0.4em;
911}
912ul.menu.roll:not(.visible) {
913 height: 0;
914}
915
916/**
917 * Sorting menu
918 */
919ul.menu.sort {
920 position: relative;
921 display: inline-block;
922}
923ul.menu.sort > li::before {
924 content: "";
925}
926ul.menu.sort > li.active:hover {
927 color: #fefefe;
928 background-color: #c1002b;
929 border-color: black;
930 text-shadow: none;
931}
932
933/**
934 * select menu
935 */
936span.menu.select > span {
937 z-index: 105;
938}
939span.menu.select > ul.menu.roll {
940 display: none;
941 z-index: -100;
942}
943span.menu.select > ul.menu.roll.visible {
944 display: block;
945 z-index: 110;
946}
947
948.banner {
949 position: fixed;
950 width: 10em;
951 height: 10em;
952 overflow: hidden;
953 margin: 0;
954 padding: 0;
955 right: 0px;
956 margin-right: -2.4em;
957 top: 0;
958}
959.banner::after {
960 content: attr(data-note);
961 display: block;
962 overflow: hidden;
963 width: 12em;
964 font-size: 10pt;
965 font-weight: bold;
966 word-spacing: 2px;
967 text-decoration: none;
968 position: relative;
969 left: 2em;
970 top: -1.6em;
971 line-height: 2em;
972 text-align: center;
973 -moz-transform-origin: 0 0;
974 -moz-transform: rotate(45deg);
975 -webkit-transform-origin: 0 0;
976 -webkit-transform: rotate(45deg);
977 -ms-transform-origin: 0 0;
978 -ms-transform: rotate(45deg);
979 transform-origin: 0 0;
980 transform: rotate(45deg);
981 background-color: #f4eebb;
982 color: #f6a800;
983 border: 1px solid #f6a800;
984}
985
986/**
987 * Basic global CSS rules for Kalamar
988 */
989* {
990 -webkit-box-sizing: border-box;
991 /* Safari/Chrome, other WebKit */
992 -moz-box-sizing: border-box;
993 /* Firefox, other Gecko */
994 box-sizing: border-box;
995 /* Opera/IE 8+ */
996}
997
998body,
999html,
1000select,
1001g > text {
1002 font-family: verdana, tahoma, arial, Helvetica, sans-serif;
1003 color: #616263;
1004 margin: 0;
1005}
1006
1007g > text {
1008 fill: #616263;
1009}
1010
1011html {
1012 height: 100vh;
1013}
1014
1015body {
1016 position: relative;
1017 min-height: 100vh;
1018 font-size: 12pt;
1019 margin: 0;
1020 padding: 0;
1021}
1022
1023a:visited {
1024 color: #e55d00;
1025}
1026a:link {
1027 text-decoration: none;
1028 color: #f6a800;
1029}
1030a:link:hover {
1031 color: #e55d00;
1032 transition: color 0.3s ease 0s;
1033}
1034a[href^="http://"]::after, a[href^="https://"]::after {
1035 font-family: "FontAwesome";
1036 white-space: nowrap;
1037 content: " ";
1038 font-size: 75%;
1039}
1040
1041a[onclick$="return PArok(this,false)"] {
1042 unicode-bidi: bidi-override;
1043 direction: rtl;
1044 text-align: left;
1045}
1046a[onclick$="return PArok(this,false)"] > span:nth-child(1n+2) {
1047 display: none;
1048}
1049a[onclick$="return PArok(this,false)"] > span:nth-child(1)::after {
1050 content: "@";
1051}
1052
1053.clear {
1054 clear: both;
1055}
1056
1057iframe {
1058 border-width: 0;
1059}
1060
1061blockquote {
1062 border-radius: 6px;
1063 padding: 2pt 5pt 2pt 20pt;
1064 margin: 0;
1065 border-left: 5px solid #009ee0;
1066 background-color: #bce4f7;
1067 color: #009ee0;
1068 mix-blend-mode: soft-light;
1069}
1070blockquote.bug, blockquote.missing, blockquote.warning {
1071 border-left-color: black;
1072 background-color: #c1002b;
1073 color: #fefefe;
1074 mix-blend-mode: multiply;
1075}
1076
1077dl {
1078 margin: 0;
1079 padding-bottom: 0.5em;
1080}
1081dl dt {
1082 font-weight: bold;
1083}
1084dl dt abbr {
1085 border-width: 0;
1086}
1087dl dt abbr[data-type=token]::after {
1088 color: #009ee0;
1089}
1090dl dt abbr[data-type=span]::after {
1091 color: #c1002b;
1092}
1093dl dt abbr::after {
1094 content: " (" attr(title) ")";
1095 vertical-align: bottom;
1096 font-style: italic;
1097 font-weight: normal;
1098 font-size: 80%;
1099}
1100
1101/*
1102 * Based on github.com style (c) Vasily Polovnyov <vast@whiteants.net>
1103 */
1104.hljs {
1105 display: block;
1106 padding: 0.5em;
1107}
1108
1109.hljs-comment,
1110.hljs-template_comment,
1111.diff .hljs-header,
1112.hljs-javadoc {
1113 color: #998;
1114 font-style: italic;
1115}
1116
1117.hljs-keyword,
1118.css .rule .hljs-keyword,
1119.hljs-winutils,
1120.javascript .hljs-title,
1121.nginx .hljs-title,
1122.hljs-subst,
1123.hljs-request,
1124.hljs-status {
1125 color: #333;
1126 font-weight: bold;
1127}
1128
1129.hljs-number,
1130.hljs-hexcolor,
1131.ruby .hljs-constant {
1132 color: #099;
1133}
1134
1135.hljs-string,
1136.hljs-tag .hljs-value,
1137.hljs-phpdoc,
1138.tex .hljs-formula {
1139 color: #d14;
1140}
1141
1142.hljs-title,
1143.hljs-id,
1144.coffeescript .hljs-params,
1145.scss .hljs-preprocessor {
1146 color: #900;
1147 font-weight: bold;
1148}
1149
1150.javascript .hljs-title,
1151.lisp .hljs-title,
1152.clojure .hljs-title,
1153.hljs-subst {
1154 font-weight: normal;
1155}
1156
1157.hljs-class .hljs-title,
1158.haskell .hljs-type,
1159.vhdl .hljs-literal,
1160.tex .hljs-command {
1161 color: #458;
1162 font-weight: bold;
1163}
1164
1165.hljs-tag,
1166.hljs-tag .hljs-title,
1167.hljs-rules .hljs-property,
1168.django .hljs-tag .hljs-keyword {
1169 color: #000080;
1170 font-weight: normal;
1171}
1172
1173.hljs-attribute,
1174.hljs-variable,
1175.lisp .hljs-body {
1176 color: #008080;
1177}
1178
1179.hljs-regexp {
1180 color: #009926;
1181}
1182
1183.hljs-symbol,
1184.ruby .hljs-symbol .hljs-string,
1185.lisp .hljs-keyword,
1186.tex .hljs-special,
1187.hljs-prompt {
1188 color: #990073;
1189}
1190
1191.hljs-built_in,
1192.lisp .hljs-title,
1193.clojure .hljs-built_in {
1194 color: #0086b3;
1195}
1196
1197.hljs-preprocessor,
1198.hljs-pragma,
1199.hljs-pi,
1200.hljs-doctype,
1201.hljs-shebang,
1202.hljs-cdata {
1203 color: #999;
1204 font-weight: bold;
1205}
1206
1207.hljs-deletion {
1208 background: #fdd;
1209}
1210
1211.hljs-addition {
1212 background: #dfd;
1213}
1214
1215.diff .hljs-change {
1216 background: #0086b3;
1217}
1218
1219.hljs-chunk {
1220 color: #aaa;
1221}
1222
1223/**
1224 * Some colors and shadow definitions
1225 * for Kalamar,
1226 */
1227/**
1228 * Official IDS colors
1229 */
1230/**
1231 * Orange Colors
1232 */
1233/**
1234 * Green Colors
1235 */
1236/**
1237 * Blue Colors
1238 */
1239/**
1240 * Grey Colors
1241 */
1242/**
1243 * Red Colors (no IDS relation)
1244 */
1245/**
1246 * Basic shadows
1247 */
1248/**
1249 * KWIC colors
1250 */
1251/**
1252 * Font Awesome symbol table.
1253 */
1254/**
1255 * Some colors and shadow definitions
1256 * for Kalamar,
1257 */
1258/**
1259 * Official IDS colors
1260 */
1261/**
1262 * Orange Colors
1263 */
1264/**
1265 * Green Colors
1266 */
1267/**
1268 * Blue Colors
1269 */
1270/**
1271 * Grey Colors
1272 */
1273/**
1274 * Red Colors (no IDS relation)
1275 */
1276/**
1277 * Basic shadows
1278 */
1279/**
1280 * KWIC colors
1281 */
1282/**
1283 * Mixin for blind elements
1284 * (e.g., spans in elements with an icon background)
1285 */
1286/**
1287 * Mixin for basic color transition
1288 */
1289/**
1290 * Mixing for basic text padding
1291 */
1292/**
1293 * Mixing for icon fonts
1294 */
1295/**
1296 * Mixing for correct box sizing (probably not necessary)
1297 * DEPRECATED
1298 */
1299/**
1300 * Some colors and shadow definitions
1301 * for Kalamar,
1302 */
1303/**
1304 * Official IDS colors
1305 */
1306/**
1307 * Orange Colors
1308 */
1309/**
1310 * Green Colors
1311 */
1312/**
1313 * Blue Colors
1314 */
1315/**
1316 * Grey Colors
1317 */
1318/**
1319 * Red Colors (no IDS relation)
1320 */
1321/**
1322 * Basic shadows
1323 */
1324/**
1325 * KWIC colors
1326 */
1327/**
1328 * Some color definitions and mixins for
1329 * buttons and menus.
1330 */
1331/**
1332 * Chooseable items (default)
1333 */
1334/**
1335 * Chooseable items (mouse over)
1336 */
1337/**
1338 * Chooseable items (not available)
1339 */
1340/**
1341 * Chooseable items (active)
1342 */
1343/**
1344 * Chooseable items (action: remove something)
1345 */
1346/*
1347 * Defined lengths and sizes for the
1348 * Kalamar layout.
1349 */
1350/**
1351 * Margins
1352 */
1353/**
1354 * Path information - relative to css!
1355 */
1356/**
1357 * Styles for the KWIC view.
1358 */
1359#search {
1360 position: relative;
1361 margin-bottom: 30px;
1362 overflow: visible;
1363}
1364#search div.matchinfo {
1365 display: none;
1366}
1367#search > ol {
1368 overflow-x: hidden;
1369 overflow-y: visible;
1370 width: auto;
1371 text-indent: 0;
1372 list-style-type: none;
1373 margin: 0;
1374 padding: 0;
1375 border: 1px solid #87888a;
1376 font-size: 10pt;
1377}
1378#search > ol > li {
1379 display: flex;
1380 flex-direction: row;
1381 flex-wrap: nowrap;
1382 align-items: stretch;
1383 align-content: stretch;
1384 border-style: solid;
1385 border-color: #f6a800;
1386 border-width: 0;
1387}
1388#search > ol > li .button-group.button-view {
1389 display: none;
1390}
1391#search > ol > li:nth-of-type(even) div.match-main div.match-wrap {
1392 background-color: #fefefe;
1393}
1394#search > ol > li p.ref {
1395 display: none;
1396}
1397#search > ol > li div.meta,
1398#search > ol > li div.match-main {
1399 position: relative;
1400 cursor: pointer;
1401}
1402#search > ol > li div.match-main {
1403 display: block;
1404 flex: 7 0;
1405 z-index: 4;
1406 overflow: hidden;
1407}
1408#search > ol > li div.match-main > div.match-wrap {
1409 width: 99999%;
1410 margin-left: -49999.5%;
1411 background-color: #d9dadb;
1412 overflow-x: hidden;
1413 overflow-y: visible;
1414 white-space: normal;
1415}
1416#search > ol > li div.meta {
1417 flex: 1 0;
1418 min-width: 12em;
1419 max-width: 15em;
1420 text-align: left;
1421 width: 2px;
1422 z-index: 5;
1423 overflow-y: hidden;
1424 overflow-x: hidden;
1425 text-overflow: ellipsis;
1426 white-space: nowrap;
1427 background-color: #949597;
1428 color: #fefefe;
1429 font-size: 75%;
1430 padding: 0 5pt;
1431 border-color: #616263;
1432 border-style: solid;
1433 border-width: 2px 1px 0 0;
1434}
1435#search > ol > li div.meta:before {
1436 content: " ";
1437 display: inline-block;
1438 height: 100%;
1439 vertical-align: middle;
1440}
1441#search > ol > li div.meta:empty {
1442 border-width: 0 1px 0 0;
1443}
1444#search > ol > li div.meta.flip {
1445 background-color: #b3b4b5;
1446}
1447#search > ol > li:first-of-type div.meta {
1448 border-top-width: 0;
1449}
1450#search > ol > li:last-of-type div.meta {
1451 border-bottom-width: 0;
1452}
1453
1454/**
1455 * Snippet rules
1456 */
1457div.snippet {
1458 text-overflow: ellipsis;
1459 text-indent: 0;
1460 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
1461 font-size: 0;
1462 white-space: nowrap !important;
1463}
1464div.snippet > span, div.snippet mark {
1465 padding: 5pt 0 6pt 0;
1466 font-size: 10pt;
1467}
1468div.snippet > mark,
1469div.snippet > span.match {
1470 font-weight: bold;
1471 color: #333;
1472 text-shadow: none;
1473 padding-left: 4pt;
1474 padding-right: 2pt;
1475}
1476div.snippet > span.match > span.cutted::after {
1477 font-family: "FontAwesome";
1478 white-space: nowrap;
1479 content: "";
1480 color: #9bad0b;
1481 padding-left: 4pt;
1482 padding-right: 4pt;
1483}
1484div.snippet.startMore:before, div.snippet.endMore:after {
1485 content: "…";
1486 padding-left: 2pt;
1487 padding-right: 2pt;
1488}
1489div.snippet div.flag {
1490 position: absolute;
1491 height: 100%;
1492 top: 0;
1493 left: 0;
1494 width: 11px;
1495 background-color: #f6a800;
1496 border-right: 1px solid #e55d00;
1497}
1498
1499/**
1500 * Active rules
1501 */
1502body.no-js #search > ol > li:active,
1503#search > ol > li.active,
1504#search > ol > li:target {
1505 position: relative;
1506 display: block;
1507 background-color: #f6a800;
1508 text-align: left;
1509 border-width: 2px;
1510 white-space: normal;
1511 height: auto;
1512 width: auto;
1513 overflow: hidden;
1514}
1515body.no-js #search > ol > li:active div.matchinfo,
1516#search > ol > li.active div.matchinfo,
1517#search > ol > li:target div.matchinfo {
1518 display: block;
1519}
1520body.no-js #search > ol > li:active + li.active,
1521#search > ol > li.active + li.active,
1522#search > ol > li:target + li.active {
1523 border-top: 2px solid #d9dadb;
1524 padding-top: 6px;
1525}
1526body.no-js #search > ol > li:active + li.active .button-group.button-view,
1527#search > ol > li.active + li.active .button-group.button-view,
1528#search > ol > li:target + li.active .button-group.button-view {
1529 padding-top: 6px;
1530}
1531body.no-js #search > ol > li:active .snippet,
1532#search > ol > li.active .snippet,
1533#search > ol > li:target .snippet {
1534 white-space: normal !important;
1535 padding: 2pt 0 5pt 5pt;
1536 background-color: #f4eebb;
1537 margin-top: 0;
1538 margin-right: 20px;
1539 margin-bottom: 0;
1540 margin-left: 0;
1541}
1542body.no-js #search > ol > li:active .snippet span,
1543#search > ol > li.active .snippet span,
1544#search > ol > li:target .snippet span {
1545 display: inline !important;
1546}
1547body.no-js #search > ol > li:active .snippet > *,
1548#search > ol > li.active .snippet > *,
1549#search > ol > li:target .snippet > * {
1550 background-color: transparent;
1551}
1552body.no-js #search > ol > li:active .snippet div.flag,
1553#search > ol > li.active .snippet div.flag,
1554#search > ol > li:target .snippet div.flag {
1555 display: none;
1556}
1557body.no-js #search > ol > li:active .snippet > span,
1558#search > ol > li.active .snippet > span,
1559#search > ol > li:target .snippet > span {
1560 line-height: 1.4em;
1561 width: auto;
1562}
1563body.no-js #search > ol > li:active .snippet > span.context-left,
1564#search > ol > li.active .snippet > span.context-left,
1565#search > ol > li:target .snippet > span.context-left {
1566 margin-left: 0;
1567 display: inline;
1568 overflow: visible;
1569 text-align: left;
1570 width: auto;
1571}
1572body.no-js #search > ol > li:active .button-group.button-view,
1573#search > ol > li.active .button-group.button-view,
1574#search > ol > li:target .button-group.button-view {
1575 display: block;
1576}
1577body.no-js #search > ol > li:active div.match-main,
1578#search > ol > li.active div.match-main,
1579#search > ol > li:target div.match-main {
1580 display: block;
1581 width: 100%;
1582}
1583body.no-js #search > ol > li:active div.match-main div.match-wrap,
1584#search > ol > li.active div.match-main div.match-wrap,
1585#search > ol > li:target div.match-main div.match-wrap {
1586 cursor: default;
1587 min-height: 20pt;
1588 background-color: #f6a800;
1589 width: 100%;
1590 margin-left: 0;
1591 overflow-x: visible;
1592 white-space: normal;
1593}
1594body.no-js #search > ol > li:active div.meta,
1595#search > ol > li.active div.meta,
1596#search > ol > li:target div.meta {
1597 display: none;
1598}
1599body.no-js #search > ol > li:active p.ref,
1600#search > ol > li.active p.ref,
1601#search > ol > li:target p.ref {
1602 display: block;
1603 color: #fefefe;
1604 padding: 3pt 10pt 3pt 3pt;
1605 padding-right: 20px;
1606 margin: 0pt;
1607 width: 100%;
1608 bottom: 0;
1609 z-index: 30;
1610}
1611body.no-js #search > ol > li:active p.ref > span.sigle,
1612#search > ol > li.active p.ref > span.sigle,
1613#search > ol > li:target p.ref > span.sigle {
1614 font-size: 75%;
1615 vertical-align: top;
1616 color: #f4eebb;
1617 float: right;
1618}
1619
1620/**
1621 * Alignment rules
1622 */
1623#search ol span.context-left {
1624 display: inline-block;
1625 width: 50.01%;
1626 text-align: right;
1627}
1628#search ol.align-right {
1629 text-align: right;
1630}
1631#search ol.align-right div.match-main span.context-right {
1632 display: inline-block;
1633 width: 49.915%;
1634 text-align: left;
1635}
1636#search ol.align-center div.match-main {
1637 width: 100% !important;
1638}
1639#search ol.align-center div.match-main > .match-wrap {
1640 position: relative;
1641 margin-left: 0;
1642}
1643#search ol.align-center li:not(.active) div.snippet {
1644 white-space: normal;
1645 text-align: center;
1646 width: 100000pt;
1647 margin-left: -50000pt;
1648}
1649#search ol.align-center li:not(.active) div.snippet span.context-left {
1650 display: inline-block;
1651 text-align: right;
1652 width: 40000pt;
1653 margin-left: 70vw;
1654}
1655#search ol.align-center li:not(.active) div.snippet span.context-right {
1656 display: inline-block;
1657 text-align: left;
1658 width: 40000pt;
1659}
1660
1661/**
1662 * Fix empty contexts
1663 */
1664#search ol span.context-left:empty::after, #search ol span.context-right:empty::after {
1665 content: " ";
1666 display: inline-block;
1667}
1668
1669/**
1670 * Highlight rules
1671 */
1672mark {
1673 background-color: inherit;
1674 color: inherit;
1675}
1676
1677mark > mark,
1678em,
1679.level-0 {
1680 border-bottom-width: 2px;
1681 border-bottom-style: solid;
1682 padding-bottom: 0px !important;
1683 font-style: normal;
1684}
1685
1686mark > mark > mark,
1687em > em,
1688.level-1 {
1689 padding-bottom: 3px !important;
1690}
1691
1692mark > mark > mark > mark,
1693em > em > em,
1694.level-2 {
1695 padding-bottom: 6px !important;
1696}
1697
1698#search > ol > li:not(.active) mark > mark > mark > mark, #search > ol > li:not(.active) em > em > em {
1699 line-height: 180%;
1700}
1701#search > ol > li.active mark > mark > mark > mark, #search > ol > li.active em > em > em {
1702 line-height: 250%;
1703}
1704
1705.class-1 {
1706 border-color: #c1002b;
1707}
1708
1709.class-2 {
1710 border-color: #009ee0;
1711}
1712
1713.class-3 {
1714 border-color: #f6a800;
1715}
1716
1717.class-4 {
1718 border-color: #9bad0b;
1719}
1720
1721/**
1722 * Some colors and shadow definitions
1723 * for Kalamar,
1724 */
1725/**
1726 * Official IDS colors
1727 */
1728/**
1729 * Orange Colors
1730 */
1731/**
1732 * Green Colors
1733 */
1734/**
1735 * Blue Colors
1736 */
1737/**
1738 * Grey Colors
1739 */
1740/**
1741 * Red Colors (no IDS relation)
1742 */
1743/**
1744 * Basic shadows
1745 */
1746/**
1747 * KWIC colors
1748 */
1749/**
1750 * Font Awesome symbol table.
1751 */
1752/**
1753 * Some colors and shadow definitions
1754 * for Kalamar,
1755 */
1756/**
1757 * Official IDS colors
1758 */
1759/**
1760 * Orange Colors
1761 */
1762/**
1763 * Green Colors
1764 */
1765/**
1766 * Blue Colors
1767 */
1768/**
1769 * Grey Colors
1770 */
1771/**
1772 * Red Colors (no IDS relation)
1773 */
1774/**
1775 * Basic shadows
1776 */
1777/**
1778 * KWIC colors
1779 */
1780/**
1781 * Mixin for blind elements
1782 * (e.g., spans in elements with an icon background)
1783 */
1784/**
1785 * Mixin for basic color transition
1786 */
1787/**
1788 * Mixing for basic text padding
1789 */
1790/**
1791 * Mixing for icon fonts
1792 */
1793/**
1794 * Mixing for correct box sizing (probably not necessary)
1795 * DEPRECATED
1796 */
1797/**
1798 * Some colors and shadow definitions
1799 * for Kalamar,
1800 */
1801/**
1802 * Official IDS colors
1803 */
1804/**
1805 * Orange Colors
1806 */
1807/**
1808 * Green Colors
1809 */
1810/**
1811 * Blue Colors
1812 */
1813/**
1814 * Grey Colors
1815 */
1816/**
1817 * Red Colors (no IDS relation)
1818 */
1819/**
1820 * Basic shadows
1821 */
1822/**
1823 * KWIC colors
1824 */
1825/**
1826 * Some color definitions and mixins for
1827 * buttons and menus.
1828 */
1829/**
1830 * Chooseable items (default)
1831 */
1832/**
1833 * Chooseable items (mouse over)
1834 */
1835/**
1836 * Chooseable items (not available)
1837 */
1838/**
1839 * Chooseable items (active)
1840 */
1841/**
1842 * Chooseable items (action: remove something)
1843 */
1844/*
1845 * Defined lengths and sizes for the
1846 * Kalamar layout.
1847 */
1848/**
1849 * Margins
1850 */
1851/**
1852 * Path information - relative to css!
1853 */
1854/**
1855 * Rules for logos.
1856 */
1857.logo::after {
1858 content: "" !important;
1859}
1860.logo > * {
1861 background-repeat: no-repeat;
1862 background-size: 90%;
1863 background-position: 50% 50%;
1864}
1865.logo > * > span {
1866 position: absolute;
1867 margin-left: -3000px;
1868}
1869
1870/**
1871 * Logo: KorAP
1872 */
1873h1 {
1874 position: absolute;
1875 margin: 0;
1876 margin-left: 10pt;
1877 left: 0;
1878 top: 0;
1879 width: 7.8em;
1880 height: 2.4em;
1881 z-index: 105;
1882 background-size: 78% !important;
1883 background-image: url("../img/korap-logo.svg");
1884}
1885
1886aside.active ~ header h1 {
1887 position: fixed;
1888}
1889
1890#overview {
1891 text-align: center;
1892 width: 100%;
1893}
1894
1895/**
1896 * Some colors and shadow definitions
1897 * for Kalamar,
1898 */
1899/**
1900 * Official IDS colors
1901 */
1902/**
1903 * Orange Colors
1904 */
1905/**
1906 * Green Colors
1907 */
1908/**
1909 * Blue Colors
1910 */
1911/**
1912 * Grey Colors
1913 */
1914/**
1915 * Red Colors (no IDS relation)
1916 */
1917/**
1918 * Basic shadows
1919 */
1920/**
1921 * KWIC colors
1922 */
1923/**
1924 * Font Awesome symbol table.
1925 */
1926/**
1927 * Some colors and shadow definitions
1928 * for Kalamar,
1929 */
1930/**
1931 * Official IDS colors
1932 */
1933/**
1934 * Orange Colors
1935 */
1936/**
1937 * Green Colors
1938 */
1939/**
1940 * Blue Colors
1941 */
1942/**
1943 * Grey Colors
1944 */
1945/**
1946 * Red Colors (no IDS relation)
1947 */
1948/**
1949 * Basic shadows
1950 */
1951/**
1952 * KWIC colors
1953 */
1954/**
1955 * Mixin for blind elements
1956 * (e.g., spans in elements with an icon background)
1957 */
1958/**
1959 * Mixin for basic color transition
1960 */
1961/**
1962 * Mixing for basic text padding
1963 */
1964/**
1965 * Mixing for icon fonts
1966 */
1967/**
1968 * Mixing for correct box sizing (probably not necessary)
1969 * DEPRECATED
1970 */
1971/**
1972 * Some colors and shadow definitions
1973 * for Kalamar,
1974 */
1975/**
1976 * Official IDS colors
1977 */
1978/**
1979 * Orange Colors
1980 */
1981/**
1982 * Green Colors
1983 */
1984/**
1985 * Blue Colors
1986 */
1987/**
1988 * Grey Colors
1989 */
1990/**
1991 * Red Colors (no IDS relation)
1992 */
1993/**
1994 * Basic shadows
1995 */
1996/**
1997 * KWIC colors
1998 */
1999/**
2000 * Some color definitions and mixins for
2001 * buttons and menus.
2002 */
2003/**
2004 * Chooseable items (default)
2005 */
2006/**
2007 * Chooseable items (mouse over)
2008 */
2009/**
2010 * Chooseable items (not available)
2011 */
2012/**
2013 * Chooseable items (active)
2014 */
2015/**
2016 * Chooseable items (action: remove something)
2017 */
2018/*
2019 * Defined lengths and sizes for the
2020 * Kalamar layout.
2021 */
2022/**
2023 * Margins
2024 */
2025/**
2026 * Path information - relative to css!
2027 */
2028/**
2029 * Some colors and shadow definitions
2030 * for Kalamar,
2031 */
2032/**
2033 * Official IDS colors
2034 */
2035/**
2036 * Orange Colors
2037 */
2038/**
2039 * Green Colors
2040 */
2041/**
2042 * Blue Colors
2043 */
2044/**
2045 * Grey Colors
2046 */
2047/**
2048 * Red Colors (no IDS relation)
2049 */
2050/**
2051 * Basic shadows
2052 */
2053/**
2054 * KWIC colors
2055 */
2056/**
2057 * Font Awesome symbol table.
2058 */
2059/**
2060 * Some colors and shadow definitions
2061 * for Kalamar,
2062 */
2063/**
2064 * Official IDS colors
2065 */
2066/**
2067 * Orange Colors
2068 */
2069/**
2070 * Green Colors
2071 */
2072/**
2073 * Blue Colors
2074 */
2075/**
2076 * Grey Colors
2077 */
2078/**
2079 * Red Colors (no IDS relation)
2080 */
2081/**
2082 * Basic shadows
2083 */
2084/**
2085 * KWIC colors
2086 */
2087/**
2088 * Mixin for blind elements
2089 * (e.g., spans in elements with an icon background)
2090 */
2091/**
2092 * Mixin for basic color transition
2093 */
2094/**
2095 * Mixing for basic text padding
2096 */
2097/**
2098 * Mixing for icon fonts
2099 */
2100/**
2101 * Mixing for correct box sizing (probably not necessary)
2102 * DEPRECATED
2103 */
2104/**
2105 * Some colors and shadow definitions
2106 * for Kalamar,
2107 */
2108/**
2109 * Official IDS colors
2110 */
2111/**
2112 * Orange Colors
2113 */
2114/**
2115 * Green Colors
2116 */
2117/**
2118 * Blue Colors
2119 */
2120/**
2121 * Grey Colors
2122 */
2123/**
2124 * Red Colors (no IDS relation)
2125 */
2126/**
2127 * Basic shadows
2128 */
2129/**
2130 * KWIC colors
2131 */
2132/**
2133 * Some color definitions and mixins for
2134 * buttons and menus.
2135 */
2136/**
2137 * Chooseable items (default)
2138 */
2139/**
2140 * Chooseable items (mouse over)
2141 */
2142/**
2143 * Chooseable items (not available)
2144 */
2145/**
2146 * Chooseable items (active)
2147 */
2148/**
2149 * Chooseable items (action: remove something)
2150 */
2151/*
2152 * Defined lengths and sizes for the
2153 * Kalamar layout.
2154 */
2155/**
2156 * Margins
2157 */
2158/**
2159 * Path information - relative to css!
2160 */
2161/**
2162 * Table view
2163 *
2164 * The table view is complicated, as the
2165 * first column has to be static.
2166 */
2167div.matchtable > div {
2168 z-index: 20;
2169 margin-left: 179px;
2170 margin-right: 20px;
2171 padding: 0;
2172 overflow-x: auto;
2173 overflow-y: visible;
2174 width: auto;
2175}
2176div.matchtable table {
2177 display: table;
2178 border-collapse: separate;
2179 border-spacing: 0px;
2180}
2181div.matchtable th {
2182 color: #fefefe;
2183}
2184div.matchtable td,
2185div.matchtable tbody th,
2186div.matchtable thead th:not(:nth-child(1)):not(:nth-child(2)):not(.cutted) {
2187 cursor: pointer;
2188}
2189div.matchtable td:empty {
2190 cursor: default;
2191}
2192div.matchtable td:empty::after {
2193 content: " ";
2194 white-space: pre;
2195}
2196div.matchtable td.matchkeyvalues {
2197 padding: 0;
2198}
2199div.matchtable td.matchkeyvalues > div {
2200 text-overflow: ellipsis;
2201 white-space: nowrap;
2202 max-width: 25em;
2203 overflow: hidden;
2204 padding: 1px 6px;
2205 margin: 0px;
2206}
2207div.matchtable td.matchkeyvalues > div > span {
2208 color: #e55d00;
2209 text-align: right;
2210 padding-right: 0.5em;
2211}
2212div.matchtable td.matchkeyvalues > div > span::after {
2213 content: ":";
2214}
2215div.matchtable tr {
2216 outline: none;
2217 /**
2218 * The first two columns.
2219 */
2220}
2221div.matchtable tr td.chosen,
2222div.matchtable tr th.chosen,
2223div.matchtable tr div.chosen {
2224 background-color: #9bad0b !important;
2225 color: #fefefe;
2226}
2227div.matchtable tr > th:nth-of-type(1),
2228div.matchtable tr > th:nth-of-type(2) {
2229 border-top: 2px solid #ff8000;
2230 width: 88px;
2231 position: absolute;
2232 z-index: 80;
2233 vertical-align: middle;
2234 left: 0px;
2235}
2236div.matchtable tr > th:nth-of-type(2) {
2237 left: 90px;
2238}
2239div.matchtable tr > * {
2240 text-overflow: ellipsis;
2241 white-space: nowrap;
2242 max-width: 25em;
2243 overflow: hidden;
2244 padding: 1px 6px;
2245 margin: 0px;
2246 border: 1px solid #f6a800;
2247}
2248div.matchtable tr > td {
2249 background-color: #ffd080;
2250 white-space: nowrap;
2251 vertical-align: top;
2252 text-align: center;
2253}
2254div.matchtable tr > td.mark {
2255 background-color: #f4eebb;
2256}
2257div.matchtable tr:nth-child(even) > td {
2258 background-color: #f4eebb;
2259}
2260div.matchtable tr:nth-child(even) > td.mark {
2261 background-color: #ffd080;
2262}
2263div.matchtable thead th {
2264 background-color: #ff8000;
2265 border-top-width: 0px !important;
2266 text-align: center;
2267}
2268div.matchtable thead th:nth-of-type(1), div.matchtable thead th:nth-of-type(2) {
2269 text-align: left;
2270}
2271div.matchtable thead th.mark {
2272 background-color: #e55d00;
2273}
2274div.matchtable thead th.cutted {
2275 background-color: #f4eebb;
2276}
2277div.matchtable thead th.cutted::after {
2278 font-family: "FontAwesome";
2279 white-space: nowrap;
2280 content: "";
2281 color: #9bad0b;
2282 padding-left: 4pt;
2283 padding-right: 4pt;
2284}
2285div.matchtable tbody > tr:nth-of-type(1) > th {
2286 border-top-color: transparent;
2287}
2288
2289/**
2290 * Some colors and shadow definitions
2291 * for Kalamar,
2292 */
2293/**
2294 * Official IDS colors
2295 */
2296/**
2297 * Orange Colors
2298 */
2299/**
2300 * Green Colors
2301 */
2302/**
2303 * Blue Colors
2304 */
2305/**
2306 * Grey Colors
2307 */
2308/**
2309 * Red Colors (no IDS relation)
2310 */
2311/**
2312 * Basic shadows
2313 */
2314/**
2315 * KWIC colors
2316 */
2317/**
2318 * Font Awesome symbol table.
2319 */
2320/**
2321 * Some colors and shadow definitions
2322 * for Kalamar,
2323 */
2324/**
2325 * Official IDS colors
2326 */
2327/**
2328 * Orange Colors
2329 */
2330/**
2331 * Green Colors
2332 */
2333/**
2334 * Blue Colors
2335 */
2336/**
2337 * Grey Colors
2338 */
2339/**
2340 * Red Colors (no IDS relation)
2341 */
2342/**
2343 * Basic shadows
2344 */
2345/**
2346 * KWIC colors
2347 */
2348/**
2349 * Mixin for blind elements
2350 * (e.g., spans in elements with an icon background)
2351 */
2352/**
2353 * Mixin for basic color transition
2354 */
2355/**
2356 * Mixing for basic text padding
2357 */
2358/**
2359 * Mixing for icon fonts
2360 */
2361/**
2362 * Mixing for correct box sizing (probably not necessary)
2363 * DEPRECATED
2364 */
2365/**
2366 * Some colors and shadow definitions
2367 * for Kalamar,
2368 */
2369/**
2370 * Official IDS colors
2371 */
2372/**
2373 * Orange Colors
2374 */
2375/**
2376 * Green Colors
2377 */
2378/**
2379 * Blue Colors
2380 */
2381/**
2382 * Grey Colors
2383 */
2384/**
2385 * Red Colors (no IDS relation)
2386 */
2387/**
2388 * Basic shadows
2389 */
2390/**
2391 * KWIC colors
2392 */
2393/**
2394 * Some color definitions and mixins for
2395 * buttons and menus.
2396 */
2397/**
2398 * Chooseable items (default)
2399 */
2400/**
2401 * Chooseable items (mouse over)
2402 */
2403/**
2404 * Chooseable items (not available)
2405 */
2406/**
2407 * Chooseable items (active)
2408 */
2409/**
2410 * Chooseable items (action: remove something)
2411 */
2412/*
2413 * Defined lengths and sizes for the
2414 * Kalamar layout.
2415 */
2416/**
2417 * Margins
2418 */
2419/**
2420 * Path information - relative to css!
2421 */
2422/**
2423 * Some colors and shadow definitions
2424 * for Kalamar,
2425 */
2426/**
2427 * Official IDS colors
2428 */
2429/**
2430 * Orange Colors
2431 */
2432/**
2433 * Green Colors
2434 */
2435/**
2436 * Blue Colors
2437 */
2438/**
2439 * Grey Colors
2440 */
2441/**
2442 * Red Colors (no IDS relation)
2443 */
2444/**
2445 * Basic shadows
2446 */
2447/**
2448 * KWIC colors
2449 */
2450/**
2451 * Font Awesome symbol table.
2452 */
2453/**
2454 * Some colors and shadow definitions
2455 * for Kalamar,
2456 */
2457/**
2458 * Official IDS colors
2459 */
2460/**
2461 * Orange Colors
2462 */
2463/**
2464 * Green Colors
2465 */
2466/**
2467 * Blue Colors
2468 */
2469/**
2470 * Grey Colors
2471 */
2472/**
2473 * Red Colors (no IDS relation)
2474 */
2475/**
2476 * Basic shadows
2477 */
2478/**
2479 * KWIC colors
2480 */
2481/**
2482 * Mixin for blind elements
2483 * (e.g., spans in elements with an icon background)
2484 */
2485/**
2486 * Mixin for basic color transition
2487 */
2488/**
2489 * Mixing for basic text padding
2490 */
2491/**
2492 * Mixing for icon fonts
2493 */
2494/**
2495 * Mixing for correct box sizing (probably not necessary)
2496 * DEPRECATED
2497 */
2498/**
2499 * Some colors and shadow definitions
2500 * for Kalamar,
2501 */
2502/**
2503 * Official IDS colors
2504 */
2505/**
2506 * Orange Colors
2507 */
2508/**
2509 * Green Colors
2510 */
2511/**
2512 * Blue Colors
2513 */
2514/**
2515 * Grey Colors
2516 */
2517/**
2518 * Red Colors (no IDS relation)
2519 */
2520/**
2521 * Basic shadows
2522 */
2523/**
2524 * KWIC colors
2525 */
2526/**
2527 * Some color definitions and mixins for
2528 * buttons and menus.
2529 */
2530/**
2531 * Chooseable items (default)
2532 */
2533/**
2534 * Chooseable items (mouse over)
2535 */
2536/**
2537 * Chooseable items (not available)
2538 */
2539/**
2540 * Chooseable items (active)
2541 */
2542/**
2543 * Chooseable items (action: remove something)
2544 */
2545/*
2546 * Defined lengths and sizes for the
2547 * Kalamar layout.
2548 */
2549/**
2550 * Margins
2551 */
2552/**
2553 * Path information - relative to css!
2554 */
2555/**
2556 * SVG tree
2557 */
2558path.edge {
2559 stroke: #ff8000;
2560 stroke-width: 2px;
2561 fill: none;
2562}
2563
2564g.arc.infocus > path.edge {
2565 stroke: #636f07;
2566}
2567
2568marker#arr {
2569 overflow: visible;
2570}
2571marker#arr path {
2572 stroke: #e55d00;
2573 fill: #e55d00;
2574 fill-opacity: 1;
2575 stroke-width: 2;
2576}
2577
2578path.anchor {
2579 stroke: #e55d00;
2580 stroke-width: 3;
2581 stroke-linecap: round;
2582 z-index: 20;
2583}
2584
2585g.root rect.empty {
2586 stroke: #ff8000;
2587 fill: #ff8000;
2588 stroke-width: 2px;
2589}
2590
2591g.middle rect,
2592g.label rect {
2593 stroke: #ff8000;
2594 stroke-width: 2px;
2595 fill: #ffd080;
2596}
2597
2598g.label.infocus rect {
2599 stroke: #636f07;
2600 fill: #dce883;
2601}
2602
2603g.middle.mark rect {
2604 fill: #ff8000;
2605}
2606g.middle.mark > text {
2607 fill: #f4eebb;
2608}
2609g.middle.mark > text > tspan {
2610 stroke: #f4eebb;
2611}
2612
2613g.leaf.mark text > tspan {
2614 font-weight: bold;
2615}
2616
2617g.leaf > rect {
2618 display: none;
2619}
2620
2621g > text > tspan {
2622 text-anchor: middle;
2623 font-size: 9pt;
2624}
2625
2626g.leaf > text > tspan,
2627text.leaf > tspan {
2628 font-size: 10pt;
2629 overflow: visible;
2630}
2631
2632/**
2633 * Matchtree view
2634 */
2635div.matchtree {
2636 overflow-x: hidden;
2637 overflow-y: visible;
2638 padding: 0;
2639 margin-top: 1pt;
2640}
2641div.matchtree h6 {
2642 display: inline;
2643 font-size: inherit;
2644 color: #fefefe;
2645 margin: 0;
2646 padding: 0 !important;
2647 float: left;
2648}
2649div.matchtree h6 > span {
2650 border-top: 2px solid #ff8000;
2651 width: 88px;
2652 text-overflow: ellipsis;
2653 white-space: nowrap;
2654 max-width: 25em;
2655 overflow: hidden;
2656 padding: 1px 6px;
2657 margin: 0px;
2658 display: inline-block !important;
2659 margin: 0;
2660}
2661div.matchtree h6 > span:nth-of-type(2) {
2662 margin-left: 2px;
2663}
2664div.matchtree > div {
2665 position: unset;
2666 z-index: 4;
2667 overflow-x: auto;
2668 margin: 2px;
2669 margin-left: 180px;
2670 margin-right: 20px;
2671 background-color: #f4eebb;
2672}
2673
2674/**
2675 * Some colors and shadow definitions
2676 * for Kalamar,
2677 */
2678/**
2679 * Official IDS colors
2680 */
2681/**
2682 * Orange Colors
2683 */
2684/**
2685 * Green Colors
2686 */
2687/**
2688 * Blue Colors
2689 */
2690/**
2691 * Grey Colors
2692 */
2693/**
2694 * Red Colors (no IDS relation)
2695 */
2696/**
2697 * Basic shadows
2698 */
2699/**
2700 * KWIC colors
2701 */
2702/**
2703 * Font Awesome symbol table.
2704 */
2705/**
2706 * Some colors and shadow definitions
2707 * for Kalamar,
2708 */
2709/**
2710 * Official IDS colors
2711 */
2712/**
2713 * Orange Colors
2714 */
2715/**
2716 * Green Colors
2717 */
2718/**
2719 * Blue Colors
2720 */
2721/**
2722 * Grey Colors
2723 */
2724/**
2725 * Red Colors (no IDS relation)
2726 */
2727/**
2728 * Basic shadows
2729 */
2730/**
2731 * KWIC colors
2732 */
2733/**
2734 * Mixin for blind elements
2735 * (e.g., spans in elements with an icon background)
2736 */
2737/**
2738 * Mixin for basic color transition
2739 */
2740/**
2741 * Mixing for basic text padding
2742 */
2743/**
2744 * Mixing for icon fonts
2745 */
2746/**
2747 * Mixing for correct box sizing (probably not necessary)
2748 * DEPRECATED
2749 */
2750/**
2751 * Some colors and shadow definitions
2752 * for Kalamar,
2753 */
2754/**
2755 * Official IDS colors
2756 */
2757/**
2758 * Orange Colors
2759 */
2760/**
2761 * Green Colors
2762 */
2763/**
2764 * Blue Colors
2765 */
2766/**
2767 * Grey Colors
2768 */
2769/**
2770 * Red Colors (no IDS relation)
2771 */
2772/**
2773 * Basic shadows
2774 */
2775/**
2776 * KWIC colors
2777 */
2778/**
2779 * Some color definitions and mixins for
2780 * buttons and menus.
2781 */
2782/**
2783 * Chooseable items (default)
2784 */
2785/**
2786 * Chooseable items (mouse over)
2787 */
2788/**
2789 * Chooseable items (not available)
2790 */
2791/**
2792 * Chooseable items (active)
2793 */
2794/**
2795 * Chooseable items (action: remove something)
2796 */
2797/*
2798 * Defined lengths and sizes for the
2799 * Kalamar layout.
2800 */
2801/**
2802 * Margins
2803 */
2804/**
2805 * Path information - relative to css!
2806 */
2807div.metatable > dl {
2808 margin-right: 20px;
2809 margin-top: 2px;
2810}
2811div.metatable > dl > div {
2812 border-color: #f6a800;
2813}
2814div.metatable > dl > div > * {
2815 padding: 0.2em;
2816}
2817div.metatable > dl > div > dt {
2818 background: #ff8000;
2819 color: #fefefe;
2820 width: 12.5em;
2821}
2822div.metatable > dl > div > dd {
2823 background-color: #f4eebb;
2824 cursor: pointer;
2825}
2826div.metatable > dl > div > dd.metakeyvalues {
2827 padding: 0;
2828}
2829div.metatable > dl > div > dd.metakeyvalues > div {
2830 padding: 0.2em;
2831}
2832div.metatable > dl > div > dd.metakeyvalues > div::before {
2833 content: "• ";
2834 color: #f6a800;
2835}
2836div.metatable > dl > div > dd.chosen,
2837div.metatable > dl > div > dd > div.chosen {
2838 background-color: #9bad0b !important;
2839 color: #fefefe;
2840}
2841div.metatable > dl > div > dd[data-type="type:store"], div.metatable > dl > div > dd[data-type="type:attachement"] {
2842 background-color: #ffd080;
2843 cursor: default;
2844}
2845div.metatable > dl > div > dd[data-type="type:store"] a, div.metatable > dl > div > dd[data-type="type:attachement"] a {
2846 color: inherit;
2847}
2848div.metatable > dl.cbm-disabled > div > dd {
2849 cursor: default !important;
2850}
2851
2852/**
2853 * General matchinfo styles.
2854 */
2855div.matchinfo {
2856 position: relative;
2857 width: 100%;
2858 padding-top: 2px;
2859 height: auto;
2860 font-size: 10pt;
2861 text-align: left;
2862}
2863div.matchinfo:empty {
2864 display: none !important;
2865}
2866div.matchinfo .view + .view {
2867 margin-top: 8px !important;
2868}
2869
2870div.metatable,
2871div.matchtable,
2872div.matchtree {
2873 position: relative;
2874 background-color: #f6a800;
2875}
2876
2877div.button-group.button-panel.button-matchinfo {
2878 display: inline-block;
2879 margin-right: 0.5em;
2880}
2881div.button-group.button-panel.button-matchinfo > span {
2882 position: relative;
2883 box-shadow: none;
2884}
2885
2886/**
2887 * Some colors and shadow definitions
2888 * for Kalamar,
2889 */
2890/**
2891 * Official IDS colors
2892 */
2893/**
2894 * Orange Colors
2895 */
2896/**
2897 * Green Colors
2898 */
2899/**
2900 * Blue Colors
2901 */
2902/**
2903 * Grey Colors
2904 */
2905/**
2906 * Red Colors (no IDS relation)
2907 */
2908/**
2909 * Basic shadows
2910 */
2911/**
2912 * KWIC colors
2913 */
2914/**
2915 * Font Awesome symbol table.
2916 */
2917/**
2918 * Some colors and shadow definitions
2919 * for Kalamar,
2920 */
2921/**
2922 * Official IDS colors
2923 */
2924/**
2925 * Orange Colors
2926 */
2927/**
2928 * Green Colors
2929 */
2930/**
2931 * Blue Colors
2932 */
2933/**
2934 * Grey Colors
2935 */
2936/**
2937 * Red Colors (no IDS relation)
2938 */
2939/**
2940 * Basic shadows
2941 */
2942/**
2943 * KWIC colors
2944 */
2945/**
2946 * Mixin for blind elements
2947 * (e.g., spans in elements with an icon background)
2948 */
2949/**
2950 * Mixin for basic color transition
2951 */
2952/**
2953 * Mixing for basic text padding
2954 */
2955/**
2956 * Mixing for icon fonts
2957 */
2958/**
2959 * Mixing for correct box sizing (probably not necessary)
2960 * DEPRECATED
2961 */
2962/**
2963 * Some colors and shadow definitions
2964 * for Kalamar,
2965 */
2966/**
2967 * Official IDS colors
2968 */
2969/**
2970 * Orange Colors
2971 */
2972/**
2973 * Green Colors
2974 */
2975/**
2976 * Blue Colors
2977 */
2978/**
2979 * Grey Colors
2980 */
2981/**
2982 * Red Colors (no IDS relation)
2983 */
2984/**
2985 * Basic shadows
2986 */
2987/**
2988 * KWIC colors
2989 */
2990/**
2991 * Some color definitions and mixins for
2992 * buttons and menus.
2993 */
2994/**
2995 * Chooseable items (default)
2996 */
2997/**
2998 * Chooseable items (mouse over)
2999 */
3000/**
3001 * Chooseable items (not available)
3002 */
3003/**
3004 * Chooseable items (active)
3005 */
3006/**
3007 * Chooseable items (action: remove something)
3008 */
3009/*
3010 * Defined lengths and sizes for the
3011 * Kalamar layout.
3012 */
3013/**
3014 * Margins
3015 */
3016/**
3017 * Path information - relative to css!
3018 */
3019/**
3020 * The pagination view
3021 *
3022 * <div id="pagination">
3023 * <a rel="prev"><span><i class="fa fa-caret-left"></i></span></a>
3024 * <a rel="self"><span>1</span></a>
3025 * <a href="#p=2"><span>2</span></a>
3026 * <a href="#3"><span>3</span></a>
3027 * <span><i class="fa fa-ellipsis-h"></i></span>
3028 * <a href="#67"><span>67</span></a>
3029 * <a rel="next" href="#2"><span><i class="fa fa-caret-right"></i></span></a>
3030 * </div>
3031 */
3032#pagination {
3033 /*
3034 * Always in fixed position.
3035 * This may need to be overwritten in case multiple
3036 * paginations have to be activated.
3037 */
3038 position: fixed;
3039 font-size: 0;
3040 right: 10px;
3041 bottom: 20px;
3042 z-index: 35;
3043 padding: 0;
3044 height: auto;
3045 line-height: 0;
3046}
3047#pagination > a {
3048 margin: 0;
3049 font-size: 10pt;
3050 padding: 0;
3051}
3052#pagination > a > span {
3053 padding-left: 0.4em;
3054 padding-right: 0.4em;
3055 color: #616263;
3056 background-color: #d9dadb;
3057 border-color: #87888a;
3058 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
3059 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
3060 display: inline-block;
3061 line-height: 2em;
3062 text-align: center;
3063 border-top-width: 2px;
3064 border-bottom-width: 2px;
3065 border-top-style: solid;
3066 border-bottom-style: solid;
3067}
3068#pagination > a:not(:link):not([rel=self]) span {
3069 color: #87888a;
3070}
3071#pagination > a.ellipsis > span > span {
3072 position: absolute;
3073 margin-left: -3000px;
3074}
3075#pagination > a.ellipsis > span::after {
3076 font-family: "FontAwesome";
3077 white-space: nowrap;
3078 content: "";
3079 line-height: 1em;
3080}
3081#pagination > a[rel=self] > span {
3082 color: #636f07;
3083 background-color: #9bad0b;
3084 border-color: #636f07;
3085 text-shadow: none;
3086 border-left-width: 2px;
3087 border-right-width: 2px;
3088 border-left-style: solid;
3089 border-right-style: solid;
3090}
3091#pagination > a[rel=prev] > span {
3092 border-top-left-radius: 6px;
3093 border-bottom-left-radius: 6px;
3094 border-left-width: 2px;
3095 border-left-style: solid;
3096}
3097#pagination > a[rel=prev] > span > span {
3098 position: absolute;
3099 margin-left: -3000px;
3100}
3101#pagination > a[rel=prev] > span::after {
3102 font-family: "FontAwesome";
3103 white-space: nowrap;
3104 content: "";
3105 line-height: 1em;
3106}
3107#pagination > a[rel=next] > span {
3108 border-top-right-radius: 6px;
3109 border-bottom-right-radius: 6px;
3110 border-right-width: 2px;
3111 border-right-style: solid;
3112}
3113#pagination > a[rel=next] > span > span {
3114 position: absolute;
3115 margin-left: -3000px;
3116}
3117#pagination > a[rel=next] > span::after {
3118 font-family: "FontAwesome";
3119 white-space: nowrap;
3120 content: "";
3121 line-height: 1em;
3122}
3123#pagination > a:link:hover, #pagination > a:link:focus {
3124 outline: none;
3125}
3126#pagination > a:link:hover span, #pagination > a:link:focus span {
3127 color: #fefefe;
3128 background-color: #f6a800;
3129 border-color: #ff8000;
3130 text-shadow: none;
3131}
3132
3133/**
3134 * Some colors and shadow definitions
3135 * for Kalamar,
3136 */
3137/**
3138 * Official IDS colors
3139 */
3140/**
3141 * Orange Colors
3142 */
3143/**
3144 * Green Colors
3145 */
3146/**
3147 * Blue Colors
3148 */
3149/**
3150 * Grey Colors
3151 */
3152/**
3153 * Red Colors (no IDS relation)
3154 */
3155/**
3156 * Basic shadows
3157 */
3158/**
3159 * KWIC colors
3160 */
3161/**
3162 * Font Awesome symbol table.
3163 */
3164/**
3165 * Some colors and shadow definitions
3166 * for Kalamar,
3167 */
3168/**
3169 * Official IDS colors
3170 */
3171/**
3172 * Orange Colors
3173 */
3174/**
3175 * Green Colors
3176 */
3177/**
3178 * Blue Colors
3179 */
3180/**
3181 * Grey Colors
3182 */
3183/**
3184 * Red Colors (no IDS relation)
3185 */
3186/**
3187 * Basic shadows
3188 */
3189/**
3190 * KWIC colors
3191 */
3192/**
3193 * Mixin for blind elements
3194 * (e.g., spans in elements with an icon background)
3195 */
3196/**
3197 * Mixin for basic color transition
3198 */
3199/**
3200 * Mixing for basic text padding
3201 */
3202/**
3203 * Mixing for icon fonts
3204 */
3205/**
3206 * Mixing for correct box sizing (probably not necessary)
3207 * DEPRECATED
3208 */
3209/**
3210 * Some colors and shadow definitions
3211 * for Kalamar,
3212 */
3213/**
3214 * Official IDS colors
3215 */
3216/**
3217 * Orange Colors
3218 */
3219/**
3220 * Green Colors
3221 */
3222/**
3223 * Blue Colors
3224 */
3225/**
3226 * Grey Colors
3227 */
3228/**
3229 * Red Colors (no IDS relation)
3230 */
3231/**
3232 * Basic shadows
3233 */
3234/**
3235 * KWIC colors
3236 */
3237/**
3238 * Some color definitions and mixins for
3239 * buttons and menus.
3240 */
3241/**
3242 * Chooseable items (default)
3243 */
3244/**
3245 * Chooseable items (mouse over)
3246 */
3247/**
3248 * Chooseable items (not available)
3249 */
3250/**
3251 * Chooseable items (active)
3252 */
3253/**
3254 * Chooseable items (action: remove something)
3255 */
3256/*
3257 * Defined lengths and sizes for the
3258 * Kalamar layout.
3259 */
3260/**
3261 * Margins
3262 */
3263/**
3264 * Path information - relative to css!
3265 */
3266pre.query {
3267 overflow-x: hidden;
3268 padding: 0.5em;
3269 color: #616263;
3270 background-color: #d9dadb;
3271 border-color: #87888a;
3272 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
3273 position: relative;
3274 border-width: 2px;
3275 border-style: solid;
3276 border-radius: 6px;
3277 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
3278}
3279pre.query:not(.unsupported) {
3280 cursor: pointer;
3281}
3282pre.query:not(.unsupported):hover {
3283 color: #fefefe;
3284 background-color: #f6a800;
3285 border-color: #ff8000;
3286 text-shadow: none;
3287}
3288pre.query:not(.unsupported):active {
3289 color: #636f07;
3290 background-color: #9bad0b;
3291 border-color: #636f07;
3292 text-shadow: none;
3293}
3294pre.query.unsupported span {
3295 vertical-align: super;
3296 color: #009ee0;
3297 font-size: 90%;
3298 font-weight: bold;
3299 cursor: help;
3300}
3301
3302/**
3303 * Some colors and shadow definitions
3304 * for Kalamar,
3305 */
3306/**
3307 * Official IDS colors
3308 */
3309/**
3310 * Orange Colors
3311 */
3312/**
3313 * Green Colors
3314 */
3315/**
3316 * Blue Colors
3317 */
3318/**
3319 * Grey Colors
3320 */
3321/**
3322 * Red Colors (no IDS relation)
3323 */
3324/**
3325 * Basic shadows
3326 */
3327/**
3328 * KWIC colors
3329 */
3330/**
3331 * Font Awesome symbol table.
3332 */
3333/**
3334 * Some colors and shadow definitions
3335 * for Kalamar,
3336 */
3337/**
3338 * Official IDS colors
3339 */
3340/**
3341 * Orange Colors
3342 */
3343/**
3344 * Green Colors
3345 */
3346/**
3347 * Blue Colors
3348 */
3349/**
3350 * Grey Colors
3351 */
3352/**
3353 * Red Colors (no IDS relation)
3354 */
3355/**
3356 * Basic shadows
3357 */
3358/**
3359 * KWIC colors
3360 */
3361/**
3362 * Mixin for blind elements
3363 * (e.g., spans in elements with an icon background)
3364 */
3365/**
3366 * Mixin for basic color transition
3367 */
3368/**
3369 * Mixing for basic text padding
3370 */
3371/**
3372 * Mixing for icon fonts
3373 */
3374/**
3375 * Mixing for correct box sizing (probably not necessary)
3376 * DEPRECATED
3377 */
3378/**
3379 * Some colors and shadow definitions
3380 * for Kalamar,
3381 */
3382/**
3383 * Official IDS colors
3384 */
3385/**
3386 * Orange Colors
3387 */
3388/**
3389 * Green Colors
3390 */
3391/**
3392 * Blue Colors
3393 */
3394/**
3395 * Grey Colors
3396 */
3397/**
3398 * Red Colors (no IDS relation)
3399 */
3400/**
3401 * Basic shadows
3402 */
3403/**
3404 * KWIC colors
3405 */
3406/**
3407 * Some color definitions and mixins for
3408 * buttons and menus.
3409 */
3410/**
3411 * Chooseable items (default)
3412 */
3413/**
3414 * Chooseable items (mouse over)
3415 */
3416/**
3417 * Chooseable items (not available)
3418 */
3419/**
3420 * Chooseable items (active)
3421 */
3422/**
3423 * Chooseable items (action: remove something)
3424 */
3425/*
3426 * Defined lengths and sizes for the
3427 * Kalamar layout.
3428 */
3429/**
3430 * Margins
3431 */
3432/**
3433 * Path information - relative to css!
3434 */
3435/**
3436 * Rules applicable for the result panel
3437 */
3438#resultinfo {
3439 clear: both;
3440 text-align: right;
3441 line-height: 1.5em;
3442 min-height: 1.5em;
3443 margin-top: 0.4em;
3444 font-size: 10pt;
3445 /*
3446 * TODO:
3447 * This rule should not be dependent on
3448 * whether something is found or not,
3449 * but whether #search contains a result,
3450 * e.g. when a result view is open in the
3451 * result panel. This should probably be
3452 * indicated by a class on the button group
3453 * rather than a class on the resultinfo.
3454 */
3455}
3456#resultinfo p.found {
3457 display: inline;
3458 padding: 0;
3459 margin: 0;
3460 text-align: right;
3461}
3462#resultinfo.found {
3463 position: relative;
3464 margin-bottom: 0px;
3465}
3466#resultinfo.found .button-group > span {
3467 margin-bottom: 0;
3468 border-bottom-width: 0;
3469 box-shadow: none;
3470}
3471#resultinfo.found .button-group > span:first-child {
3472 border-bottom-left-radius: 0;
3473}
3474#resultinfo.found .button-group > span:last-child {
3475 border-bottom-right-radius: 0;
3476}
3477
3478div.result.panel .view {
3479 border: 1px solid #87888a;
3480 background-color: #f6a800;
3481}
3482
3483.result.button-group.button-panel {
3484 display: inline-block;
3485 width: auto;
3486 vertical-align: bottom;
3487 line-height: 1.5em;
3488}
3489.result.button-group.button-panel > span {
3490 line-height: 1.5em;
3491 border-width: 1px 0;
3492}
3493.result.button-group.button-panel > span:first-child {
3494 border-left-width: 1px;
3495}
3496.result.button-group.button-panel > span:last-child {
3497 border-right-width: 1px;
3498}
3499
3500#total-results {
3501 color: #9bad0b;
3502 font-weight: bold;
3503}
3504
3505.no-results {
3506 margin: 0 auto;
3507 text-align: center;
3508}
3509.no-results code {
3510 font-weight: bold;
3511}
3512
3513.button-icon.align.left::after {
3514 content: "";
3515}
3516.button-icon.align.right::after {
3517 content: "";
3518}
3519.button-icon.align.center::after {
3520 content: "";
3521}
3522.button-icon.show-kq::after {
3523 content: "";
3524}
3525
3526/**
3527 * Some colors and shadow definitions
3528 * for Kalamar,
3529 */
3530/**
3531 * Official IDS colors
3532 */
3533/**
3534 * Orange Colors
3535 */
3536/**
3537 * Green Colors
3538 */
3539/**
3540 * Blue Colors
3541 */
3542/**
3543 * Grey Colors
3544 */
3545/**
3546 * Red Colors (no IDS relation)
3547 */
3548/**
3549 * Basic shadows
3550 */
3551/**
3552 * KWIC colors
3553 */
3554/**
3555 * Font Awesome symbol table.
3556 */
3557/**
3558 * Some colors and shadow definitions
3559 * for Kalamar,
3560 */
3561/**
3562 * Official IDS colors
3563 */
3564/**
3565 * Orange Colors
3566 */
3567/**
3568 * Green Colors
3569 */
3570/**
3571 * Blue Colors
3572 */
3573/**
3574 * Grey Colors
3575 */
3576/**
3577 * Red Colors (no IDS relation)
3578 */
3579/**
3580 * Basic shadows
3581 */
3582/**
3583 * KWIC colors
3584 */
3585/**
3586 * Mixin for blind elements
3587 * (e.g., spans in elements with an icon background)
3588 */
3589/**
3590 * Mixin for basic color transition
3591 */
3592/**
3593 * Mixing for basic text padding
3594 */
3595/**
3596 * Mixing for icon fonts
3597 */
3598/**
3599 * Mixing for correct box sizing (probably not necessary)
3600 * DEPRECATED
3601 */
3602/**
3603 * Some colors and shadow definitions
3604 * for Kalamar,
3605 */
3606/**
3607 * Official IDS colors
3608 */
3609/**
3610 * Orange Colors
3611 */
3612/**
3613 * Green Colors
3614 */
3615/**
3616 * Blue Colors
3617 */
3618/**
3619 * Grey Colors
3620 */
3621/**
3622 * Red Colors (no IDS relation)
3623 */
3624/**
3625 * Basic shadows
3626 */
3627/**
3628 * KWIC colors
3629 */
3630/**
3631 * Some color definitions and mixins for
3632 * buttons and menus.
3633 */
3634/**
3635 * Chooseable items (default)
3636 */
3637/**
3638 * Chooseable items (mouse over)
3639 */
3640/**
3641 * Chooseable items (not available)
3642 */
3643/**
3644 * Chooseable items (active)
3645 */
3646/**
3647 * Chooseable items (action: remove something)
3648 */
3649/*
3650 * Defined lengths and sizes for the
3651 * Kalamar layout.
3652 */
3653/**
3654 * Margins
3655 */
3656/**
3657 * Path information - relative to css!
3658 */
3659/**
3660 * Rules for the embedded documentation.
3661 */
3662#tutorial {
3663 position: fixed;
3664 z-index: 9999;
3665 top: 5%;
3666 bottom: 5%;
3667 left: 2%;
3668 right: 2%;
3669 padding-right: 20px;
3670 background-color: #fefefe;
3671 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
3672 border-width: 4px;
3673 border-color: #616263;
3674 border-style: solid;
3675 border-radius: 6px;
3676}
3677#tutorial .button-group.button-view {
3678 background-color: #87888a;
3679 display: block;
3680 height: 100%;
3681}
3682#tutorial iframe {
3683 border-width: 0;
3684 width: 100%;
3685 min-height: 100.1%;
3686 background-image: url("../img/korap-bg.svg");
3687 background-repeat: no-repeat;
3688 background-position: center center;
3689 background-size: 15%;
3690}
3691
3692p.bibentry {
3693 font-size: 80%;
3694 margin-left: 3em;
3695 margin-bottom: 3em;
3696 text-indent: -1.5em;
3697}
3698p.bibentry cite {
3699 font-weight: bold;
3700}
3701
3702body.embedded {
3703 background-color: #fefefe;
3704}
3705body.embedded aside {
3706 color: #616263;
3707 background-color: #d9dadb;
3708 border-color: #87888a;
3709 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
3710 padding-top: 0;
3711 background-color: #87888a;
3712}
3713body.embedded aside > div {
3714 position: relative;
3715 top: 50%;
3716 -webkit-transform: translateY(-50%);
3717 -ms-transform: translateY(-50%);
3718 transform: translateY(-50%);
3719}
3720
3721main.tutorial a.embedded-link::after {
3722 font-family: "FontAwesome";
3723 white-space: nowrap;
3724 content: " ";
3725 font-size: 75%;
3726}
3727
3728/**
3729 * Some colors and shadow definitions
3730 * for Kalamar,
3731 */
3732/**
3733 * Official IDS colors
3734 */
3735/**
3736 * Orange Colors
3737 */
3738/**
3739 * Green Colors
3740 */
3741/**
3742 * Blue Colors
3743 */
3744/**
3745 * Grey Colors
3746 */
3747/**
3748 * Red Colors (no IDS relation)
3749 */
3750/**
3751 * Basic shadows
3752 */
3753/**
3754 * KWIC colors
3755 */
3756/**
3757 * Font Awesome symbol table.
3758 */
3759/**
3760 * Some colors and shadow definitions
3761 * for Kalamar,
3762 */
3763/**
3764 * Official IDS colors
3765 */
3766/**
3767 * Orange Colors
3768 */
3769/**
3770 * Green Colors
3771 */
3772/**
3773 * Blue Colors
3774 */
3775/**
3776 * Grey Colors
3777 */
3778/**
3779 * Red Colors (no IDS relation)
3780 */
3781/**
3782 * Basic shadows
3783 */
3784/**
3785 * KWIC colors
3786 */
3787/**
3788 * Mixin for blind elements
3789 * (e.g., spans in elements with an icon background)
3790 */
3791/**
3792 * Mixin for basic color transition
3793 */
3794/**
3795 * Mixing for basic text padding
3796 */
3797/**
3798 * Mixing for icon fonts
3799 */
3800/**
3801 * Mixing for correct box sizing (probably not necessary)
3802 * DEPRECATED
3803 */
3804/**
3805 * Some colors and shadow definitions
3806 * for Kalamar,
3807 */
3808/**
3809 * Official IDS colors
3810 */
3811/**
3812 * Orange Colors
3813 */
3814/**
3815 * Green Colors
3816 */
3817/**
3818 * Blue Colors
3819 */
3820/**
3821 * Grey Colors
3822 */
3823/**
3824 * Red Colors (no IDS relation)
3825 */
3826/**
3827 * Basic shadows
3828 */
3829/**
3830 * KWIC colors
3831 */
3832/**
3833 * Some color definitions and mixins for
3834 * buttons and menus.
3835 */
3836/**
3837 * Chooseable items (default)
3838 */
3839/**
3840 * Chooseable items (mouse over)
3841 */
3842/**
3843 * Chooseable items (not available)
3844 */
3845/**
3846 * Chooseable items (active)
3847 */
3848/**
3849 * Chooseable items (action: remove something)
3850 */
3851/*
3852 * Defined lengths and sizes for the
3853 * Kalamar layout.
3854 */
3855/**
3856 * Margins
3857 */
3858/**
3859 * Path information - relative to css!
3860 */
3861/**
3862 * Styles for the KoralQuery view.
3863 */
3864#koralquery {
3865 white-space: pre;
3866}
3867#koralquery > div {
3868 background-color: #fefefe;
3869 overflow-x: auto;
3870 font-size: 85%;
3871 margin-top: 2pt;
3872 margin-right: 20px;
3873 margin-bottom: 2pt;
3874 margin-left: 2pt;
3875}
3876
3877/**
3878 * Some colors and shadow definitions
3879 * for Kalamar,
3880 */
3881/**
3882 * Official IDS colors
3883 */
3884/**
3885 * Orange Colors
3886 */
3887/**
3888 * Green Colors
3889 */
3890/**
3891 * Blue Colors
3892 */
3893/**
3894 * Grey Colors
3895 */
3896/**
3897 * Red Colors (no IDS relation)
3898 */
3899/**
3900 * Basic shadows
3901 */
3902/**
3903 * KWIC colors
3904 */
3905/**
3906 * Font Awesome symbol table.
3907 */
3908/**
3909 * Some colors and shadow definitions
3910 * for Kalamar,
3911 */
3912/**
3913 * Official IDS colors
3914 */
3915/**
3916 * Orange Colors
3917 */
3918/**
3919 * Green Colors
3920 */
3921/**
3922 * Blue Colors
3923 */
3924/**
3925 * Grey Colors
3926 */
3927/**
3928 * Red Colors (no IDS relation)
3929 */
3930/**
3931 * Basic shadows
3932 */
3933/**
3934 * KWIC colors
3935 */
3936/**
3937 * Mixin for blind elements
3938 * (e.g., spans in elements with an icon background)
3939 */
3940/**
3941 * Mixin for basic color transition
3942 */
3943/**
3944 * Mixing for basic text padding
3945 */
3946/**
3947 * Mixing for icon fonts
3948 */
3949/**
3950 * Mixing for correct box sizing (probably not necessary)
3951 * DEPRECATED
3952 */
3953/**
3954 * Some colors and shadow definitions
3955 * for Kalamar,
3956 */
3957/**
3958 * Official IDS colors
3959 */
3960/**
3961 * Orange Colors
3962 */
3963/**
3964 * Green Colors
3965 */
3966/**
3967 * Blue Colors
3968 */
3969/**
3970 * Grey Colors
3971 */
3972/**
3973 * Red Colors (no IDS relation)
3974 */
3975/**
3976 * Basic shadows
3977 */
3978/**
3979 * KWIC colors
3980 */
3981/**
3982 * Some color definitions and mixins for
3983 * buttons and menus.
3984 */
3985/**
3986 * Chooseable items (default)
3987 */
3988/**
3989 * Chooseable items (mouse over)
3990 */
3991/**
3992 * Chooseable items (not available)
3993 */
3994/**
3995 * Chooseable items (active)
3996 */
3997/**
3998 * Chooseable items (action: remove something)
3999 */
4000/*
4001 * Defined lengths and sizes for the
4002 * Kalamar layout.
4003 */
4004/**
4005 * Margins
4006 */
4007/**
4008 * Path information - relative to css!
4009 */
4010.alertify,
4011.alertify-show,
4012.alertify-log {
4013 -webkit-transition: all 500ms cubic-bezier(0.175, 0.885, 0.32, 1.275);
4014 -moz-transition: all 500ms cubic-bezier(0.175, 0.885, 0.32, 1.275);
4015 -ms-transition: all 500ms cubic-bezier(0.175, 0.885, 0.32, 1.275);
4016 -o-transition: all 500ms cubic-bezier(0.175, 0.885, 0.32, 1.275);
4017 transition: all 500ms cubic-bezier(0.175, 0.885, 0.32, 1.275);
4018 /* easeOutBack */
4019}
4020
4021.alertify-hide {
4022 -webkit-transition: all 250ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4023 -moz-transition: all 250ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4024 -ms-transition: all 250ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4025 -o-transition: all 250ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4026 transition: all 250ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4027 /* easeInBack */
4028}
4029
4030.alertify-log-hide {
4031 -webkit-transition: all 500ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4032 -moz-transition: all 500ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4033 -ms-transition: all 500ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4034 -o-transition: all 500ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4035 transition: all 500ms cubic-bezier(0.6, -0.28, 0.735, 0.045);
4036 /* easeInBack */
4037}
4038
4039.alertify-cover {
4040 position: fixed;
4041 z-index: 99999;
4042 top: 0;
4043 right: 0;
4044 bottom: 0;
4045 left: 0;
4046 background-color: white;
4047 filter: opacity(0);
4048 opacity: 0;
4049}
4050
4051.alertify-cover-hidden {
4052 display: none;
4053}
4054
4055.alertify {
4056 position: fixed;
4057 z-index: 99999;
4058 top: 50px;
4059 left: 50%;
4060 width: 550px;
4061 margin-left: -275px;
4062 opacity: 1;
4063}
4064
4065.alertify-hidden {
4066 -webkit-transform: translate(0, -150px);
4067 -moz-transform: translate(0, -150px);
4068 -ms-transform: translate(0, -150px);
4069 -o-transform: translate(0, -150px);
4070 transform: translate(0, -150px);
4071 opacity: 0;
4072 display: none;
4073}
4074
4075/* overwrite display: none; for everything except IE6-8 */
4076:root * > .alertify-hidden {
4077 display: block;
4078 visibility: hidden;
4079}
4080
4081.alertify-logs {
4082 position: fixed;
4083 z-index: 5000;
4084 bottom: 10px;
4085 right: 10px;
4086 width: 300px;
4087}
4088
4089.alertify-logs-hidden {
4090 display: none;
4091}
4092
4093.alertify-log {
4094 display: block;
4095 margin-top: 10px;
4096 position: relative;
4097 right: -300px;
4098 opacity: 0;
4099}
4100
4101.alertify-log-show {
4102 right: 0;
4103 opacity: 1;
4104}
4105
4106.alertify-log-hide {
4107 -webkit-transform: translate(300px, 0);
4108 -moz-transform: translate(300px, 0);
4109 -ms-transform: translate(300px, 0);
4110 -o-transform: translate(300px, 0);
4111 transform: translate(300px, 0);
4112 opacity: 0;
4113}
4114
4115.alertify-dialog {
4116 padding: 25px;
4117}
4118
4119.alertify-resetFocus {
4120 border: 0;
4121 clip: rect(0 0 0 0);
4122 height: 1px;
4123 margin: -1px;
4124 overflow: hidden;
4125 padding: 0;
4126 position: absolute;
4127 width: 1px;
4128}
4129
4130.alertify-inner {
4131 text-align: center;
4132}
4133
4134.alertify-text {
4135 margin-bottom: 15px;
4136 width: 100%;
4137 -webkit-box-sizing: border-box;
4138 -moz-box-sizing: border-box;
4139 box-sizing: border-box;
4140 font-size: 100%;
4141}
4142
4143.alertify-button,
4144.alertify-button:hover,
4145.alertify-button:active,
4146.alertify-button:visited {
4147 background: none;
4148 text-decoration: none;
4149 border: none;
4150 /* line-height and font-size for input button */
4151 line-height: 1.5;
4152 font-size: 100%;
4153 display: inline-block;
4154 cursor: pointer;
4155 margin-left: 5px;
4156}
4157
4158@media only screen and (max-width: 680px) {
4159 .alertify,
4160.alertify-logs {
4161 width: 90%;
4162 -webkit-box-sizing: border-box;
4163 -moz-box-sizing: border-box;
4164 box-sizing: border-box;
4165 }
4166
4167 .alertify {
4168 left: 5%;
4169 margin: 0;
4170 }
4171}
4172/**
4173 * Default Look and Feel
4174 */
4175.alertify,
4176.alertify-log {
4177 font-family: sans-serif;
4178}
4179
4180.alertify {
4181 background: #FFF;
4182 border: 10px solid #333;
4183 /* browsers that don't support rgba */
4184 border: 10px solid rgba(0, 0, 0, 0.7);
4185 border-radius: 8px;
4186 box-shadow: 0 3px 3px rgba(0, 0, 0, 0.3);
4187 -webkit-background-clip: padding;
4188 /* Safari 4? Chrome 6? */
4189 -moz-background-clip: padding;
4190 /* Firefox 3.6 */
4191 background-clip: padding-box;
4192 /* Firefox 4, Safari 5, Opera 10, IE 9 */
4193}
4194
4195.alertify-text {
4196 border: 1px solid #CCC;
4197 padding: 10px;
4198 border-radius: 4px;
4199}
4200
4201.alertify-button {
4202 border-radius: 4px;
4203 color: #FFF;
4204 font-weight: bold;
4205 padding: 6px 15px;
4206 text-decoration: none;
4207 text-shadow: 1px 1px 0 rgba(0, 0, 0, 0.5);
4208 box-shadow: inset 0 1px 0 0 rgba(255, 255, 255, 0.5);
4209 background-image: -webkit-linear-gradient(top, rgba(255, 255, 255, 0.3), rgba(255, 255, 255, 0));
4210 background-image: -moz-linear-gradient(top, rgba(255, 255, 255, 0.3), rgba(255, 255, 255, 0));
4211 background-image: -ms-linear-gradient(top, rgba(255, 255, 255, 0.3), rgba(255, 255, 255, 0));
4212 background-image: -o-linear-gradient(top, rgba(255, 255, 255, 0.3), rgba(255, 255, 255, 0));
4213 background-image: linear-gradient(top, rgba(255, 255, 255, 0.3), rgba(255, 255, 255, 0));
4214}
4215
4216.alertify-button:hover,
4217.alertify-button:focus {
4218 outline: none;
4219 background-image: -webkit-linear-gradient(top, rgba(0, 0, 0, 0.1), rgba(0, 0, 0, 0));
4220 background-image: -moz-linear-gradient(top, rgba(0, 0, 0, 0.1), rgba(0, 0, 0, 0));
4221 background-image: -ms-linear-gradient(top, rgba(0, 0, 0, 0.1), rgba(0, 0, 0, 0));
4222 background-image: -o-linear-gradient(top, rgba(0, 0, 0, 0.1), rgba(0, 0, 0, 0));
4223 background-image: linear-gradient(top, rgba(0, 0, 0, 0.1), rgba(0, 0, 0, 0));
4224}
4225
4226.alertify-button:focus {
4227 box-shadow: 0 0 15px #2B72D5;
4228}
4229
4230.alertify-button:active {
4231 position: relative;
4232 box-shadow: inset 0 2px 4px rgba(0, 0, 0, 0.15), 0 1px 2px rgba(0, 0, 0, 0.05);
4233}
4234
4235.alertify-button-cancel,
4236.alertify-button-cancel:hover,
4237.alertify-button-cancel:focus {
4238 background-color: #FE1A00;
4239 border: 1px solid #D83526;
4240}
4241
4242.alertify-button-ok,
4243.alertify-button-ok:hover,
4244.alertify-button-ok:focus {
4245 background-color: #5CB811;
4246 border: 1px solid #3B7808;
4247}
4248
4249.alertify-log {
4250 background: #1F1F1F;
4251 background: black;
4252 padding: 15px;
4253 border-radius: 4px;
4254 color: #FFF;
4255}
4256
4257/*
4258.alertify-log-error {
4259 background: #FE1A00;
4260 // background: rgba(254,26,0,.9);
4261 background: rgb(254,26,0);
4262}
4263*/
4264.alertify-log-success {
4265 background: #5CB811;
4266 background: #5cb811;
4267}
4268
4269/**
4270 * Alertify styles.
4271 */
4272article.alertify-log-warn {
4273 background-color: #f6a800;
4274}
4275article.alertify-log-warn code.src {
4276 color: #e55d00;
4277}
4278
4279article.alertify-log code.src {
4280 display: block;
4281 color: black;
4282 font-size: 70%;
4283}
4284
4285.alertify-log-error {
4286 background-color: #fe1a00;
4287}
4288
4289#notifications {
4290 display: none;
4291}
4292
4293div.notify {
4294 position: relative;
4295 margin: 0.5em auto;
4296 display: block;
4297 padding: 0.5em;
4298 border-radius: 6px;
4299 max-width: 30em;
4300 background-color: #fe1a00;
4301 color: #fefefe;
4302}
4303div.notify.notify-success {
4304 background-color: #636f07;
4305}
4306div.notify.notify-warn {
4307 background-color: #f29400;
4308}
4309
4310/**
4311 * Some colors and shadow definitions
4312 * for Kalamar,
4313 */
4314/**
4315 * Official IDS colors
4316 */
4317/**
4318 * Orange Colors
4319 */
4320/**
4321 * Green Colors
4322 */
4323/**
4324 * Blue Colors
4325 */
4326/**
4327 * Grey Colors
4328 */
4329/**
4330 * Red Colors (no IDS relation)
4331 */
4332/**
4333 * Basic shadows
4334 */
4335/**
4336 * KWIC colors
4337 */
4338/**
4339 * Font Awesome symbol table.
4340 */
4341/**
4342 * Some colors and shadow definitions
4343 * for Kalamar,
4344 */
4345/**
4346 * Official IDS colors
4347 */
4348/**
4349 * Orange Colors
4350 */
4351/**
4352 * Green Colors
4353 */
4354/**
4355 * Blue Colors
4356 */
4357/**
4358 * Grey Colors
4359 */
4360/**
4361 * Red Colors (no IDS relation)
4362 */
4363/**
4364 * Basic shadows
4365 */
4366/**
4367 * KWIC colors
4368 */
4369/**
4370 * Mixin for blind elements
4371 * (e.g., spans in elements with an icon background)
4372 */
4373/**
4374 * Mixin for basic color transition
4375 */
4376/**
4377 * Mixing for basic text padding
4378 */
4379/**
4380 * Mixing for icon fonts
4381 */
4382/**
4383 * Mixing for correct box sizing (probably not necessary)
4384 * DEPRECATED
4385 */
4386/**
4387 * Some colors and shadow definitions
4388 * for Kalamar,
4389 */
4390/**
4391 * Official IDS colors
4392 */
4393/**
4394 * Orange Colors
4395 */
4396/**
4397 * Green Colors
4398 */
4399/**
4400 * Blue Colors
4401 */
4402/**
4403 * Grey Colors
4404 */
4405/**
4406 * Red Colors (no IDS relation)
4407 */
4408/**
4409 * Basic shadows
4410 */
4411/**
4412 * KWIC colors
4413 */
4414/**
4415 * Some color definitions and mixins for
4416 * buttons and menus.
4417 */
4418/**
4419 * Chooseable items (default)
4420 */
4421/**
4422 * Chooseable items (mouse over)
4423 */
4424/**
4425 * Chooseable items (not available)
4426 */
4427/**
4428 * Chooseable items (active)
4429 */
4430/**
4431 * Chooseable items (action: remove something)
4432 */
4433/*
4434 * Defined lengths and sizes for the
4435 * Kalamar layout.
4436 */
4437/**
4438 * Margins
4439 */
4440/**
4441 * Path information - relative to css!
4442 */
4443/**
4444 * Styles for the intro page
4445 */
4446div.intro a:visited {
4447 color: #e55d00;
4448}
4449div.intro div.announcement {
4450 background-color: #f4eebb;
4451 padding: 8px;
4452 border: 5px dashed #f6a800;
4453 border-radius: 1em;
4454 width: 90%;
4455 margin: auto;
4456}
4457
4458aside.active ~ main div.intro {
4459 margin-left: 198px;
4460}
4461
4462/**
4463 * Some colors and shadow definitions
4464 * for Kalamar,
4465 */
4466/**
4467 * Official IDS colors
4468 */
4469/**
4470 * Orange Colors
4471 */
4472/**
4473 * Green Colors
4474 */
4475/**
4476 * Blue Colors
4477 */
4478/**
4479 * Grey Colors
4480 */
4481/**
4482 * Red Colors (no IDS relation)
4483 */
4484/**
4485 * Basic shadows
4486 */
4487/**
4488 * KWIC colors
4489 */
4490/**
4491 * Font Awesome symbol table.
4492 */
4493/**
4494 * Some colors and shadow definitions
4495 * for Kalamar,
4496 */
4497/**
4498 * Official IDS colors
4499 */
4500/**
4501 * Orange Colors
4502 */
4503/**
4504 * Green Colors
4505 */
4506/**
4507 * Blue Colors
4508 */
4509/**
4510 * Grey Colors
4511 */
4512/**
4513 * Red Colors (no IDS relation)
4514 */
4515/**
4516 * Basic shadows
4517 */
4518/**
4519 * KWIC colors
4520 */
4521/**
4522 * Mixin for blind elements
4523 * (e.g., spans in elements with an icon background)
4524 */
4525/**
4526 * Mixin for basic color transition
4527 */
4528/**
4529 * Mixing for basic text padding
4530 */
4531/**
4532 * Mixing for icon fonts
4533 */
4534/**
4535 * Mixing for correct box sizing (probably not necessary)
4536 * DEPRECATED
4537 */
4538/**
4539 * Some colors and shadow definitions
4540 * for Kalamar,
4541 */
4542/**
4543 * Official IDS colors
4544 */
4545/**
4546 * Orange Colors
4547 */
4548/**
4549 * Green Colors
4550 */
4551/**
4552 * Blue Colors
4553 */
4554/**
4555 * Grey Colors
4556 */
4557/**
4558 * Red Colors (no IDS relation)
4559 */
4560/**
4561 * Basic shadows
4562 */
4563/**
4564 * KWIC colors
4565 */
4566/**
4567 * Some color definitions and mixins for
4568 * buttons and menus.
4569 */
4570/**
4571 * Chooseable items (default)
4572 */
4573/**
4574 * Chooseable items (mouse over)
4575 */
4576/**
4577 * Chooseable items (not available)
4578 */
4579/**
4580 * Chooseable items (active)
4581 */
4582/**
4583 * Chooseable items (action: remove something)
4584 */
4585/*
4586 * Defined lengths and sizes for the
4587 * Kalamar layout.
4588 */
4589/**
4590 * Margins
4591 */
4592/**
4593 * Path information - relative to css!
4594 */
4595/*
4596 * Define the base layout of horizontal button groups
4597 */
4598.button-group {
4599 font-size: 0;
4600}
4601.button-group > span {
4602 cursor: pointer;
4603}
4604.button-group.button-panel > span,
4605.button-group.button-panel a, .button-group.operators > span,
4606.button-group.operators a {
4607 color: #616263;
4608 background-color: #d9dadb;
4609 border-color: #87888a;
4610 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
4611 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
4612 font-size: 9pt;
4613 font-weight: normal;
4614 line-height: 1.5em;
4615 padding: 0 4px;
4616 display: inline-block;
4617 border-style: solid;
4618 border-width: 2px 0;
4619}
4620.button-group.button-panel > span:hover,
4621.button-group.button-panel a:hover, .button-group.operators > span:hover,
4622.button-group.operators a:hover {
4623 color: #fefefe;
4624 background-color: #f6a800;
4625 border-color: #ff8000;
4626 text-shadow: none;
4627}
4628.button-group.button-panel > span:first-child,
4629.button-group.button-panel a:first-child, .button-group.operators > span:first-child,
4630.button-group.operators a:first-child {
4631 border-left-width: 2px;
4632 border-top-left-radius: 6px;
4633 border-bottom-left-radius: 6px;
4634}
4635.button-group.button-panel > span:last-child,
4636.button-group.button-panel a:last-child, .button-group.operators > span:last-child,
4637.button-group.operators a:last-child {
4638 border-right-width: 2px;
4639 border-top-right-radius: 6px;
4640 border-bottom-right-radius: 6px;
4641}
4642.button-group.button-panel > span > span.check,
4643.button-group.button-panel a > span.check {
4644 font-family: "FontAwesome";
4645 white-space: nowrap;
4646 width: 1em;
4647 display: inline-block;
4648 text-align: left;
4649}
4650.button-group.button-panel > span > span.check:not(.checked)::after,
4651.button-group.button-panel a > span.check:not(.checked)::after {
4652 content: "";
4653}
4654.button-group.button-panel > span > span.check.checked::after,
4655.button-group.button-panel a > span.check.checked::after {
4656 content: "";
4657}
4658.button-group.button-panel > span > span.check > span,
4659.button-group.button-panel a > span.check > span {
4660 position: absolute;
4661 margin-left: -3000px;
4662}
4663.button-group.button-view {
4664 position: absolute;
4665 display: block;
4666 right: 0;
4667 top: 0;
4668 z-index: 20;
4669 margin: 0;
4670 padding: 0;
4671 width: 20px;
4672 font-size: 10pt;
4673 color: #fefefe;
4674}
4675.button-group.button-view > span:first-child {
4676 margin-top: 2px;
4677}
4678.button-group.button-view > span {
4679 display: block !important;
4680 border-width: 0;
4681 text-decoration: none;
4682 text-align: center;
4683 font-style: normal;
4684}
4685.button-group.button-view > span.download::after {
4686 content: "";
4687}
4688.button-group.button-view > span.close::after {
4689 content: "";
4690}
4691.button-group.button-view > span.minimize::after {
4692 content: "";
4693}
4694.button-group.button-view > span.plugin::after {
4695 content: "";
4696}
4697
4698ul.menu.button-group-list {
4699 border-top-right-radius: 8px;
4700 position: fixed;
4701 font-size: 10pt;
4702 left: 0;
4703 text-align: left;
4704 margin: -2px;
4705 margin-top: 0;
4706}
4707ul.menu.button-group-list > li:first-of-type {
4708 border-top-right-radius: 5px;
4709}
4710
4711.button-icon {
4712 font-family: "FontAwesome";
4713 white-space: nowrap;
4714 line-height: 1.3;
4715}
4716.button-icon > span {
4717 position: absolute;
4718 margin-left: -3000px;
4719}
4720.button-icon[data-icon]::after {
4721 content: attr(data-icon);
4722}
4723
4724.button-panel .button-icon {
4725 line-height: 0.7;
4726}
4727
4728/**
4729 * Some colors and shadow definitions
4730 * for Kalamar,
4731 */
4732/**
4733 * Official IDS colors
4734 */
4735/**
4736 * Orange Colors
4737 */
4738/**
4739 * Green Colors
4740 */
4741/**
4742 * Blue Colors
4743 */
4744/**
4745 * Grey Colors
4746 */
4747/**
4748 * Red Colors (no IDS relation)
4749 */
4750/**
4751 * Basic shadows
4752 */
4753/**
4754 * KWIC colors
4755 */
4756/**
4757 * Font Awesome symbol table.
4758 */
4759/**
4760 * Some colors and shadow definitions
4761 * for Kalamar,
4762 */
4763/**
4764 * Official IDS colors
4765 */
4766/**
4767 * Orange Colors
4768 */
4769/**
4770 * Green Colors
4771 */
4772/**
4773 * Blue Colors
4774 */
4775/**
4776 * Grey Colors
4777 */
4778/**
4779 * Red Colors (no IDS relation)
4780 */
4781/**
4782 * Basic shadows
4783 */
4784/**
4785 * KWIC colors
4786 */
4787/**
4788 * Mixin for blind elements
4789 * (e.g., spans in elements with an icon background)
4790 */
4791/**
4792 * Mixin for basic color transition
4793 */
4794/**
4795 * Mixing for basic text padding
4796 */
4797/**
4798 * Mixing for icon fonts
4799 */
4800/**
4801 * Mixing for correct box sizing (probably not necessary)
4802 * DEPRECATED
4803 */
4804/**
4805 * Some colors and shadow definitions
4806 * for Kalamar,
4807 */
4808/**
4809 * Official IDS colors
4810 */
4811/**
4812 * Orange Colors
4813 */
4814/**
4815 * Green Colors
4816 */
4817/**
4818 * Blue Colors
4819 */
4820/**
4821 * Grey Colors
4822 */
4823/**
4824 * Red Colors (no IDS relation)
4825 */
4826/**
4827 * Basic shadows
4828 */
4829/**
4830 * KWIC colors
4831 */
4832/**
4833 * Some color definitions and mixins for
4834 * buttons and menus.
4835 */
4836/**
4837 * Chooseable items (default)
4838 */
4839/**
4840 * Chooseable items (mouse over)
4841 */
4842/**
4843 * Chooseable items (not available)
4844 */
4845/**
4846 * Chooseable items (active)
4847 */
4848/**
4849 * Chooseable items (action: remove something)
4850 */
4851/*
4852 * Defined lengths and sizes for the
4853 * Kalamar layout.
4854 */
4855/**
4856 * Margins
4857 */
4858/**
4859 * Path information - relative to css!
4860 */
4861/**
4862 * Base styles for all panels and views
4863 */
4864div.panel {
4865 position: relative;
4866 width: 100%;
4867 display: block;
4868}
4869
4870div.view {
4871 position: relative;
4872 padding-top: 2px;
4873 display: block;
4874 width: 100%;
4875}
4876
4877div.view:not(.show) {
4878 display: none;
4879}
4880
4881.introjs-overlay {
4882 position: absolute;
4883 box-sizing: content-box;
4884 z-index: 999999;
4885 background-color: #000;
4886 opacity: 0;
4887 background: -moz-radial-gradient(center, ellipse farthest-corner, rgba(0, 0, 0, 0.4) 0, rgba(0, 0, 0, 0.9) 100%);
4888 background: -webkit-gradient(radial, center center, 0px, center center, 100%, color-stop(0%, rgba(0, 0, 0, 0.4)), color-stop(100%, rgba(0, 0, 0, 0.9)));
4889 background: -webkit-radial-gradient(center, ellipse farthest-corner, rgba(0, 0, 0, 0.4) 0, rgba(0, 0, 0, 0.9) 100%);
4890 background: -o-radial-gradient(center, ellipse farthest-corner, rgba(0, 0, 0, 0.4) 0, rgba(0, 0, 0, 0.9) 100%);
4891 background: -ms-radial-gradient(center, ellipse farthest-corner, rgba(0, 0, 0, 0.4) 0, rgba(0, 0, 0, 0.9) 100%);
4892 background: radial-gradient(center, ellipse farthest-corner, rgba(0, 0, 0, 0.4) 0, rgba(0, 0, 0, 0.9) 100%);
4893 filter: "progid:DXImageTransform.Microsoft.gradient(startColorstr='#66000000',endColorstr='#e6000000',GradientType=1)";
4894 -ms-filter: "progid:DXImageTransform.Microsoft.Alpha(Opacity=50)";
4895 filter: alpha(opacity=50);
4896 -webkit-transition: all 0.3s ease-out;
4897 -moz-transition: all 0.3s ease-out;
4898 -ms-transition: all 0.3s ease-out;
4899 -o-transition: all 0.3s ease-out;
4900 transition: all 0.3s ease-out;
4901}
4902
4903.introjs-fixParent {
4904 z-index: auto !important;
4905 opacity: 1 !important;
4906 -webkit-transform: none !important;
4907 -moz-transform: none !important;
4908 -ms-transform: none !important;
4909 -o-transform: none !important;
4910 transform: none !important;
4911}
4912
4913.introjs-showElement,
4914tr.introjs-showElement > td,
4915tr.introjs-showElement > th {
4916 z-index: 9999999 !important;
4917}
4918
4919.introjs-disableInteraction {
4920 z-index: 99999999 !important;
4921 position: absolute;
4922 background-color: white;
4923 opacity: 0;
4924 filter: alpha(opacity=0);
4925}
4926
4927.introjs-relativePosition,
4928tr.introjs-showElement > td,
4929tr.introjs-showElement > th {
4930 position: relative;
4931}
4932
4933.introjs-helperLayer {
4934 box-sizing: content-box;
4935 position: absolute;
4936 z-index: 9999998;
4937 background-color: #FFF;
4938 background-color: rgba(255, 255, 255, 0.9);
4939 border: 1px solid #777;
4940 border: 1px solid rgba(0, 0, 0, 0.5);
4941 border-radius: 4px;
4942 box-shadow: 0 2px 15px rgba(0, 0, 0, 0.4);
4943 -webkit-transition: all 0.3s ease-out;
4944 -moz-transition: all 0.3s ease-out;
4945 -ms-transition: all 0.3s ease-out;
4946 -o-transition: all 0.3s ease-out;
4947 transition: all 0.3s ease-out;
4948}
4949
4950.introjs-tooltipReferenceLayer {
4951 box-sizing: content-box;
4952 position: absolute;
4953 visibility: hidden;
4954 z-index: 100000000;
4955 background-color: transparent;
4956 -webkit-transition: all 0.3s ease-out;
4957 -moz-transition: all 0.3s ease-out;
4958 -ms-transition: all 0.3s ease-out;
4959 -o-transition: all 0.3s ease-out;
4960 transition: all 0.3s ease-out;
4961}
4962
4963.introjs-helperLayer *,
4964.introjs-helperLayer *:before,
4965.introjs-helperLayer *:after {
4966 -webkit-box-sizing: content-box;
4967 -moz-box-sizing: content-box;
4968 -ms-box-sizing: content-box;
4969 -o-box-sizing: content-box;
4970 box-sizing: content-box;
4971}
4972
4973.introjs-helperNumberLayer {
4974 box-sizing: content-box;
4975 position: absolute;
4976 visibility: visible;
4977 top: -16px;
4978 left: -16px;
4979 z-index: 9999999999 !important;
4980 padding: 2px;
4981 font-family: Arial, verdana, tahoma;
4982 font-size: 13px;
4983 font-weight: bold;
4984 color: white;
4985 text-align: center;
4986 text-shadow: 1px 1px 1px rgba(0, 0, 0, 0.3);
4987 background: #ff3019;
4988 /* Old browsers */
4989 background: -webkit-linear-gradient(top, #ff3019 0%, #cf0404 100%);
4990 /* Chrome10+,Safari5.1+ */
4991 background: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #ff3019), color-stop(100%, #cf0404));
4992 /* Chrome,Safari4+ */
4993 background: -moz-linear-gradient(top, #ff3019 0%, #cf0404 100%);
4994 /* FF3.6+ */
4995 background: -ms-linear-gradient(top, #ff3019 0%, #cf0404 100%);
4996 /* IE10+ */
4997 background: -o-linear-gradient(top, #ff3019 0%, #cf0404 100%);
4998 /* Opera 11.10+ */
4999 background: linear-gradient(to bottom, #ff3019 0%, #cf0404 100%);
5000 /* W3C */
5001 width: 20px;
5002 height: 20px;
5003 line-height: 20px;
5004 border: 3px solid white;
5005 border-radius: 50%;
5006 filter: "progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff3019', endColorstr='#cf0404', GradientType=0)";
5007 /* IE6-9 */
5008 filter: "progid:DXImageTransform.Microsoft.Shadow(direction=135, strength=2, color=ff0000)";
5009 /* IE10 text shadows */
5010 box-shadow: 0 2px 5px rgba(0, 0, 0, 0.4);
5011}
5012
5013.introjs-arrow {
5014 border: 5px solid transparent;
5015 content: "";
5016 position: absolute;
5017}
5018
5019.introjs-arrow.top {
5020 top: -10px;
5021 border-bottom-color: white;
5022}
5023
5024.introjs-arrow.top-right {
5025 top: -10px;
5026 right: 10px;
5027 border-bottom-color: white;
5028}
5029
5030.introjs-arrow.top-middle {
5031 top: -10px;
5032 left: 50%;
5033 margin-left: -5px;
5034 border-bottom-color: white;
5035}
5036
5037.introjs-arrow.right {
5038 right: -10px;
5039 top: 10px;
5040 border-left-color: white;
5041}
5042
5043.introjs-arrow.right-bottom {
5044 bottom: 10px;
5045 right: -10px;
5046 border-left-color: white;
5047}
5048
5049.introjs-arrow.bottom {
5050 bottom: -10px;
5051 border-top-color: white;
5052}
5053
5054.introjs-arrow.bottom-right {
5055 bottom: -10px;
5056 right: 10px;
5057 border-top-color: white;
5058}
5059
5060.introjs-arrow.bottom-middle {
5061 bottom: -10px;
5062 left: 50%;
5063 margin-left: -5px;
5064 border-top-color: white;
5065}
5066
5067.introjs-arrow.left {
5068 left: -10px;
5069 top: 10px;
5070 border-right-color: white;
5071}
5072
5073.introjs-arrow.left-bottom {
5074 left: -10px;
5075 bottom: 10px;
5076 border-right-color: white;
5077}
5078
5079.introjs-tooltip {
5080 box-sizing: content-box;
5081 position: absolute;
5082 visibility: visible;
5083 padding: 10px;
5084 background-color: white;
5085 min-width: 200px;
5086 max-width: 300px;
5087 border-radius: 3px;
5088 box-shadow: 0 1px 10px rgba(0, 0, 0, 0.4);
5089 -webkit-transition: opacity 0.1s ease-out;
5090 -moz-transition: opacity 0.1s ease-out;
5091 -ms-transition: opacity 0.1s ease-out;
5092 -o-transition: opacity 0.1s ease-out;
5093 transition: opacity 0.1s ease-out;
5094}
5095
5096.introjs-tooltipbuttons {
5097 text-align: right;
5098 white-space: nowrap;
5099}
5100
5101/*
5102 Buttons style by http://nicolasgallagher.com/lab/css3-github-buttons/
5103 Changed by Afshin Mehrabani
5104*/
5105.introjs-button {
5106 box-sizing: content-box;
5107 position: relative;
5108 overflow: visible;
5109 display: inline-block;
5110 padding: 0.3em 0.8em;
5111 border: 1px solid #d4d4d4;
5112 margin: 0;
5113 text-decoration: none;
5114 text-shadow: 1px 1px 0 #fff;
5115 font: 11px/normal sans-serif;
5116 color: #333;
5117 white-space: nowrap;
5118 cursor: pointer;
5119 outline: none;
5120 background-color: #ececec;
5121 background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#f4f4f4), to(#ececec));
5122 background-image: -moz-linear-gradient(#f4f4f4, #ececec);
5123 background-image: -o-linear-gradient(#f4f4f4, #ececec);
5124 background-image: linear-gradient(#f4f4f4, #ececec);
5125 -webkit-background-clip: padding;
5126 -moz-background-clip: padding;
5127 -o-background-clip: padding-box;
5128 /*background-clip: padding-box;*/
5129 /* commented out due to Opera 11.10 bug */
5130 -webkit-border-radius: 0.2em;
5131 -moz-border-radius: 0.2em;
5132 border-radius: 0.2em;
5133 /* IE hacks */
5134 zoom: 1;
5135 *display: inline;
5136 margin-top: 10px;
5137}
5138
5139.introjs-button:hover {
5140 border-color: #bcbcbc;
5141 text-decoration: none;
5142 box-shadow: 0px 1px 1px #e3e3e3;
5143}
5144
5145.introjs-button:focus,
5146.introjs-button:active {
5147 background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#ececec), to(#f4f4f4));
5148 background-image: -moz-linear-gradient(#ececec, #f4f4f4);
5149 background-image: -o-linear-gradient(#ececec, #f4f4f4);
5150 background-image: linear-gradient(#ececec, #f4f4f4);
5151}
5152
5153/* overrides extra padding on button elements in Firefox */
5154.introjs-button::-moz-focus-inner {
5155 padding: 0;
5156 border: 0;
5157}
5158
5159.introjs-skipbutton {
5160 box-sizing: content-box;
5161 margin-right: 5px;
5162 color: #7a7a7a;
5163}
5164
5165.introjs-prevbutton {
5166 -webkit-border-radius: 0.2em 0 0 0.2em;
5167 -moz-border-radius: 0.2em 0 0 0.2em;
5168 border-radius: 0.2em 0 0 0.2em;
5169 border-right: none;
5170}
5171
5172.introjs-prevbutton.introjs-fullbutton {
5173 border: 1px solid #d4d4d4;
5174 -webkit-border-radius: 0.2em;
5175 -moz-border-radius: 0.2em;
5176 border-radius: 0.2em;
5177}
5178
5179.introjs-nextbutton {
5180 -webkit-border-radius: 0 0.2em 0.2em 0;
5181 -moz-border-radius: 0 0.2em 0.2em 0;
5182 border-radius: 0 0.2em 0.2em 0;
5183}
5184
5185.introjs-nextbutton.introjs-fullbutton {
5186 -webkit-border-radius: 0.2em;
5187 -moz-border-radius: 0.2em;
5188 border-radius: 0.2em;
5189}
5190
5191.introjs-disabled, .introjs-disabled:hover, .introjs-disabled:focus {
5192 color: #9a9a9a;
5193 border-color: #d4d4d4;
5194 box-shadow: none;
5195 cursor: default;
5196 background-color: #f4f4f4;
5197 background-image: none;
5198 text-decoration: none;
5199}
5200
5201.introjs-hidden {
5202 display: none;
5203}
5204
5205.introjs-bullets {
5206 text-align: center;
5207}
5208
5209.introjs-bullets ul {
5210 box-sizing: content-box;
5211 clear: both;
5212 margin: 15px auto 0;
5213 padding: 0;
5214 display: inline-block;
5215}
5216
5217.introjs-bullets ul li {
5218 box-sizing: content-box;
5219 list-style: none;
5220 float: left;
5221 margin: 0 2px;
5222}
5223
5224.introjs-bullets ul li a {
5225 box-sizing: content-box;
5226 display: block;
5227 width: 6px;
5228 height: 6px;
5229 background: #ccc;
5230 border-radius: 10px;
5231 -moz-border-radius: 10px;
5232 -webkit-border-radius: 10px;
5233 text-decoration: none;
5234 cursor: pointer;
5235}
5236
5237.introjs-bullets ul li a:hover {
5238 background: #999;
5239}
5240
5241.introjs-bullets ul li a.active {
5242 background: #999;
5243}
5244
5245.introjs-progress {
5246 box-sizing: content-box;
5247 overflow: hidden;
5248 height: 10px;
5249 margin: 10px 0 5px 0;
5250 border-radius: 4px;
5251 background-color: #ecf0f1;
5252}
5253
5254.introjs-progressbar {
5255 box-sizing: content-box;
5256 float: left;
5257 width: 0%;
5258 height: 100%;
5259 font-size: 10px;
5260 line-height: 10px;
5261 text-align: center;
5262 background-color: #08c;
5263}
5264
5265.introjsFloatingElement {
5266 position: absolute;
5267 height: 0;
5268 width: 0;
5269 left: 50%;
5270 top: 50%;
5271}
5272
5273.introjs-fixedTooltip {
5274 position: fixed;
5275}
5276
5277.introjs-hint {
5278 box-sizing: content-box;
5279 position: absolute;
5280 background: transparent;
5281 width: 20px;
5282 height: 15px;
5283 cursor: pointer;
5284}
5285
5286.introjs-hint:focus {
5287 border: 0;
5288 outline: 0;
5289}
5290
5291.introjs-hidehint {
5292 display: none;
5293}
5294
5295.introjs-fixedhint {
5296 position: fixed;
5297}
5298
5299.introjs-hint:hover > .introjs-hint-pulse {
5300 border: 5px solid rgba(60, 60, 60, 0.57);
5301}
5302
5303.introjs-hint-pulse {
5304 box-sizing: content-box;
5305 width: 10px;
5306 height: 10px;
5307 border: 5px solid rgba(60, 60, 60, 0.27);
5308 -webkit-border-radius: 30px;
5309 -moz-border-radius: 30px;
5310 border-radius: 30px;
5311 background-color: rgba(136, 136, 136, 0.24);
5312 z-index: 10;
5313 position: absolute;
5314 -webkit-transition: all 0.2s ease-out;
5315 -moz-transition: all 0.2s ease-out;
5316 -ms-transition: all 0.2s ease-out;
5317 -o-transition: all 0.2s ease-out;
5318 transition: all 0.2s ease-out;
5319}
5320
5321.introjs-hint-no-anim .introjs-hint-dot {
5322 -webkit-animation: none;
5323 -moz-animation: none;
5324 animation: none;
5325}
5326
5327.introjs-hint-dot {
5328 box-sizing: content-box;
5329 border: 10px solid rgba(146, 146, 146, 0.36);
5330 background: transparent;
5331 -webkit-border-radius: 60px;
5332 -moz-border-radius: 60px;
5333 border-radius: 60px;
5334 height: 50px;
5335 width: 50px;
5336 -webkit-animation: introjspulse 3s ease-out;
5337 -moz-animation: introjspulse 3s ease-out;
5338 animation: introjspulse 3s ease-out;
5339 -webkit-animation-iteration-count: infinite;
5340 -moz-animation-iteration-count: infinite;
5341 animation-iteration-count: infinite;
5342 position: absolute;
5343 top: -25px;
5344 left: -25px;
5345 z-index: 1;
5346 opacity: 0;
5347}
5348
5349@-webkit-keyframes introjspulse {
5350 0% {
5351 -webkit-transform: scale(0);
5352 opacity: 0;
5353 }
5354 25% {
5355 -webkit-transform: scale(0);
5356 opacity: 0.1;
5357 }
5358 50% {
5359 -webkit-transform: scale(0.1);
5360 opacity: 0.3;
5361 }
5362 75% {
5363 -webkit-transform: scale(0.5);
5364 opacity: 0.5;
5365 }
5366 100% {
5367 -webkit-transform: scale(1);
5368 opacity: 0;
5369 }
5370}
5371@-moz-keyframes introjspulse {
5372 0% {
5373 -moz-transform: scale(0);
5374 opacity: 0;
5375 }
5376 25% {
5377 -moz-transform: scale(0);
5378 opacity: 0.1;
5379 }
5380 50% {
5381 -moz-transform: scale(0.1);
5382 opacity: 0.3;
5383 }
5384 75% {
5385 -moz-transform: scale(0.5);
5386 opacity: 0.5;
5387 }
5388 100% {
5389 -moz-transform: scale(1);
5390 opacity: 0;
5391 }
5392}
5393@keyframes introjspulse {
5394 0% {
5395 transform: scale(0);
5396 opacity: 0;
5397 }
5398 25% {
5399 transform: scale(0);
5400 opacity: 0.1;
5401 }
5402 50% {
5403 transform: scale(0.1);
5404 opacity: 0.3;
5405 }
5406 75% {
5407 transform: scale(0.5);
5408 opacity: 0.5;
5409 }
5410 100% {
5411 transform: scale(1);
5412 opacity: 0;
5413 }
5414}
5415/**
5416 * Some colors and shadow definitions
5417 * for Kalamar,
5418 */
5419/**
5420 * Official IDS colors
5421 */
5422/**
5423 * Orange Colors
5424 */
5425/**
5426 * Green Colors
5427 */
5428/**
5429 * Blue Colors
5430 */
5431/**
5432 * Grey Colors
5433 */
5434/**
5435 * Red Colors (no IDS relation)
5436 */
5437/**
5438 * Basic shadows
5439 */
5440/**
5441 * KWIC colors
5442 */
5443/**
5444 * Font Awesome symbol table.
5445 */
5446/**
5447 * Some colors and shadow definitions
5448 * for Kalamar,
5449 */
5450/**
5451 * Official IDS colors
5452 */
5453/**
5454 * Orange Colors
5455 */
5456/**
5457 * Green Colors
5458 */
5459/**
5460 * Blue Colors
5461 */
5462/**
5463 * Grey Colors
5464 */
5465/**
5466 * Red Colors (no IDS relation)
5467 */
5468/**
5469 * Basic shadows
5470 */
5471/**
5472 * KWIC colors
5473 */
5474/**
5475 * Mixin for blind elements
5476 * (e.g., spans in elements with an icon background)
5477 */
5478/**
5479 * Mixin for basic color transition
5480 */
5481/**
5482 * Mixing for basic text padding
5483 */
5484/**
5485 * Mixing for icon fonts
5486 */
5487/**
5488 * Mixing for correct box sizing (probably not necessary)
5489 * DEPRECATED
5490 */
5491/**
5492 * Some colors and shadow definitions
5493 * for Kalamar,
5494 */
5495/**
5496 * Official IDS colors
5497 */
5498/**
5499 * Orange Colors
5500 */
5501/**
5502 * Green Colors
5503 */
5504/**
5505 * Blue Colors
5506 */
5507/**
5508 * Grey Colors
5509 */
5510/**
5511 * Red Colors (no IDS relation)
5512 */
5513/**
5514 * Basic shadows
5515 */
5516/**
5517 * KWIC colors
5518 */
5519/**
5520 * Some color definitions and mixins for
5521 * buttons and menus.
5522 */
5523/**
5524 * Chooseable items (default)
5525 */
5526/**
5527 * Chooseable items (mouse over)
5528 */
5529/**
5530 * Chooseable items (not available)
5531 */
5532/**
5533 * Chooseable items (active)
5534 */
5535/**
5536 * Chooseable items (action: remove something)
5537 */
5538/*
5539 * Defined lengths and sizes for the
5540 * Kalamar layout.
5541 */
5542/**
5543 * Margins
5544 */
5545/**
5546 * Path information - relative to css!
5547 */
5548/**
5549 * Styles overriding introJS styles
5550 */
5551.introjs-helperLayer {
5552 background-color: transparent;
5553}
5554
5555.introjs-tooltip.gTstartSearch {
5556 max-width: 500px;
5557}
5558
5559.tgreeting {
5560 font-weight: bold;
5561 color: #e55d00;
5562}
5563
5564.pfirstStep {
5565 width: 500px;
5566}
5567
5568.introjs-donebutton {
5569 float: right;
5570 margin-left: 5px;
5571}
5572
5573.introjs-skipbutton {
5574 color: #333;
5575}
5576
5577/**
5578 * Some colors and shadow definitions
5579 * for Kalamar,
5580 */
5581/**
5582 * Official IDS colors
5583 */
5584/**
5585 * Orange Colors
5586 */
5587/**
5588 * Green Colors
5589 */
5590/**
5591 * Blue Colors
5592 */
5593/**
5594 * Grey Colors
5595 */
5596/**
5597 * Red Colors (no IDS relation)
5598 */
5599/**
5600 * Basic shadows
5601 */
5602/**
5603 * KWIC colors
5604 */
5605/**
5606 * Font Awesome symbol table.
5607 */
5608/**
5609 * Some colors and shadow definitions
5610 * for Kalamar,
5611 */
5612/**
5613 * Official IDS colors
5614 */
5615/**
5616 * Orange Colors
5617 */
5618/**
5619 * Green Colors
5620 */
5621/**
5622 * Blue Colors
5623 */
5624/**
5625 * Grey Colors
5626 */
5627/**
5628 * Red Colors (no IDS relation)
5629 */
5630/**
5631 * Basic shadows
5632 */
5633/**
5634 * KWIC colors
5635 */
5636/**
5637 * Mixin for blind elements
5638 * (e.g., spans in elements with an icon background)
5639 */
5640/**
5641 * Mixin for basic color transition
5642 */
5643/**
5644 * Mixing for basic text padding
5645 */
5646/**
5647 * Mixing for icon fonts
5648 */
5649/**
5650 * Mixing for correct box sizing (probably not necessary)
5651 * DEPRECATED
5652 */
5653/**
5654 * Some colors and shadow definitions
5655 * for Kalamar,
5656 */
5657/**
5658 * Official IDS colors
5659 */
5660/**
5661 * Orange Colors
5662 */
5663/**
5664 * Green Colors
5665 */
5666/**
5667 * Blue Colors
5668 */
5669/**
5670 * Grey Colors
5671 */
5672/**
5673 * Red Colors (no IDS relation)
5674 */
5675/**
5676 * Basic shadows
5677 */
5678/**
5679 * KWIC colors
5680 */
5681/**
5682 * Some color definitions and mixins for
5683 * buttons and menus.
5684 */
5685/**
5686 * Chooseable items (default)
5687 */
5688/**
5689 * Chooseable items (mouse over)
5690 */
5691/**
5692 * Chooseable items (not available)
5693 */
5694/**
5695 * Chooseable items (active)
5696 */
5697/**
5698 * Chooseable items (action: remove something)
5699 */
5700/*
5701 * Defined lengths and sizes for the
5702 * Kalamar layout.
5703 */
5704/**
5705 * Margins
5706 */
5707/**
5708 * Path information - relative to css!
5709 */
5710/**
5711 * Styles for OAuth management form.
5712 */
5713ul.client-list {
5714 padding-left: 1.5em;
5715}
5716ul.client-list li.client {
5717 list-style-type: none;
5718}
5719ul.client-list li.client span.client-name::before {
5720 margin-left: -1.5em;
5721}
5722ul.client-list li.client span.client-desc {
5723 font-size: 70%;
5724 display: block;
5725}
5726
5727span.client-name {
5728 font-weight: bold;
5729}
5730span.client-name::before {
5731 font-family: "FontAwesome";
5732 white-space: nowrap;
5733 display: inline-block;
5734 width: 1.5em;
5735 content: "";
5736 color: #009ee0;
5737 font-size: 100%;
5738}
5739
5740/**
5741 * Some colors and shadow definitions
5742 * for Kalamar,
5743 */
5744/**
5745 * Official IDS colors
5746 */
5747/**
5748 * Orange Colors
5749 */
5750/**
5751 * Green Colors
5752 */
5753/**
5754 * Blue Colors
5755 */
5756/**
5757 * Grey Colors
5758 */
5759/**
5760 * Red Colors (no IDS relation)
5761 */
5762/**
5763 * Basic shadows
5764 */
5765/**
5766 * KWIC colors
5767 */
5768/**
5769 * Font Awesome symbol table.
5770 */
5771/**
5772 * Some colors and shadow definitions
5773 * for Kalamar,
5774 */
5775/**
5776 * Official IDS colors
5777 */
5778/**
5779 * Orange Colors
5780 */
5781/**
5782 * Green Colors
5783 */
5784/**
5785 * Blue Colors
5786 */
5787/**
5788 * Grey Colors
5789 */
5790/**
5791 * Red Colors (no IDS relation)
5792 */
5793/**
5794 * Basic shadows
5795 */
5796/**
5797 * KWIC colors
5798 */
5799/**
5800 * Mixin for blind elements
5801 * (e.g., spans in elements with an icon background)
5802 */
5803/**
5804 * Mixin for basic color transition
5805 */
5806/**
5807 * Mixing for basic text padding
5808 */
5809/**
5810 * Mixing for icon fonts
5811 */
5812/**
5813 * Mixing for correct box sizing (probably not necessary)
5814 * DEPRECATED
5815 */
5816/**
5817 * Some colors and shadow definitions
5818 * for Kalamar,
5819 */
5820/**
5821 * Official IDS colors
5822 */
5823/**
5824 * Orange Colors
5825 */
5826/**
5827 * Green Colors
5828 */
5829/**
5830 * Blue Colors
5831 */
5832/**
5833 * Grey Colors
5834 */
5835/**
5836 * Red Colors (no IDS relation)
5837 */
5838/**
5839 * Basic shadows
5840 */
5841/**
5842 * KWIC colors
5843 */
5844/**
5845 * Some color definitions and mixins for
5846 * buttons and menus.
5847 */
5848/**
5849 * Chooseable items (default)
5850 */
5851/**
5852 * Chooseable items (mouse over)
5853 */
5854/**
5855 * Chooseable items (not available)
5856 */
5857/**
5858 * Chooseable items (active)
5859 */
5860/**
5861 * Chooseable items (action: remove something)
5862 */
5863/*
5864 * Defined lengths and sizes for the
5865 * Kalamar layout.
5866 */
5867/**
5868 * Margins
5869 */
5870/**
5871 * Path information - relative to css!
5872 */
5873section#news {
5874 background-color: #e3e8a3;
5875 mix-blend-mode: soft-light;
5876 padding: 1em;
5877 padding-right: 2em;
5878 border-radius: 6px;
5879 border-left: 5px solid #636f07;
5880}
5881section#news dt {
5882 float: left;
5883 clear: left;
5884 width: 15ex;
5885 text-align: right;
5886 font-weight: bold;
5887}
5888section#news dd.maintenance > h4::after {
5889 font-family: "FontAwesome";
5890 white-space: nowrap;
5891 color: #c1002b;
5892 content: " ";
5893}
5894section#news dd {
5895 margin: 0 1ex 0 16ex;
5896 padding: 0 0 0.5em 1em;
5897}
5898section#news dd > p {
5899 max-width: 80ex;
5900 margin-block-start: 0ex;
5901}
5902section#news dd > h4 {
5903 margin-block-start: 0ex;
5904 margin-block-end: 0.33ex;
5905}
5906
5907@media all and (max-width: 42.5em) {
5908 section#news dt {
5909 text-align: left;
5910 float: none;
5911 width: auto;
5912 padding-bottom: 0.2em;
5913 }
5914 section#news dd {
5915 margin-left: 1em;
5916 }
5917}
5918/**
5919 * Base rules for all plugin related styles,
5920 * like widgets.
5921 */
5922div.view.widget {
5923 padding-right: 20px;
5924}
5925div.view.widget > iframe {
5926 margin: 0;
5927 box-sizing: border-box;
5928 padding: 0;
5929 width: 100%;
5930 overflow-x: auto;
5931}
5932
5933div.panel.result > div > div.widget > iframe {
5934 background-color: #fefefe;
5935}
5936
5937/**
5938 * Some colors and shadow definitions
5939 * for Kalamar,
5940 */
5941/**
5942 * Official IDS colors
5943 */
5944/**
5945 * Orange Colors
5946 */
5947/**
5948 * Green Colors
5949 */
5950/**
5951 * Blue Colors
5952 */
5953/**
5954 * Grey Colors
5955 */
5956/**
5957 * Red Colors (no IDS relation)
5958 */
5959/**
5960 * Basic shadows
5961 */
5962/**
5963 * KWIC colors
5964 */
5965/**
5966 * Font Awesome symbol table.
5967 */
5968/**
5969 * Some colors and shadow definitions
5970 * for Kalamar,
5971 */
5972/**
5973 * Official IDS colors
5974 */
5975/**
5976 * Orange Colors
5977 */
5978/**
5979 * Green Colors
5980 */
5981/**
5982 * Blue Colors
5983 */
5984/**
5985 * Grey Colors
5986 */
5987/**
5988 * Red Colors (no IDS relation)
5989 */
5990/**
5991 * Basic shadows
5992 */
5993/**
5994 * KWIC colors
5995 */
5996/**
5997 * Mixin for blind elements
5998 * (e.g., spans in elements with an icon background)
5999 */
6000/**
6001 * Mixin for basic color transition
6002 */
6003/**
6004 * Mixing for basic text padding
6005 */
6006/**
6007 * Mixing for icon fonts
6008 */
6009/**
6010 * Mixing for correct box sizing (probably not necessary)
6011 * DEPRECATED
6012 */
6013/**
6014 * Some colors and shadow definitions
6015 * for Kalamar,
6016 */
6017/**
6018 * Official IDS colors
6019 */
6020/**
6021 * Orange Colors
6022 */
6023/**
6024 * Green Colors
6025 */
6026/**
6027 * Blue Colors
6028 */
6029/**
6030 * Grey Colors
6031 */
6032/**
6033 * Red Colors (no IDS relation)
6034 */
6035/**
6036 * Basic shadows
6037 */
6038/**
6039 * KWIC colors
6040 */
6041/**
6042 * Some color definitions and mixins for
6043 * buttons and menus.
6044 */
6045/**
6046 * Chooseable items (default)
6047 */
6048/**
6049 * Chooseable items (mouse over)
6050 */
6051/**
6052 * Chooseable items (not available)
6053 */
6054/**
6055 * Chooseable items (active)
6056 */
6057/**
6058 * Chooseable items (action: remove something)
6059 */
6060/*
6061 * Defined lengths and sizes for the
6062 * Kalamar layout.
6063 */
6064/**
6065 * Margins
6066 */
6067/**
6068 * Path information - relative to css!
6069 */
6070main {
6071 padding-bottom: 100pt;
6072 margin-left: 40px;
6073 margin-right: 20px;
6074}
6075main.embedded {
6076 margin-left: 14px;
6077 margin-right: 14px;
6078}
6079main p {
6080 text-align: justify;
6081 hyphens: auto;
6082}
6083main h2#page-top {
6084 margin-top: 0;
6085 padding-top: 1em;
6086}
6087main.page {
6088 margin-left: 245px;
6089}
6090main.page p code,
6091main.page li code,
6092main.page dd code,
6093main.page dt code {
6094 background-color: #d9dadb;
6095 color: #87888a;
6096 padding: 0 0.5em;
6097 border-radius: 6px;
6098}
6099main p.hint {
6100 margin: 0 auto;
6101 text-align: center;
6102}
6103
6104/**
6105 * Some colors and shadow definitions
6106 * for Kalamar,
6107 */
6108/**
6109 * Official IDS colors
6110 */
6111/**
6112 * Orange Colors
6113 */
6114/**
6115 * Green Colors
6116 */
6117/**
6118 * Blue Colors
6119 */
6120/**
6121 * Grey Colors
6122 */
6123/**
6124 * Red Colors (no IDS relation)
6125 */
6126/**
6127 * Basic shadows
6128 */
6129/**
6130 * KWIC colors
6131 */
6132/**
6133 * Font Awesome symbol table.
6134 */
6135/**
6136 * Some colors and shadow definitions
6137 * for Kalamar,
6138 */
6139/**
6140 * Official IDS colors
6141 */
6142/**
6143 * Orange Colors
6144 */
6145/**
6146 * Green Colors
6147 */
6148/**
6149 * Blue Colors
6150 */
6151/**
6152 * Grey Colors
6153 */
6154/**
6155 * Red Colors (no IDS relation)
6156 */
6157/**
6158 * Basic shadows
6159 */
6160/**
6161 * KWIC colors
6162 */
6163/**
6164 * Mixin for blind elements
6165 * (e.g., spans in elements with an icon background)
6166 */
6167/**
6168 * Mixin for basic color transition
6169 */
6170/**
6171 * Mixing for basic text padding
6172 */
6173/**
6174 * Mixing for icon fonts
6175 */
6176/**
6177 * Mixing for correct box sizing (probably not necessary)
6178 * DEPRECATED
6179 */
6180/**
6181 * Some colors and shadow definitions
6182 * for Kalamar,
6183 */
6184/**
6185 * Official IDS colors
6186 */
6187/**
6188 * Orange Colors
6189 */
6190/**
6191 * Green Colors
6192 */
6193/**
6194 * Blue Colors
6195 */
6196/**
6197 * Grey Colors
6198 */
6199/**
6200 * Red Colors (no IDS relation)
6201 */
6202/**
6203 * Basic shadows
6204 */
6205/**
6206 * KWIC colors
6207 */
6208/**
6209 * Some color definitions and mixins for
6210 * buttons and menus.
6211 */
6212/**
6213 * Chooseable items (default)
6214 */
6215/**
6216 * Chooseable items (mouse over)
6217 */
6218/**
6219 * Chooseable items (not available)
6220 */
6221/**
6222 * Chooseable items (active)
6223 */
6224/**
6225 * Chooseable items (action: remove something)
6226 */
6227/*
6228 * Defined lengths and sizes for the
6229 * Kalamar layout.
6230 */
6231/**
6232 * Margins
6233 */
6234/**
6235 * Path information - relative to css!
6236 */
6237/**
6238 * Some colors and shadow definitions
6239 * for Kalamar,
6240 */
6241/**
6242 * Official IDS colors
6243 */
6244/**
6245 * Orange Colors
6246 */
6247/**
6248 * Green Colors
6249 */
6250/**
6251 * Blue Colors
6252 */
6253/**
6254 * Grey Colors
6255 */
6256/**
6257 * Red Colors (no IDS relation)
6258 */
6259/**
6260 * Basic shadows
6261 */
6262/**
6263 * KWIC colors
6264 */
6265/**
6266 * Font Awesome symbol table.
6267 */
6268/**
6269 * Some colors and shadow definitions
6270 * for Kalamar,
6271 */
6272/**
6273 * Official IDS colors
6274 */
6275/**
6276 * Orange Colors
6277 */
6278/**
6279 * Green Colors
6280 */
6281/**
6282 * Blue Colors
6283 */
6284/**
6285 * Grey Colors
6286 */
6287/**
6288 * Red Colors (no IDS relation)
6289 */
6290/**
6291 * Basic shadows
6292 */
6293/**
6294 * KWIC colors
6295 */
6296/**
6297 * Mixin for blind elements
6298 * (e.g., spans in elements with an icon background)
6299 */
6300/**
6301 * Mixin for basic color transition
6302 */
6303/**
6304 * Mixing for basic text padding
6305 */
6306/**
6307 * Mixing for icon fonts
6308 */
6309/**
6310 * Mixing for correct box sizing (probably not necessary)
6311 * DEPRECATED
6312 */
6313/**
6314 * Some colors and shadow definitions
6315 * for Kalamar,
6316 */
6317/**
6318 * Official IDS colors
6319 */
6320/**
6321 * Orange Colors
6322 */
6323/**
6324 * Green Colors
6325 */
6326/**
6327 * Blue Colors
6328 */
6329/**
6330 * Grey Colors
6331 */
6332/**
6333 * Red Colors (no IDS relation)
6334 */
6335/**
6336 * Basic shadows
6337 */
6338/**
6339 * KWIC colors
6340 */
6341/**
6342 * Some color definitions and mixins for
6343 * buttons and menus.
6344 */
6345/**
6346 * Chooseable items (default)
6347 */
6348/**
6349 * Chooseable items (mouse over)
6350 */
6351/**
6352 * Chooseable items (not available)
6353 */
6354/**
6355 * Chooseable items (active)
6356 */
6357/**
6358 * Chooseable items (action: remove something)
6359 */
6360/*
6361 * Defined lengths and sizes for the
6362 * Kalamar layout.
6363 */
6364/**
6365 * Margins
6366 */
6367/**
6368 * Path information - relative to css!
6369 */
6370/**
6371 * Rules for the Kalamar hint helper.
6372 */
6373ul.menu.hint {
6374 display: inline-block;
6375 white-space: normal;
6376 text-align: left;
6377 max-width: 23em !important;
6378 top: 0;
6379}
6380ul.menu.hint > li:first-of-type {
6381 border-top-width: 1px;
6382 border-top-left-radius: 0;
6383 border-top-right-radius: 0;
6384}
6385
6386div.alert.hint {
6387 position: absolute;
6388 background-color: #fe1a00;
6389 color: #fefefe;
6390 padding: 3pt 6pt;
6391 margin-top: 8px;
6392 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
6393 width: auto;
6394 min-width: 10em;
6395 max-width: 23em !important;
6396 transition: opacity 0.2s ease 0s;
6397 border-radius: 6px;
6398 border-top-left-radius: 0;
6399}
6400div.alert.hint::before {
6401 position: absolute;
6402 content: "";
6403 display: block;
6404 top: -12px;
6405 left: 0;
6406 width: 0;
6407 white-space: normal;
6408 border-width: 0 8px 12px 0;
6409 border-style: solid;
6410 border-color: #fe1a00 transparent;
6411}
6412
6413.hint.mirror {
6414 position: absolute;
6415 display: block;
6416 left: 0;
6417 top: 0;
6418 z-index: 90;
6419 white-space: pre-wrap;
6420 height: 0;
6421}
6422.hint.mirror > span {
6423 opacity: 0;
6424 white-space: pre-wrap;
6425 overflow: hidden;
6426}
6427.hint.mirror > div {
6428 position: absolute;
6429 display: block;
6430 cursor: pointer;
6431 transition: left 0.2s ease 0s;
6432 top: 0;
6433 left: 0;
6434 text-align: left;
6435 padding: 0;
6436 border-top: 5px solid #f6a800;
6437 height: 10px;
6438 width: 1.2em;
6439}
6440.hint.mirror > div:hover:not(.active) {
6441 border-top: 10px solid #f6a800;
6442}
6443.hint.mirror > div.active {
6444 border-top-width: 0;
6445 height: 0;
6446 width: 23em;
6447}
6448
6449/**
6450 * Some colors and shadow definitions
6451 * for Kalamar,
6452 */
6453/**
6454 * Official IDS colors
6455 */
6456/**
6457 * Orange Colors
6458 */
6459/**
6460 * Green Colors
6461 */
6462/**
6463 * Blue Colors
6464 */
6465/**
6466 * Grey Colors
6467 */
6468/**
6469 * Red Colors (no IDS relation)
6470 */
6471/**
6472 * Basic shadows
6473 */
6474/**
6475 * KWIC colors
6476 */
6477/**
6478 * Font Awesome symbol table.
6479 */
6480/**
6481 * Some colors and shadow definitions
6482 * for Kalamar,
6483 */
6484/**
6485 * Official IDS colors
6486 */
6487/**
6488 * Orange Colors
6489 */
6490/**
6491 * Green Colors
6492 */
6493/**
6494 * Blue Colors
6495 */
6496/**
6497 * Grey Colors
6498 */
6499/**
6500 * Red Colors (no IDS relation)
6501 */
6502/**
6503 * Basic shadows
6504 */
6505/**
6506 * KWIC colors
6507 */
6508/**
6509 * Mixin for blind elements
6510 * (e.g., spans in elements with an icon background)
6511 */
6512/**
6513 * Mixin for basic color transition
6514 */
6515/**
6516 * Mixing for basic text padding
6517 */
6518/**
6519 * Mixing for icon fonts
6520 */
6521/**
6522 * Mixing for correct box sizing (probably not necessary)
6523 * DEPRECATED
6524 */
6525/**
6526 * Some colors and shadow definitions
6527 * for Kalamar,
6528 */
6529/**
6530 * Official IDS colors
6531 */
6532/**
6533 * Orange Colors
6534 */
6535/**
6536 * Green Colors
6537 */
6538/**
6539 * Blue Colors
6540 */
6541/**
6542 * Grey Colors
6543 */
6544/**
6545 * Red Colors (no IDS relation)
6546 */
6547/**
6548 * Basic shadows
6549 */
6550/**
6551 * KWIC colors
6552 */
6553/**
6554 * Some color definitions and mixins for
6555 * buttons and menus.
6556 */
6557/**
6558 * Chooseable items (default)
6559 */
6560/**
6561 * Chooseable items (mouse over)
6562 */
6563/**
6564 * Chooseable items (not available)
6565 */
6566/**
6567 * Chooseable items (active)
6568 */
6569/**
6570 * Chooseable items (action: remove something)
6571 */
6572/*
6573 * Defined lengths and sizes for the
6574 * Kalamar layout.
6575 */
6576/**
6577 * Margins
6578 */
6579/**
6580 * Path information - relative to css!
6581 */
6582/**
6583 * Search field
6584 */
6585#q-field {
6586 display: block;
6587 margin-bottom: 3px;
6588 width: 100%;
6589 margin: 0;
6590}
6591#q-field::-webkit-search-cancel-button {
6592 display: none;
6593}
6594#q-field.loading {
6595 background-color: #f4eebb;
6596 background-image: none;
6597}
6598
6599#searchbar {
6600 position: relative;
6601 width: 100%;
6602 padding: 0;
6603 padding-right: 70px;
6604 margin-top: 7pt;
6605}
6606#searchbar button[type=submit] {
6607 position: absolute;
6608 padding: 0;
6609 right: 40px;
6610}
6611#searchbar button[type=submit]:not(.loading)::after {
6612 content: "";
6613}
6614
6615.query.panel {
6616 padding-right: 70px;
6617}
6618
6619.query.button-group.button-panel {
6620 display: block;
6621 width: auto;
6622 text-align: right;
6623 vertical-align: top;
6624 line-height: 1.3em;
6625}
6626.query.button-group.button-panel > span {
6627 box-shadow: none;
6628}
6629
6630/**
6631 * Some colors and shadow definitions
6632 * for Kalamar,
6633 */
6634/**
6635 * Official IDS colors
6636 */
6637/**
6638 * Orange Colors
6639 */
6640/**
6641 * Green Colors
6642 */
6643/**
6644 * Blue Colors
6645 */
6646/**
6647 * Grey Colors
6648 */
6649/**
6650 * Red Colors (no IDS relation)
6651 */
6652/**
6653 * Basic shadows
6654 */
6655/**
6656 * KWIC colors
6657 */
6658/**
6659 * Font Awesome symbol table.
6660 */
6661/**
6662 * Some colors and shadow definitions
6663 * for Kalamar,
6664 */
6665/**
6666 * Official IDS colors
6667 */
6668/**
6669 * Orange Colors
6670 */
6671/**
6672 * Green Colors
6673 */
6674/**
6675 * Blue Colors
6676 */
6677/**
6678 * Grey Colors
6679 */
6680/**
6681 * Red Colors (no IDS relation)
6682 */
6683/**
6684 * Basic shadows
6685 */
6686/**
6687 * KWIC colors
6688 */
6689/**
6690 * Mixin for blind elements
6691 * (e.g., spans in elements with an icon background)
6692 */
6693/**
6694 * Mixin for basic color transition
6695 */
6696/**
6697 * Mixing for basic text padding
6698 */
6699/**
6700 * Mixing for icon fonts
6701 */
6702/**
6703 * Mixing for correct box sizing (probably not necessary)
6704 * DEPRECATED
6705 */
6706/**
6707 * Some colors and shadow definitions
6708 * for Kalamar,
6709 */
6710/**
6711 * Official IDS colors
6712 */
6713/**
6714 * Orange Colors
6715 */
6716/**
6717 * Green Colors
6718 */
6719/**
6720 * Blue Colors
6721 */
6722/**
6723 * Grey Colors
6724 */
6725/**
6726 * Red Colors (no IDS relation)
6727 */
6728/**
6729 * Basic shadows
6730 */
6731/**
6732 * KWIC colors
6733 */
6734/**
6735 * Some color definitions and mixins for
6736 * buttons and menus.
6737 */
6738/**
6739 * Chooseable items (default)
6740 */
6741/**
6742 * Chooseable items (mouse over)
6743 */
6744/**
6745 * Chooseable items (not available)
6746 */
6747/**
6748 * Chooseable items (active)
6749 */
6750/**
6751 * Chooseable items (action: remove something)
6752 */
6753/*
6754 * Defined lengths and sizes for the
6755 * Kalamar layout.
6756 */
6757/**
6758 * Margins
6759 */
6760/**
6761 * Path information - relative to css!
6762 */
6763/**
6764 * Virtual Collection Builder
6765 */
6766.vc {
6767 margin-top: 4pt;
6768 /**
6769 * All document rules
6770 */
6771 /**
6772 * All operators
6773 */
6774}
6775.vc .builder {
6776 position: initial;
6777}
6778.vc .docGroup {
6779 position: relative;
6780 display: inline-block;
6781 margin-left: 4em;
6782 padding: 4pt 2pt 4pt 0pt;
6783 border-radius: 12px;
6784 border-style: solid;
6785 border-width: 0 0.4em;
6786 /**
6787 * All operators on groups
6788 */
6789}
6790.vc .docGroup .docGroup {
6791 display: block;
6792}
6793.vc .docGroup[data-operation] > .doc:first-child::before,
6794.vc .docGroup[data-operation] > .docGroup:first-child::before {
6795 content: none;
6796}
6797.vc .docGroup[data-operation] > .doc::before,
6798.vc .docGroup[data-operation] > .docGroup::before {
6799 position: absolute;
6800 display: inline-block;
6801 text-align: right;
6802 width: 4em;
6803 margin-left: -4.5em;
6804 line-height: 1.5em;
6805 border-top: 2px solid transparent;
6806}
6807.vc .docGroup[data-operation] > .docGroup::before {
6808 margin-left: -4.9em;
6809}
6810.vc .docGroup[data-operation=or] > .doc::before,
6811.vc .docGroup[data-operation=or] > .docGroup::before {
6812 content: "or";
6813}
6814.vc .docGroup[data-operation=and] > .doc::before,
6815.vc .docGroup[data-operation=and] > .docGroup::before {
6816 content: "and";
6817}
6818.vc .docGroup > .operators {
6819 position: absolute;
6820 display: block;
6821 vertical-align: middle;
6822 top: 10px;
6823 left: 3px;
6824 margin-left: 100%;
6825 padding: 0;
6826}
6827.vc .docGroup > .operators > span:first-child {
6828 border-top-left-radius: 0;
6829 border-bottom-left-radius: 0;
6830}
6831.vc .doc {
6832 line-height: 170%;
6833 padding-left: 4em;
6834}
6835.vc .doc > span + span,
6836.vc .doc > span + div + span,
6837.vc .doc > span + ul + span {
6838 margin-left: 5pt;
6839}
6840.vc .doc > span.key, .vc .doc > span.value {
6841 font-weight: bold;
6842}
6843.vc .doc > span.value[data-type=regex] {
6844 font-style: italic;
6845}
6846.vc .doc > span.value[data-type=regex]::after, .vc .doc > span.value[data-type=regex]::before {
6847 content: "/";
6848}
6849.vc .doc > span.key {
6850 position: relative;
6851}
6852.vc .doc > span.key > ul {
6853 margin: 0;
6854 margin-left: 3.3em;
6855}
6856.vc .doc > span.key.fixed {
6857 color: #9bad0b;
6858}
6859.vc .doc.unspecified > span,
6860.vc .doc span.unspecified {
6861 color: #616263;
6862 background-color: #d9dadb;
6863 border-color: #87888a;
6864 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
6865 padding: 0 4px;
6866 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
6867 border-style: solid;
6868 border-width: 2px;
6869 border-radius: 6px;
6870}
6871.vc .doc > .operators {
6872 display: inline-block;
6873 margin-left: 10px;
6874}
6875.vc .rewritten .rewrite {
6876 display: inline-block;
6877 margin-left: 4pt;
6878 color: #f6a800;
6879}
6880.vc .rewritten .rewrite::after {
6881 font-family: "FontAwesome";
6882 white-space: nowrap;
6883 font-style: normal;
6884 font-weight: normal;
6885 content: "";
6886 text-decoration: underline;
6887}
6888.vc .rewritten .rewrite > span {
6889 display: none;
6890}
6891.vc .operators {
6892 opacity: 0;
6893 white-space: nowrap;
6894 padding: 0;
6895 font-size: 0;
6896 line-height: 0;
6897 text-align: center;
6898}
6899.vc > .docGroup {
6900 margin-left: 0;
6901}
6902.vc .menu {
6903 display: inline-block;
6904}
6905.vc .menu li[data-type=ref]::before,
6906.vc span.key.ref::before {
6907 font-family: "FontAwesome";
6908 white-space: nowrap;
6909 content: "";
6910 padding-right: 4pt;
6911 font-style: normal;
6912 font-weight: normal;
6913}
6914.vc div.value {
6915 position: absolute;
6916 display: inline-block;
6917 min-width: max-content;
6918 z-index: 8000;
6919 padding: 4pt;
6920 margin-top: -6pt;
6921 border-radius: 6px;
6922 border-width: 2px;
6923 border-style: solid;
6924}
6925.vc div.value input {
6926 border-width: 0;
6927 outline-width: 0;
6928}
6929.vc div.value > div {
6930 color: #616263;
6931 background-color: #d9dadb;
6932 border-color: #87888a;
6933 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
6934 display: inline-block;
6935 padding: 0 4pt;
6936 margin-left: 4pt;
6937 font-size: 80%;
6938 font-style: italic;
6939 border-width: 2px;
6940 border-style: solid;
6941 border-radius: 6px;
6942}
6943.vc div.value.regex > input {
6944 font-style: italic;
6945}
6946.vc div.value.regex > div {
6947 color: #636f07;
6948 background-color: #9bad0b;
6949 border-color: #636f07;
6950 text-shadow: none;
6951}
6952
6953/* Rules for vcs excluding fragments,
6954 * i.e. includingy dynamic changes.
6955 */
6956.vc:not(.fragment) {
6957 /**
6958 * Rules for all docGroups
6959 */
6960}
6961.vc:not(.fragment) .docGroup,
6962.vc:not(.fragment) .doc {
6963 color: #616263;
6964}
6965.vc:not(.fragment) .docGroup:hover {
6966 background-color: rgba(255, 255, 255, 0.3);
6967}
6968.vc:not(.fragment) .doc > span:not(.fixed) {
6969 cursor: pointer;
6970}
6971.vc:not(.fragment) .doc > span:not(.fixed):hover {
6972 color: #f6a800;
6973}
6974.vc:not(.fragment) .doc.unspecified > span:hover,
6975.vc:not(.fragment) span.unspecified:hover {
6976 color: #fefefe;
6977 background-color: #f6a800;
6978 border-color: #ff8000;
6979 text-shadow: none;
6980}
6981.vc:not(.fragment) .doc:hover > .operators, .vc:not(.fragment) .docGroup:hover > .operators {
6982 opacity: 1;
6983}
6984.vc:not(.fragment) .docGroup[data-operation] > .doc::before,
6985.vc:not(.fragment) .docGroup[data-operation] > .docGroup::before {
6986 color: #f6a800;
6987}
6988.vc:not(.fragment) .docGroup[data-operation=or] {
6989 border-color: #f6a800;
6990}
6991.vc:not(.fragment) div.value {
6992 color: #616263;
6993 background-color: #d9dadb;
6994 border-color: #87888a;
6995 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
6996 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
6997}
6998.vc:not(.fragment) div.value > div {
6999 cursor: pointer;
7000}
7001.vc:not(.fragment) div.value > div:hover {
7002 color: #fefefe;
7003 background-color: #f6a800;
7004 border-color: #ff8000;
7005 text-shadow: none;
7006}
7007
7008/**
7009 * The z-index cascade for groups.
7010 */
7011.docGroup > .operators {
7012 z-index: 30;
7013}
7014.docGroup .docGroup > .operators {
7015 z-index: 31;
7016}
7017.docGroup .docGroup .docGroup > .operators {
7018 z-index: 32;
7019}
7020.docGroup .docGroup .docGroup .docGroup > .operators {
7021 z-index: 33;
7022}
7023.docGroup .docGroup .docGroup .docGroup .docGroup > .operators {
7024 z-index: 34;
7025}
7026.docGroup .docGroup .docGroup .docGroup .docGroup .docGroup > .operators {
7027 z-index: 35;
7028}
7029.docGroup .docGroup .docGroup .docGroup .docGroup .docGroup .docGroup > .operators {
7030 z-index: 36;
7031}
7032
7033.vc.fragment > div > div.docGroup {
7034 margin-left: 0;
7035}
7036.vc.fragment .doc {
7037 margin-right: 2em;
7038}
7039
7040#collection {
7041 line-height: 1em;
7042 border-radius: 6px;
7043}
7044
7045#vc-choose > span.rewritten::after {
7046 font-family: "FontAwesome";
7047 white-space: nowrap;
7048 color: #f6a800;
7049 padding: 0;
7050 padding-left: 4px;
7051 content: "";
7052 text-decoration: underline;
7053 font-style: normal;
7054 font-weight: normal;
7055}
7056
7057div#vc-view {
7058 position: relative;
7059}
7060div#vc-view > div.vc {
7061 display: none;
7062 margin: 1.3em 0 0.5em 0;
7063 border: 2px solid #636f07;
7064 background-color: #fefefe;
7065}
7066div#vc-view > div.vc.active {
7067 display: block;
7068}
7069div#vc-view > div.vc > div:first-child {
7070 padding: 1.3em;
7071}
7072
7073div.panel.vcinfo {
7074 padding: 3pt 0pt 3pt 3pt;
7075 background-color: #636f07;
7076}
7077div.panel.vcinfo div.button-group > span {
7078 box-shadow: none;
7079}
7080
7081/**
7082 * Some colors and shadow definitions
7083 * for Kalamar,
7084 */
7085/**
7086 * Official IDS colors
7087 */
7088/**
7089 * Orange Colors
7090 */
7091/**
7092 * Green Colors
7093 */
7094/**
7095 * Blue Colors
7096 */
7097/**
7098 * Grey Colors
7099 */
7100/**
7101 * Red Colors (no IDS relation)
7102 */
7103/**
7104 * Basic shadows
7105 */
7106/**
7107 * KWIC colors
7108 */
7109/**
7110 * Font Awesome symbol table.
7111 */
7112/**
7113 * Some colors and shadow definitions
7114 * for Kalamar,
7115 */
7116/**
7117 * Official IDS colors
7118 */
7119/**
7120 * Orange Colors
7121 */
7122/**
7123 * Green Colors
7124 */
7125/**
7126 * Blue Colors
7127 */
7128/**
7129 * Grey Colors
7130 */
7131/**
7132 * Red Colors (no IDS relation)
7133 */
7134/**
7135 * Basic shadows
7136 */
7137/**
7138 * KWIC colors
7139 */
7140/**
7141 * Mixin for blind elements
7142 * (e.g., spans in elements with an icon background)
7143 */
7144/**
7145 * Mixin for basic color transition
7146 */
7147/**
7148 * Mixing for basic text padding
7149 */
7150/**
7151 * Mixing for icon fonts
7152 */
7153/**
7154 * Mixing for correct box sizing (probably not necessary)
7155 * DEPRECATED
7156 */
7157/**
7158 * Some colors and shadow definitions
7159 * for Kalamar,
7160 */
7161/**
7162 * Official IDS colors
7163 */
7164/**
7165 * Orange Colors
7166 */
7167/**
7168 * Green Colors
7169 */
7170/**
7171 * Blue Colors
7172 */
7173/**
7174 * Grey Colors
7175 */
7176/**
7177 * Red Colors (no IDS relation)
7178 */
7179/**
7180 * Basic shadows
7181 */
7182/**
7183 * KWIC colors
7184 */
7185/**
7186 * Some color definitions and mixins for
7187 * buttons and menus.
7188 */
7189/**
7190 * Chooseable items (default)
7191 */
7192/**
7193 * Chooseable items (mouse over)
7194 */
7195/**
7196 * Chooseable items (not available)
7197 */
7198/**
7199 * Chooseable items (active)
7200 */
7201/**
7202 * Chooseable items (action: remove something)
7203 */
7204/*
7205 * Defined lengths and sizes for the
7206 * Kalamar layout.
7207 */
7208/**
7209 * Margins
7210 */
7211/**
7212 * Path information - relative to css!
7213 */
7214/**
7215 * Corpus statistic
7216 * Graying corpus statistic
7217 */
7218div.stattable {
7219 display: flex;
7220 flex-direction: row;
7221 margin-right: 20px;
7222}
7223
7224div.stattable > dl {
7225 margin-bottom: 4px;
7226}
7227div.stattable > dl > div {
7228 border-color: #636f07;
7229}
7230div.stattable > dl > div > dt {
7231 background-color: #8a9a0a;
7232 width: 15em;
7233 margin: 0;
7234}
7235div.stattable > dl > div > dt::after {
7236 content: ":";
7237}
7238div.stattable > dl > div > dd {
7239 background-color: #dce883;
7240 color: #616263;
7241}
7242div.stattable.stdisabled dt,
7243div.stattable.stdisabled dd {
7244 background-color: #b9c46a;
7245 color: #636f07;
7246 text-shadow: none;
7247}
7248
7249/* Corpus statistic reload button */
7250div.reloadStatB > span.refresh {
7251 margin-left: 2pt;
7252}
7253
7254span.refresh::after {
7255 vertical-align: sub;
7256 content: "";
7257}
7258
7259@media (min-width: 1680px) {
7260 div.stattable dl.flex > div {
7261 width: inherit;
7262 }
7263}
7264/**
7265 * Some colors and shadow definitions
7266 * for Kalamar,
7267 */
7268/**
7269 * Official IDS colors
7270 */
7271/**
7272 * Orange Colors
7273 */
7274/**
7275 * Green Colors
7276 */
7277/**
7278 * Blue Colors
7279 */
7280/**
7281 * Grey Colors
7282 */
7283/**
7284 * Red Colors (no IDS relation)
7285 */
7286/**
7287 * Basic shadows
7288 */
7289/**
7290 * KWIC colors
7291 */
7292/**
7293 * Font Awesome symbol table.
7294 */
7295/**
7296 * Some colors and shadow definitions
7297 * for Kalamar,
7298 */
7299/**
7300 * Official IDS colors
7301 */
7302/**
7303 * Orange Colors
7304 */
7305/**
7306 * Green Colors
7307 */
7308/**
7309 * Blue Colors
7310 */
7311/**
7312 * Grey Colors
7313 */
7314/**
7315 * Red Colors (no IDS relation)
7316 */
7317/**
7318 * Basic shadows
7319 */
7320/**
7321 * KWIC colors
7322 */
7323/**
7324 * Mixin for blind elements
7325 * (e.g., spans in elements with an icon background)
7326 */
7327/**
7328 * Mixin for basic color transition
7329 */
7330/**
7331 * Mixing for basic text padding
7332 */
7333/**
7334 * Mixing for icon fonts
7335 */
7336/**
7337 * Mixing for correct box sizing (probably not necessary)
7338 * DEPRECATED
7339 */
7340/**
7341 * Some colors and shadow definitions
7342 * for Kalamar,
7343 */
7344/**
7345 * Official IDS colors
7346 */
7347/**
7348 * Orange Colors
7349 */
7350/**
7351 * Green Colors
7352 */
7353/**
7354 * Blue Colors
7355 */
7356/**
7357 * Grey Colors
7358 */
7359/**
7360 * Red Colors (no IDS relation)
7361 */
7362/**
7363 * Basic shadows
7364 */
7365/**
7366 * KWIC colors
7367 */
7368/**
7369 * Some color definitions and mixins for
7370 * buttons and menus.
7371 */
7372/**
7373 * Chooseable items (default)
7374 */
7375/**
7376 * Chooseable items (mouse over)
7377 */
7378/**
7379 * Chooseable items (not available)
7380 */
7381/**
7382 * Chooseable items (active)
7383 */
7384/**
7385 * Chooseable items (action: remove something)
7386 */
7387/*
7388 * Defined lengths and sizes for the
7389 * Kalamar layout.
7390 */
7391/**
7392 * Margins
7393 */
7394/**
7395 * Path information - relative to css!
7396 */
7397/**
7398 * Rules for the datepicker widget
7399 * (used in the Virtual Collection creator)
7400 * in Kalamar.
7401 */
7402div.datepicker {
7403 color: #616263;
7404 background-color: #d9dadb;
7405 border-color: #87888a;
7406 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
7407 position: absolute;
7408 display: inline-block;
7409 z-index: 90;
7410 font-size: 80%;
7411 padding: 4pt;
7412 box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.2);
7413 border-width: 2px;
7414 border-style: solid;
7415 border-radius: 6px;
7416}
7417div.datepicker > div {
7418 font-size: 120%;
7419 width: 45%;
7420}
7421div.datepicker > div.month {
7422 float: right;
7423}
7424div.datepicker > div > span {
7425 display: inline-block;
7426 overflow: hidden;
7427 white-space: nowrap;
7428}
7429div.datepicker > div > span:first-child, div.datepicker > div > span:last-child {
7430 width: 15%;
7431}
7432div.datepicker > div > span:first-child::before, div.datepicker > div > span:last-child::before {
7433 font-family: "FontAwesome";
7434 white-space: nowrap;
7435 display: inline-block;
7436 text-align: center;
7437 cursor: pointer;
7438 min-width: 14px;
7439}
7440div.datepicker > div > span:first-child::before {
7441 content: "";
7442}
7443div.datepicker > div > span:last-child::before {
7444 content: "";
7445}
7446div.datepicker > div > span:nth-child(2) {
7447 display: inline-block;
7448 cursor: pointer;
7449 width: 70%;
7450 text-align: center;
7451 text-overflow: ellipsis;
7452 border-radius: 6px;
7453 border-style: solid;
7454 border-width: 2px;
7455 border-color: transparent;
7456}
7457div.datepicker > div > span:nth-child(2):hover {
7458 color: #fefefe;
7459 background-color: #f6a800;
7460 border-color: #ff8000;
7461 text-shadow: none;
7462}
7463div.datepicker > div > span:nth-child(2).selected {
7464 color: #636f07;
7465 background-color: #9bad0b;
7466 border-color: #636f07;
7467 text-shadow: none;
7468}
7469div.datepicker table {
7470 border-collapse: separate;
7471 border-spacing: 1px;
7472}
7473div.datepicker input {
7474 color: #616263;
7475 background-color: #d9dadb;
7476 border-color: #87888a;
7477 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
7478 padding-left: 0.4em;
7479 padding-right: 0.4em;
7480 background-color: #fefefe;
7481 width: 100%;
7482 border-style: solid;
7483 border-width: 1px;
7484}
7485div.datepicker td {
7486 padding-left: 0.4em;
7487 padding-right: 0.4em;
7488 text-align: center;
7489 border-style: solid;
7490 border-width: 1px;
7491}
7492div.datepicker td:not(.out) {
7493 color: #616263;
7494 background-color: #d9dadb;
7495 border-color: #87888a;
7496 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
7497 cursor: pointer;
7498 background-color: #fefefe;
7499}
7500div.datepicker td:not(.out).today {
7501 background-color: #bce4f7;
7502 color: #009ee0;
7503 text-shadow: none;
7504}
7505div.datepicker td:not(.out).selected {
7506 color: #636f07;
7507 background-color: #9bad0b;
7508 border-color: #636f07;
7509 text-shadow: none;
7510}
7511div.datepicker td:not(.out):hover {
7512 color: #fefefe;
7513 background-color: #f6a800;
7514 border-color: #ff8000;
7515 text-shadow: none;
7516}
7517div.datepicker td.out {
7518 border-color: transparent;
7519}
7520
7521/**
7522 * Some colors and shadow definitions
7523 * for Kalamar,
7524 */
7525/**
7526 * Official IDS colors
7527 */
7528/**
7529 * Orange Colors
7530 */
7531/**
7532 * Green Colors
7533 */
7534/**
7535 * Blue Colors
7536 */
7537/**
7538 * Grey Colors
7539 */
7540/**
7541 * Red Colors (no IDS relation)
7542 */
7543/**
7544 * Basic shadows
7545 */
7546/**
7547 * KWIC colors
7548 */
7549/**
7550 * Font Awesome symbol table.
7551 */
7552/**
7553 * Some colors and shadow definitions
7554 * for Kalamar,
7555 */
7556/**
7557 * Official IDS colors
7558 */
7559/**
7560 * Orange Colors
7561 */
7562/**
7563 * Green Colors
7564 */
7565/**
7566 * Blue Colors
7567 */
7568/**
7569 * Grey Colors
7570 */
7571/**
7572 * Red Colors (no IDS relation)
7573 */
7574/**
7575 * Basic shadows
7576 */
7577/**
7578 * KWIC colors
7579 */
7580/**
7581 * Mixin for blind elements
7582 * (e.g., spans in elements with an icon background)
7583 */
7584/**
7585 * Mixin for basic color transition
7586 */
7587/**
7588 * Mixing for basic text padding
7589 */
7590/**
7591 * Mixing for icon fonts
7592 */
7593/**
7594 * Mixing for correct box sizing (probably not necessary)
7595 * DEPRECATED
7596 */
7597/**
7598 * Some colors and shadow definitions
7599 * for Kalamar,
7600 */
7601/**
7602 * Official IDS colors
7603 */
7604/**
7605 * Orange Colors
7606 */
7607/**
7608 * Green Colors
7609 */
7610/**
7611 * Blue Colors
7612 */
7613/**
7614 * Grey Colors
7615 */
7616/**
7617 * Red Colors (no IDS relation)
7618 */
7619/**
7620 * Basic shadows
7621 */
7622/**
7623 * KWIC colors
7624 */
7625/**
7626 * Some color definitions and mixins for
7627 * buttons and menus.
7628 */
7629/**
7630 * Chooseable items (default)
7631 */
7632/**
7633 * Chooseable items (mouse over)
7634 */
7635/**
7636 * Chooseable items (not available)
7637 */
7638/**
7639 * Chooseable items (active)
7640 */
7641/**
7642 * Chooseable items (action: remove something)
7643 */
7644/*
7645 * Defined lengths and sizes for the
7646 * Kalamar layout.
7647 */
7648/**
7649 * Margins
7650 */
7651/**
7652 * Path information - relative to css!
7653 */
7654/**
7655 * Temporary hack for language chooser
7656 * http://cssdeck.com/labs/styling-select-box-with-css3
7657 * This is only active in no-js environment and before the
7658 * javascript is loaded.
7659 */
7660#ql-field {
7661 position: relative;
7662 background-color: #9bad0b;
7663 cursor: pointer;
7664 margin: 0;
7665 outline: none;
7666 border: none;
7667 display: inline-block;
7668 color: white;
7669 border-width: 0;
7670 border-radius: 0;
7671 -webkit-appearance: none;
7672 -moz-appearance: none;
7673 appearance: none;
7674}
7675#ql-field:checked {
7676 outline: none;
7677}
7678#ql-field > option {
7679 padding: 0pt 2pt;
7680 outline: none;
7681}
7682#ql-field:-moz-focusring {
7683 color: transparent;
7684 text-shadow: 0 0 0 white;
7685}
7686
7687/**
7688 * The pipe input field
7689 */
7690input.pipe {
7691 display: none;
7692}
7693
7694header {
7695 -webkit-box-sizing: border-box;
7696 /* Safari/Chrome, other WebKit */
7697 -moz-box-sizing: border-box;
7698 /* Firefox, other Gecko */
7699 box-sizing: border-box;
7700 /* Opera/IE 8+ */
7701 position: relative;
7702 background-color: #9bad0b;
7703 padding: 8px 0 0 8px;
7704 font-size: 10pt;
7705 color: #fefefe;
7706}
7707header span.select {
7708 display: inline-block;
7709 cursor: pointer;
7710 line-height: 1.8em;
7711 border-width: 0;
7712 border-bottom-width: 3px;
7713 border-style: solid;
7714 border-color: transparent;
7715}
7716header span.select > span {
7717 font-weight: bold;
7718}
7719header span.select:hover {
7720 color: #636f07;
7721 border-color: #636f07;
7722}
7723header span.select::after {
7724 font-family: "FontAwesome";
7725 white-space: nowrap;
7726 pointer-events: none;
7727 text-align: center;
7728 content: "";
7729 padding-left: 4pt;
7730 padding-right: 4pt;
7731}
7732header span.select.active {
7733 border-color: #f6a800;
7734}
7735header span.select.active::after {
7736 content: "";
7737}
7738header form {
7739 position: relative;
7740 display: block;
7741 padding-left: 230px;
7742 min-height: 2.7em;
7743 margin: 0px;
7744}
7745header input {
7746 outline: none;
7747 font-size: 11pt;
7748 border: 2px solid #fefefe;
7749 padding: 2px;
7750 margin: 0;
7751}
7752header .button {
7753 color: #fefefe;
7754 line-height: 2em;
7755 margin-right: 40px;
7756}
7757header .button.right {
7758 float: right;
7759 display: inline-block;
7760}
7761header .button.top {
7762 position: absolute;
7763 display: block;
7764 top: 0;
7765 right: 0;
7766 margin-right: 0;
7767 width: 20px;
7768 background-color: #636f07;
7769 text-align: center;
7770 height: 100%;
7771 z-index: 20;
7772}
7773header .button.top > a:hover {
7774 color: #fefefe;
7775}
7776header .button > a {
7777 color: #fefefe;
7778 cursor: pointer;
7779 position: relative;
7780 font-size: 120%;
7781}
7782header .button > a > span {
7783 position: absolute;
7784 margin-left: -3000px;
7785}
7786header .button > a::after {
7787 font-family: "FontAwesome";
7788 white-space: nowrap;
7789}
7790header .button > a.tutorial::after {
7791 content: "";
7792}
7793header .button > a.question::after {
7794 content: "";
7795}
7796header .button > a.login::after {
7797 content: "";
7798}
7799header .button > a.logout::after {
7800 content: "";
7801}
7802
7803.query.button-group > span {
7804 border-top-width: 0;
7805 border-color: white;
7806}
7807.query.button-group > span:first-child {
7808 border-top-left-radius: 0;
7809}
7810.query.button-group > span:last-child {
7811 border-top-right-radius: 0;
7812}
7813
7814/**
7815 * Some colors and shadow definitions
7816 * for Kalamar,
7817 */
7818/**
7819 * Official IDS colors
7820 */
7821/**
7822 * Orange Colors
7823 */
7824/**
7825 * Green Colors
7826 */
7827/**
7828 * Blue Colors
7829 */
7830/**
7831 * Grey Colors
7832 */
7833/**
7834 * Red Colors (no IDS relation)
7835 */
7836/**
7837 * Basic shadows
7838 */
7839/**
7840 * KWIC colors
7841 */
7842/**
7843 * Font Awesome symbol table.
7844 */
7845/**
7846 * Some colors and shadow definitions
7847 * for Kalamar,
7848 */
7849/**
7850 * Official IDS colors
7851 */
7852/**
7853 * Orange Colors
7854 */
7855/**
7856 * Green Colors
7857 */
7858/**
7859 * Blue Colors
7860 */
7861/**
7862 * Grey Colors
7863 */
7864/**
7865 * Red Colors (no IDS relation)
7866 */
7867/**
7868 * Basic shadows
7869 */
7870/**
7871 * KWIC colors
7872 */
7873/**
7874 * Mixin for blind elements
7875 * (e.g., spans in elements with an icon background)
7876 */
7877/**
7878 * Mixin for basic color transition
7879 */
7880/**
7881 * Mixing for basic text padding
7882 */
7883/**
7884 * Mixing for icon fonts
7885 */
7886/**
7887 * Mixing for correct box sizing (probably not necessary)
7888 * DEPRECATED
7889 */
7890/**
7891 * Some colors and shadow definitions
7892 * for Kalamar,
7893 */
7894/**
7895 * Official IDS colors
7896 */
7897/**
7898 * Orange Colors
7899 */
7900/**
7901 * Green Colors
7902 */
7903/**
7904 * Blue Colors
7905 */
7906/**
7907 * Grey Colors
7908 */
7909/**
7910 * Red Colors (no IDS relation)
7911 */
7912/**
7913 * Basic shadows
7914 */
7915/**
7916 * KWIC colors
7917 */
7918/**
7919 * Some color definitions and mixins for
7920 * buttons and menus.
7921 */
7922/**
7923 * Chooseable items (default)
7924 */
7925/**
7926 * Chooseable items (mouse over)
7927 */
7928/**
7929 * Chooseable items (not available)
7930 */
7931/**
7932 * Chooseable items (active)
7933 */
7934/**
7935 * Chooseable items (action: remove something)
7936 */
7937/*
7938 * Defined lengths and sizes for the
7939 * Kalamar layout.
7940 */
7941/**
7942 * Margins
7943 */
7944/**
7945 * Path information - relative to css!
7946 */
7947/**
7948 * Rules for the footer section of Kalamar
7949 */
7950footer {
7951 background-color: #616263;
7952 position: absolute;
7953 bottom: 0;
7954 padding-bottom: 2px;
7955 font-size: 70%;
7956 width: 100%;
7957 text-align: right;
7958 display: flex;
7959 align-items: center;
7960 height: 100pt;
7961}
7962footer nav {
7963 margin-left: 30px;
7964 padding: 3pt 6pt;
7965 text-align: left;
7966 flex-grow: 2;
7967}
7968footer nav a {
7969 white-space: nowrap;
7970}
7971footer div.logos {
7972 font-size: 0;
7973 flex-grow: 1;
7974}
7975footer a {
7976 font-size: 10pt;
7977}
7978footer a:link {
7979 color: #d9dadb;
7980}
7981footer a:visited {
7982 color: #d9dadb;
7983}
7984footer a:hover {
7985 color: #fefefe;
7986}
7987footer a[href^="http://"]::after, footer a[href^="https://"]::after {
7988 content: none;
7989}
7990footer span.separator:after {
7991 font-size: bold;
7992 content: " | ";
7993 color: #f6a800;
7994}
7995
7996/**
7997 * Logo table of the front page
7998 */
7999#logos {
8000 margin-right: 40px;
8001}
8002
8003/**
8004 * Logo: Institute for German Language
8005 */
8006#ids-logo {
8007 display: inline-block;
8008 width: 21.0333333333em;
8009 height: 6.6666666667em;
8010 background-image: url("../img/ids-institute-for-the-german-language-white.svg");
8011}
8012
8013aside.active ~ footer {
8014 padding-left: 230px;
8015 transition: all 0.3s ease-in-out;
8016}
8017
8018/**
8019 * Some colors and shadow definitions
8020 * for Kalamar,
8021 */
8022/**
8023 * Official IDS colors
8024 */
8025/**
8026 * Orange Colors
8027 */
8028/**
8029 * Green Colors
8030 */
8031/**
8032 * Blue Colors
8033 */
8034/**
8035 * Grey Colors
8036 */
8037/**
8038 * Red Colors (no IDS relation)
8039 */
8040/**
8041 * Basic shadows
8042 */
8043/**
8044 * KWIC colors
8045 */
8046/**
8047 * Font Awesome symbol table.
8048 */
8049/**
8050 * Some colors and shadow definitions
8051 * for Kalamar,
8052 */
8053/**
8054 * Official IDS colors
8055 */
8056/**
8057 * Orange Colors
8058 */
8059/**
8060 * Green Colors
8061 */
8062/**
8063 * Blue Colors
8064 */
8065/**
8066 * Grey Colors
8067 */
8068/**
8069 * Red Colors (no IDS relation)
8070 */
8071/**
8072 * Basic shadows
8073 */
8074/**
8075 * KWIC colors
8076 */
8077/**
8078 * Mixin for blind elements
8079 * (e.g., spans in elements with an icon background)
8080 */
8081/**
8082 * Mixin for basic color transition
8083 */
8084/**
8085 * Mixing for basic text padding
8086 */
8087/**
8088 * Mixing for icon fonts
8089 */
8090/**
8091 * Mixing for correct box sizing (probably not necessary)
8092 * DEPRECATED
8093 */
8094/**
8095 * Some colors and shadow definitions
8096 * for Kalamar,
8097 */
8098/**
8099 * Official IDS colors
8100 */
8101/**
8102 * Orange Colors
8103 */
8104/**
8105 * Green Colors
8106 */
8107/**
8108 * Blue Colors
8109 */
8110/**
8111 * Grey Colors
8112 */
8113/**
8114 * Red Colors (no IDS relation)
8115 */
8116/**
8117 * Basic shadows
8118 */
8119/**
8120 * KWIC colors
8121 */
8122/**
8123 * Some color definitions and mixins for
8124 * buttons and menus.
8125 */
8126/**
8127 * Chooseable items (default)
8128 */
8129/**
8130 * Chooseable items (mouse over)
8131 */
8132/**
8133 * Chooseable items (not available)
8134 */
8135/**
8136 * Chooseable items (active)
8137 */
8138/**
8139 * Chooseable items (action: remove something)
8140 */
8141/*
8142 * Defined lengths and sizes for the
8143 * Kalamar layout.
8144 */
8145/**
8146 * Margins
8147 */
8148/**
8149 * Path information - relative to css!
8150 */
8151aside {
8152 background-color: #636f07;
8153 color: #fefefe;
8154 width: 230px;
8155 position: fixed;
8156 display: block;
8157 transition: all 0.3s ease-in-out;
8158 outline: none;
8159 font-size: 10pt;
8160 z-index: 100;
8161 top: 0;
8162 left: 0;
8163 height: 100%;
8164 padding-top: 65px;
8165 /**
8166 * Navigation menu
8167 */
8168}
8169aside > div {
8170 overflow-y: auto;
8171 overflow-x: visible;
8172 max-height: 100%;
8173}
8174aside > * {
8175 opacity: 1;
8176}
8177aside::after {
8178 font-family: "FontAwesome";
8179 white-space: nowrap;
8180 position: absolute;
8181 display: block;
8182 opacity: 0;
8183 cursor: pointer;
8184 right: 0;
8185 bottom: 0;
8186 content: "";
8187 font-size: 16pt;
8188 width: 16pt;
8189 height: 17pt;
8190 padding: 6pt;
8191 background-color: #636f07;
8192 border-top-right-radius: 6px;
8193 margin-right: -20px;
8194}
8195aside h2,
8196aside legend {
8197 line-height: 2em;
8198 text-align: center;
8199 padding: 0;
8200 margin: 0;
8201 font-size: 100%;
8202 font-weight: bold;
8203}
8204aside ul.nav {
8205 list-style-type: none;
8206 margin: 0;
8207 font-size: 10pt;
8208 text-indent: 0;
8209 padding: 0;
8210}
8211aside ul.nav li {
8212 padding: 0;
8213}
8214aside ul.nav li > a {
8215 padding: 3pt 6pt;
8216}
8217aside ul.nav li > a:visited {
8218 color: #616263;
8219 background-color: #d9dadb;
8220 border-color: #87888a;
8221 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
8222}
8223aside ul.nav li.folded.active ul {
8224 display: block;
8225}
8226aside ul.nav li.folded ul {
8227 display: none;
8228}
8229aside ul.nav li.active > a:link {
8230 color: #636f07;
8231 background-color: #9bad0b;
8232 border-color: #636f07;
8233 text-shadow: none;
8234}
8235aside ul.nav li > a:link {
8236 color: #616263;
8237 background-color: #d9dadb;
8238 border-color: #87888a;
8239 text-shadow: 1px 1px rgba(255, 255, 255, 0.5);
8240 display: block;
8241 border-right-width: 2px;
8242 border-right-style: solid;
8243}
8244aside ul.nav li > a:link:hover {
8245 color: #fefefe;
8246 background-color: #f6a800;
8247 border-color: #ff8000;
8248 text-shadow: none;
8249 transition: none;
8250}
8251aside ul.nav li h3 {
8252 padding: 0;
8253 margin: 0;
8254 font-weight: bold;
8255 font-size: 100%;
8256}
8257aside ul.nav li > a {
8258 padding-left: 6pt;
8259}
8260aside ul.nav li li > a {
8261 padding-left: 18pt;
8262}
8263aside ul.nav li li li > a {
8264 padding-left: 36pt;
8265}
8266aside nav > ul > li > a {
8267 font-weight: bold;
8268}
8269aside fieldset {
8270 position: relative;
8271 border-width: 0;
8272}
8273aside fieldset legend {
8274 display: none;
8275}
8276aside fieldset input[type=text],
8277aside fieldset input[type=password] {
8278 outline: none;
8279 font-size: 11pt;
8280 border: 2px solid #fefefe;
8281 padding: 2px;
8282 margin: 0;
8283 width: 100%;
8284}
8285aside fieldset > form > div {
8286 position: relative;
8287 width: 100%;
8288 margin-top: 4px;
8289 padding-right: 30px;
8290}
8291aside fieldset > p {
8292 color: #9bad0b;
8293}
8294aside fieldset > p.announcement {
8295 color: #fefefe;
8296}
8297aside fieldset > p.announcement > time {
8298 display: block;
8299 font-size: 70%;
8300}
8301aside fieldset hr {
8302 border: none;
8303 border-top: 2px solid #d9dadb;
8304}
8305aside fieldset ul {
8306 display: block;
8307 font-size: 80%;
8308 text-align: right;
8309 padding: 0;
8310 margin-top: 0;
8311}
8312aside fieldset ul > li {
8313 display: inline;
8314}
8315aside fieldset ul > li:first-child::after {
8316 content: " | ";
8317}
8318aside fieldset button {
8319 position: absolute;
8320 top: 0;
8321 right: 0;
8322}
8323aside fieldset button::after {
8324 content: "";
8325}
8326aside.off, aside:not(:focus):not(.active) {
8327 margin-left: -210px;
8328}
8329aside.off::after, aside:not(:focus):not(.active)::after {
8330 opacity: 1;
8331}
8332aside.off > *, aside:not(:focus):not(.active) > * {
8333 opacity: 0;
8334 transition-property: opacity;
8335 transition-duration: 0.3s;
8336}
8337aside.off::after {
8338 display: none;
8339}
8340
8341/**
8342 * Some colors and shadow definitions
8343 * for Kalamar,
8344 */
8345/**
8346 * Official IDS colors
8347 */
8348/**
8349 * Orange Colors
8350 */
8351/**
8352 * Green Colors
8353 */
8354/**
8355 * Blue Colors
8356 */
8357/**
8358 * Grey Colors
8359 */
8360/**
8361 * Red Colors (no IDS relation)
8362 */
8363/**
8364 * Basic shadows
8365 */
8366/**
8367 * KWIC colors
8368 */
8369/**
8370 * Font Awesome symbol table.
8371 */
8372/**
8373 * Some colors and shadow definitions
8374 * for Kalamar,
8375 */
8376/**
8377 * Official IDS colors
8378 */
8379/**
8380 * Orange Colors
8381 */
8382/**
8383 * Green Colors
8384 */
8385/**
8386 * Blue Colors
8387 */
8388/**
8389 * Grey Colors
8390 */
8391/**
8392 * Red Colors (no IDS relation)
8393 */
8394/**
8395 * Basic shadows
8396 */
8397/**
8398 * KWIC colors
8399 */
8400/**
8401 * Mixin for blind elements
8402 * (e.g., spans in elements with an icon background)
8403 */
8404/**
8405 * Mixin for basic color transition
8406 */
8407/**
8408 * Mixing for basic text padding
8409 */
8410/**
8411 * Mixing for icon fonts
8412 */
8413/**
8414 * Mixing for correct box sizing (probably not necessary)
8415 * DEPRECATED
8416 */
8417/**
8418 * Some colors and shadow definitions
8419 * for Kalamar,
8420 */
8421/**
8422 * Official IDS colors
8423 */
8424/**
8425 * Orange Colors
8426 */
8427/**
8428 * Green Colors
8429 */
8430/**
8431 * Blue Colors
8432 */
8433/**
8434 * Grey Colors
8435 */
8436/**
8437 * Red Colors (no IDS relation)
8438 */
8439/**
8440 * Basic shadows
8441 */
8442/**
8443 * KWIC colors
8444 */
8445/**
8446 * Some color definitions and mixins for
8447 * buttons and menus.
8448 */
8449/**
8450 * Chooseable items (default)
8451 */
8452/**
8453 * Chooseable items (mouse over)
8454 */
8455/**
8456 * Chooseable items (not available)
8457 */
8458/**
8459 * Chooseable items (active)
8460 */
8461/**
8462 * Chooseable items (action: remove something)
8463 */
8464/*
8465 * Defined lengths and sizes for the
8466 * Kalamar layout.
8467 */
8468/**
8469 * Margins
8470 */
8471/**
8472 * Path information - relative to css!
8473 */
8474/**
8475 * Optimization for no-js behaviour
8476 */
8477body.no-js #notifications {
8478 display: block !important;
8479}
8480body.no-js aside {
8481 position: relative;
8482 display: block;
8483 transition: none;
8484 margin-left: 0 !important;
8485 padding-top: 0;
8486 width: 100%;
8487 top: 0;
8488}
8489body.no-js aside > * {
8490 opacity: 1 !important;
8491 transition: none;
8492}
8493body.no-js aside form.login > input,
8494body.no-js aside form.login > div {
8495 width: auto;
8496 margin-top: 0;
8497}
8498body.no-js aside form.login > input:first-of-type,
8499body.no-js aside form.login > div:first-of-type {
8500 float: left;
8501 margin-right: 1em;
8502}
8503body.no-js aside form.login button {
8504 height: 100%;
8505}
8506body.no-js aside p, body.no-js aside::after {
8507 display: none;
8508}
8509body.no-js main div.intro {
8510 margin-left: 8px !important;
8511}
8512
8513#activate {
8514 text-align: right;
8515 background-color: #f6a800;
8516 margin-top: 0;
8517 padding: 8px;
8518 padding-right: 40px;
8519 color: #fefefe;
8520 font-size: 80%;
8521}
8522
8523/**
8524 * Some colors and shadow definitions
8525 * for Kalamar,
8526 */
8527/**
8528 * Official IDS colors
8529 */
8530/**
8531 * Orange Colors
8532 */
8533/**
8534 * Green Colors
8535 */
8536/**
8537 * Blue Colors
8538 */
8539/**
8540 * Grey Colors
8541 */
8542/**
8543 * Red Colors (no IDS relation)
8544 */
8545/**
8546 * Basic shadows
8547 */
8548/**
8549 * KWIC colors
8550 */
8551/**
8552 * Font Awesome symbol table.
8553 */
8554/**
8555 * Some colors and shadow definitions
8556 * for Kalamar,
8557 */
8558/**
8559 * Official IDS colors
8560 */
8561/**
8562 * Orange Colors
8563 */
8564/**
8565 * Green Colors
8566 */
8567/**
8568 * Blue Colors
8569 */
8570/**
8571 * Grey Colors
8572 */
8573/**
8574 * Red Colors (no IDS relation)
8575 */
8576/**
8577 * Basic shadows
8578 */
8579/**
8580 * KWIC colors
8581 */
8582/**
8583 * Mixin for blind elements
8584 * (e.g., spans in elements with an icon background)
8585 */
8586/**
8587 * Mixin for basic color transition
8588 */
8589/**
8590 * Mixing for basic text padding
8591 */
8592/**
8593 * Mixing for icon fonts
8594 */
8595/**
8596 * Mixing for correct box sizing (probably not necessary)
8597 * DEPRECATED
8598 */
8599/**
8600 * Some colors and shadow definitions
8601 * for Kalamar,
8602 */
8603/**
8604 * Official IDS colors
8605 */
8606/**
8607 * Orange Colors
8608 */
8609/**
8610 * Green Colors
8611 */
8612/**
8613 * Blue Colors
8614 */
8615/**
8616 * Grey Colors
8617 */
8618/**
8619 * Red Colors (no IDS relation)
8620 */
8621/**
8622 * Basic shadows
8623 */
8624/**
8625 * KWIC colors
8626 */
8627/**
8628 * Some color definitions and mixins for
8629 * buttons and menus.
8630 */
8631/**
8632 * Chooseable items (default)
8633 */
8634/**
8635 * Chooseable items (mouse over)
8636 */
8637/**
8638 * Chooseable items (not available)
8639 */
8640/**
8641 * Chooseable items (active)
8642 */
8643/**
8644 * Chooseable items (action: remove something)
8645 */
8646/*
8647 * Defined lengths and sizes for the
8648 * Kalamar layout.
8649 */
8650/**
8651 * Margins
8652 */
8653/**
8654 * Path information - relative to css!
8655 */
8656/**
8657 * Media rules for different screen sizes.
8658 * This will override some basic rules.
8659 */
8660@media all and (max-width: 42.5em) {
8661 body,
8662#search > ol,
8663#search div.snippet > span,
8664header,
8665header input,
8666div#resultinfo,
8667#pagination > a {
8668 font-size: 9pt;
8669 }
8670
8671 header {
8672 padding-right: 8px;
8673 }
8674
8675 header form {
8676 padding-left: 0;
8677 padding-top: 33px;
8678 }
8679
8680 .vc {
8681 font-size: 9pt;
8682 }
8683 .vc .builder .doc {
8684 padding-left: 3em;
8685 }
8686 .vc .builder * .docGroup {
8687 margin-left: 3em;
8688 }
8689 .vc .builder > .doc {
8690 padding-left: 0.5em;
8691 }
8692 .vc .builder > .docGroup {
8693 margin-left: 0.5em;
8694 }
8695
8696 h1 {
8697 margin-left: 0px;
8698 width: 130px;
8699 height: 40px;
8700 background-size: 100%;
8701 background-position: 50% 0;
8702 z-index: 110;
8703 position: absolute !important;
8704 }
8705
8706 #searchbar {
8707 padding-right: 30px;
8708 margin-top: 0;
8709 }
8710 #searchbar input {
8711 font-size: 9pt;
8712 }
8713 #searchbar button[type=submit] {
8714 right: 0;
8715 }
8716
8717 .level-1 {
8718 padding-bottom: 2px;
8719 }
8720
8721 .level-2 {
8722 padding-bottom: 4px;
8723 }
8724
8725 main {
8726 margin-left: 4px;
8727 margin-right: 4px;
8728 }
8729
8730 header .button {
8731 margin-right: 4px;
8732 }
8733 header .button.top {
8734 height: auto;
8735 }
8736
8737 #search ol > li:target > div > div.snippet, #search ol > li.active > div > div.snippet {
8738 margin: 2px 2em 2px 4px;
8739 }
8740 #search ol > li div.meta {
8741 display: none;
8742 }
8743
8744 div.matchinfo {
8745 font-size: 9pt;
8746 }
8747
8748 div.matchtable tr > * {
8749 padding: 1pt 3pt;
8750 }
8751
8752 div.matchtree h6 {
8753 display: block;
8754 float: none;
8755 }
8756 div.matchtree > div {
8757 margin-left: 2px;
8758 }
8759
8760 #logos {
8761 margin-left: 0;
8762 margin-right: 0;
8763 }
8764 #logos > div {
8765 border-top-width: 14px;
8766 padding-right: 0;
8767 }
8768 #logos > div .logo > * {
8769 background-size: 60%;
8770 background-position: 0 0;
8771 }
8772
8773 div.intro {
8774 width: 100%;
8775 }
8776
8777 body.embedded aside > div {
8778 top: 0;
8779 transform: translateY(0);
8780 }
8781
8782 aside:not(:focus):not(.active) {
8783 margin-left: -230px;
8784 }
8785 aside:not(:focus):not(.active)::after {
8786 font-size: 12pt;
8787 height: 11pt;
8788 text-align: right;
8789 padding-right: 3pt;
8790 padding-top: 2pt;
8791 }
8792 aside ul {
8793 font-size: 9pt;
8794 line-height: 1em;
8795 }
8796 aside.active ~ main div.intro, aside.active ~ main.page {
8797 margin-left: 4px !important;
8798 }
8799 aside.active {
8800 position: relative;
8801 display: block;
8802 padding-top: 0;
8803 width: 100%;
8804 top: 0;
8805 border-width: 0;
8806 }
8807 aside.active fieldset input {
8808 font-size: 9pt;
8809 }
8810 aside.active::after {
8811 display: none;
8812 }
8813 aside.active p, aside.active hr {
8814 display: none;
8815 }
8816
8817 #tutorial {
8818 border-radius: 0;
8819 border-width: 0;
8820 right: 0;
8821 left: 0;
8822 bottom: 0;
8823 top: 0;
8824 padding: 0;
8825 }
8826 #tutorial iframe {
8827 border-radius: 0;
8828 }
8829 #tutorial > ul.action.right {
8830 height: 1.5em;
8831 right: 20px;
8832 border-bottom-left-radius: 5px;
8833 border-bottom-right-radius: 5px;
8834 }
8835
8836 main.page {
8837 margin-right: 20px;
8838 }
8839
8840 footer {
8841 padding-left: 0 !important;
8842 }
8843}
8844@media print {
8845 body, html, select, g > text {
8846 color: black;
8847 }
8848
8849 header, aside {
8850 display: none;
8851 }
8852
8853 main.page {
8854 margin: 1em;
8855 }
8856
8857 a.embedded-link {
8858 color: black;
8859 text-decoration: underline;
8860 }
8861
8862 pre.query.tutorial {
8863 background-color: white;
8864 color: black;
8865 margin-left: 1em;
8866 margin-right: 1em;
8867 }
8868
8869 blockquote.warning {
8870 background-color: grey;
8871 color: white;
8872 border-left-color: black;
8873 border-left-width: 1em;
8874 }
8875}
8876
8877/*# sourceMappingURL=kalamar-0.41.5.css.map */