]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.debug.ui/css/debugger.css
Fixed moving elements up/down on diagram
[simantics/platform.git] / bundles / org.simantics.debug.ui / css / debugger.css
1 #mainContent {
2         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
3         font-size: 80%;
4 }
5
6 h2 {
7         background-color: steelblue;
8         color: white;
9         padding: 1px 1ex 1px 1ex;
10         border: darkslategray 3px solid;
11         font-size: medium;
12         font-variant: small-caps;
13 }
14
15 #top {
16         padding: 5px 5px 5px 5px;
17         margin: 0px 0px 10px 0px;
18 }
19
20 #uri {
21         font-family: Consolas, monospace;
22 }
23
24 #resource_id {
25         font-size: larger;
26         font-family: Consolas, monospace;
27 }
28
29 blockquote {
30         border: black 1px solid;
31         padding: 2px 5px 2px 5px;
32         spacing: 0px 0px 0px 0px;
33         background-color: #f8f8f8;
34         font-family: Consolas, monospace;
35 }
36
37 h4 {
38         font-size: small;
39         font-weight: bold;
40         font-variant: normal;
41 }
42
43 table {
44         font-size: x-small;
45 }
46
47 td {
48         background-color: #fdfdc8;
49         color: black;
50         border: #9f9f9f 1px solid;
51         padding: 2px 5px 2px 5px;
52 }
53
54 th {
55         font-size: small;
56         font-weight: normal;
57         background-color: #30804f;
58         color: white;
59         border: #b0b0b0 1px solid;
60         padding: 5px 5px 5px 5px;
61 }
62
63 .monospaced {
64         font-family: 'Consolas', 'Courier', 'monospace';
65 }
66
67 .border {
68         padding: 5px 5px 5px 5px;
69         border-bottom: black 1px solid;
70 }
71
72 table.top {
73         background-color: #ffffff;
74         border: #d0d0d0 0px solid;
75 }
76
77 td.top_key {
78         background-color: #ffffff;
79         font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
80         border: #e0e0e0 0px solid;
81         color: #3f3f3f;
82         padding-right: 24px;
83 }
84
85 td.top_value {
86         border: #cfcfcf 1px solid;
87         color: #3f3f3f;
88         background-color: #fdfdfd;
89         padding: 5px 10px 5px 10px;
90 }
91
92 td.acquired 
93 {
94         background-color: #ff9999;
95         color: Gray;
96 }
97
98 td.subtitle
99 {
100         background-color: #5898ef;
101         color: white;
102         border: #9f9f9f 1px solid;
103 }
104
105 td.remove
106 {
107     background-color: #ffd0d0;
108 }
109
110 td.empty
111 {
112         background-color: White;
113 }
114
115 .edit-link
116 {
117         font-size: xx-small;
118 }