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;
170 .htmlview .active[x-editable] {
171 background-color: #FAFAFA;
172 border: 1px solid #DDD;
173 /* -webkit-transition: all 1s linear;*/
177 background-color: black;
195 background-color: #FFFF69;
197 border: 1px solid black;
199 -moz-border-radius: 15px;
203 font-size:12px; float:right;
211 #objects-editor, #motifs-editor {
213 flex-direction: column;
221 #source-editor .CodeMirror-wrap pre.CodeMirror-line,
222 #source-editor .CodeMirror-wrap pre.CodeMirror-line-like {