56 |
display: inline; |
display: inline; |
57 |
border: 2px solid #ffcc88; |
border: 2px solid #ffcc88; |
58 |
float: right; |
float: right; |
59 |
z-index: 10; |
font-size: 80%; |
60 |
} |
} |
61 |
|
|
62 |
/* define editors */ |
/* define editors */ |
68 |
padding: 1em; |
padding: 1em; |
69 |
} |
} |
70 |
|
|
71 |
|
/* |
72 |
#div_template, #div_css { |
#div_template, #div_css { |
73 |
position: relative; |
position: relative; |
74 |
display: block; |
display: block; |
75 |
clear: left; |
clear: left; |
76 |
} |
} |
77 |
|
*/ |
78 |
|
|
79 |
/* bar with buttons and status */ |
/* bar with buttons and status */ |
80 |
.edit_bar { |
.edit_bar { |