9 flex-direction: column;
33 font: 12px Sans, Helvetica, Verdana, sans-serif;
38 #objects-list .delete {
40 font: 10px Sans, Helvetica, Verdana, sans-serif;
42 #objects-list .delete:hover {
46 #objects-list .active {
51 #editor.readonly .editor {
60 background-color: #E1C1C1;
62 #header.saving #save-button {
69 .saving #save-attempt-info {
76 background-color: #E1C1C1;
78 #header.out-of-date #save-button {
85 .out-of-date #out-of-date-info {
93 background-color: #FFF;
113 #loading-message img {
125 flex-direction: column;
127 #source-editor .CodeMirror {
131 .CodeMirror-line-numbers {
137 border-right: 1px solid black;
138 background-color: #e6e6fa;
141 .CodeMirror-line-numbers div {
143 font-family:"Lucida Console", monospace;
153 vertical-align: middle;
154 vertical-align: text-bottom;
163 flex-direction: column;
167 #simple-editor #bubbles {
172 #simple-editor #bubbles .badge {
181 .htmlview .active[x-editable] {
182 background-color: #FAFAFA;
183 border: 1px solid #DDD;
184 /* -webkit-transition: all 1s linear;*/
188 background-color: black;
201 background-color: #FFFF69;
203 border: 1px solid black;
205 -moz-border-radius: 15px;
209 font-size:12px; float:right;
217 #objects-editor, #motifs-editor {
219 flex-direction: column;
227 #source-editor .CodeMirror-wrap pre.CodeMirror-line,
228 #source-editor .CodeMirror-wrap pre.CodeMirror-line-like {