]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.workbench.search/search/base/jquery.ui.core.css
Add RollingFileAppender to default logback configuration
[simantics/platform.git] / bundles / org.simantics.workbench.search / search / base / jquery.ui.core.css
1 /*!
2  * jQuery UI CSS Framework 1.10.3
3  * http://jqueryui.com
4  *
5  * Copyright 2013 jQuery Foundation and other contributors
6  * Released under the MIT license.
7  * http://jquery.org/license
8  *
9  * http://docs.jquery.com/UI/Theming/API
10  */
11
12 /* Layout helpers
13 ----------------------------------*/
14 .ui-helper-hidden {
15         display: none;
16 }
17 .ui-helper-hidden-accessible {
18         border: 0;
19         clip: rect(0 0 0 0);
20         height: 1px;
21         margin: -1px;
22         overflow: hidden;
23         padding: 0;
24         position: absolute;
25         width: 1px;
26 }
27 .ui-helper-reset {
28         margin: 0;
29         padding: 0;
30         border: 0;
31         outline: 0;
32         line-height: 1.3;
33         text-decoration: none;
34         font-size: 100%;
35         list-style: none;
36 }
37 .ui-helper-clearfix:before,
38 .ui-helper-clearfix:after {
39         content: "";
40         display: table;
41         border-collapse: collapse;
42 }
43 .ui-helper-clearfix:after {
44         clear: both;
45 }
46 .ui-helper-clearfix {
47         min-height: 0; /* support: IE7 */
48 }
49 .ui-helper-zfix {
50         width: 100%;
51         height: 100%;
52         top: 0;
53         left: 0;
54         position: absolute;
55         opacity: 0;
56         filter:Alpha(Opacity=0);
57 }
58
59 .ui-front {
60         z-index: 100;
61 }
62
63
64 /* Interaction Cues
65 ----------------------------------*/
66 .ui-state-disabled {
67         cursor: default !important;
68 }
69
70
71 /* Icons
72 ----------------------------------*/
73
74 /* states and images */
75 .ui-icon {
76         display: block;
77         text-indent: -99999px;
78         overflow: hidden;
79         background-repeat: no-repeat;
80 }
81
82
83 /* Misc visuals
84 ----------------------------------*/
85
86 /* Overlays */
87 .ui-widget-overlay {
88         position: fixed;
89         top: 0;
90         left: 0;
91         width: 100%;
92         height: 100%;
93 }