6 background-color:#88a3bc;
9 border-bottom-width: 5px;
10 border-bottom-style: solid;
11 border-bottom-color: #88a3bc;
14 border-top-width: 5px;
15 border-top-style: solid;
16 border-top-color: #88a3bc;
19 border-top-width: 5px;
20 border-top-style: solid;
21 border-top-color: red;
22 border-bottom-width: 5px;
23 border-bottom-style: solid;
24 border-bottom-color: red;
27 border-top-width: 5px;
28 border-top-style: solid;
29 border-top-color: #ABF4EB;
30 border-bottom-width: 5px;
31 border-bottom-style: solid;
32 border-bottom-color: #ABF4EB;
35 border-top-width: 5px;
36 border-top-style: solid;
37 border-top-color: #EEA9FF;
38 border-bottom-width: 5px;
39 border-bottom-style: solid;
40 border-bottom-color: #EEA9FF;
43 #left-tree-view indent {
46 #left-tree-view indent:nth-last-child(2) {
49 #left-tree-view cell {
63 #leftprops-view dropdown button {
67 #leftprops-view cell dropdown label {
72 #leftprops-view cell {
77 #leftprops-view cell label,
78 #leftprops-view cell editablelable {
83 #compile-results-view {
84 font: 10px monospace ;
87 #gtkview-search-entry {
88 font: 10px monospace ;
90 #gtkview-view-layout {
91 background-color: #ccc;
94 background-color: #ccc;
98 #editor-navigation indent {
104 #editor-navigation cell {
109 #editor-navigation .selected-row {
110 background-color:#88a3bc;
113 .lang-class-symbolic {
117 .lang-method-symbolic,
118 .lang-function-symbolic {
124 .lang-struct-field-symbolic {
130 margin: 0px 0px 0px 0px;
135 background-image: none;
136 background-color: #eee;
142 background-color: #eee;
144 padding: 5px 5px 5px 5px;
145 margin: 0px 0px 0px 0px;