]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.debug.browser/resources/css/rawStatements.css
Playground for Antti.
[simantics/platform.git] / bundles / org.simantics.debug.browser / resources / css / rawStatements.css
1 body {
2         background-color: white;
3         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
4 }
5
6 #rawStatementContent {
7         font-size: 80%;
8 }
9
10 h2 {
11         background-color: steelblue;
12         color: white;
13         padding: 1px 1ex 1px 1ex;
14         border: darkslategray 3px solid;
15         font-size: medium;
16         font-variant: small-caps;
17 }
18
19 #top {
20         padding: 5px 5px 5px 5px;
21         margin: 0px 0px 10px 0px;
22 }
23
24 #uri {
25         font-family: Consolas, monospace;
26 }
27
28 #resource_id {
29         font-size: larger;
30         font-family: Consolas, monospace;
31 }
32
33 #resourceInfoContent {
34         font-size: medium;
35 }
36
37 #attachedValue {
38         background-color: powderblue;
39         padding: 0px 1ex 0px 1ex;
40         border: #9f9f9f 1px solid;
41 }
42
43 #immutable {
44         background-color: indianred;
45         color: white;
46         padding: 0px 1ex 0px 1ex;
47         margin-left: 2px;
48         border: #9f9f9f 1px solid;
49 }
50
51 blockquote {
52         border: black 1px solid;
53         padding: 2px 5px 2px 5px;
54         background-color: #f8f8f8;
55         font-family: Consolas, monospace;
56 }
57
58 h4 {
59         font-size: small;
60         font-weight: bold;
61         font-variant: normal;
62 }
63
64 table {
65         font-size: small;
66 }
67
68 td {
69         background-color: #fdfdc8;
70         color: black;
71         border: #9f9f9f 1px solid;
72         padding: 2px 5px 2px 5px;
73         vertical-align: text-top;
74 }
75
76 th {
77         font-size: small;
78         font-weight: normal;
79         background-color: #30804f;
80         color: white;
81         border: #b0b0b0 1px solid;
82         padding: 5px 5px 5px 5px;
83 }
84
85 .monospaced, a.monospaced {
86         font-family: 'Consolas', 'Courier', 'monospace';
87 }
88
89
90 a:visited {
91         color: blue;
92 }
93
94 .resourceType, .resourceType a {
95         color: gray;
96 }
97
98
99 .border {
100         padding: 5px 5px 5px 5px;
101         border-bottom: black 1px solid;
102 }
103
104 table.top {
105         background-color: #ffffff;
106         border: #d0d0d0 0px solid;
107 }
108
109 td.top_key {
110         background-color: #ffffff;
111         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
112         border: #e0e0e0 0px solid;
113         color: #3f3f3f;
114         padding-right: 24px;
115 }
116
117 td.top_value {
118         border: #cfcfcf 1px solid;
119         color: #3f3f3f;
120         background-color: #fdfdfd;
121         padding: 5px 10px 5px 10px;
122 }
123
124 td.asserted
125 {
126         background-color: #ffd0b6;
127 }
128
129 td.subtitle
130 {
131         background-color: #5898ef;
132         color: white;
133         border: #9f9f9f 1px solid;
134 }
135
136 td.remove
137 {
138     background-color: #ffd0d0;
139 }
140
141 td.empty
142 {
143         background-color: White;
144 }
145
146 .edit-link
147 {
148         font-size: xx-small;
149 }
150
151
152 /* ------------------
153  Copied from workbench search CSS.
154  */
155
156 input#search {
157     font-size: smaller;
158     background-color: #f8fffa;
159     margin-left: auto;
160     margin-right: auto;
161     margin-top: 1ex;
162     margin-bottom: 0ex;
163     padding: 5pt;
164     -moz-box-sizing: border-box;
165     box-sizing: border-box;
166     width: 100%;
167 }
168
169 hr {
170     border: 0;
171     width: 100%;
172     background-color: #cacaca;
173     height: 1px;
174 }
175
176 .dataTables_filter {
177     float: right;
178     text-align: right;
179 }
180
181 ol {
182     list-style-type: none;
183     padding-left: 0;
184     margin-left: 0;
185 }
186
187 li {
188     padding-left: 0;
189     margin-left: 0;
190 }
191
192 div.result {
193     margin: 1ex;
194     border: 1px solid #f4f4f4;
195     padding: 1ex;
196 }
197
198 div.result:hover {
199     background-color: #fafafa;
200 }
201
202 .small {
203     font-size: x-small;
204 }
205
206 .emph:hover {
207     background-color: #d0d0d0;
208 }
209
210 .small:hover {
211     background-color: #e0e0e0;
212 }
213
214 .result:hover {
215     background-color: #dadada;
216 }
217
218 .ui-tabs {
219    font-size: x-small;
220 }
221
222 table.tablesorter .css_right {
223         float: right;
224         text-align: right;
225 }
226
227 .dataTables_length {
228     float: left;
229 }
230
231 div.dataTables_wrapper .ui-widget-header {
232     font-weight: normal;
233     font-size: small;
234 }
235
236 .dataTables_wrapper .ui-toolbar {
237     padding: 5px;
238 }
239
240 .dataTables_info {
241     float: left;
242     padding: 3px 0px;
243 }
244
245 .dataTables_paginate {
246     float: right;
247     text-align: right;
248 }
249
250 .dataTables_paginate .ui-button {
251         margin-right: -0.1em !important;
252 }
253
254 .paging_full_numbers .ui-button {
255         padding: 2px 6px;
256         margin: 0;
257         cursor: pointer;
258         * cursor: hand;
259         color: #333 !important;
260 }