images
5 years ago
code_manager.css
5 years ago
code_manager_global.css
5 years ago
code_manager_settings.css
5 years ago
code_manager_tabmode.css
5 years ago
jquery-ui.min.css
5 years ago
code_manager_tabmode.css
45 lines
| 1 | #code_manager_open_frame { |
| 2 | border-top: 1px solid #ddd; |
| 3 | margin-top: 10px; |
| 4 | border-bottom: 1px solid #ddd; |
| 5 | margin-bottom: 10px; |
| 6 | padding: 10px; |
| 7 | background-color: #ddd; |
| 8 | } |
| 9 | .CodeMirror { |
| 10 | border: 1px solid #ddd; |
| 11 | height: auto; |
| 12 | } |
| 13 | .tab_task_bar { |
| 14 | background-color: #ddd; |
| 15 | padding: 10px; |
| 16 | } |
| 17 | .icon_close { |
| 18 | margin-left: 8px; |
| 19 | cursor: pointer; |
| 20 | color: gray; |
| 21 | font-size: 110%; |
| 22 | padding-top: 4px; |
| 23 | width: 14px; |
| 24 | } |
| 25 | .icon_close:hover { |
| 26 | color: dimgray; |
| 27 | } |
| 28 | .tab_preview { |
| 29 | height: 600px; |
| 30 | resize: vertical; |
| 31 | overflow: auto; |
| 32 | } |
| 33 | .iframe_preview { |
| 34 | width: 100%; |
| 35 | height: 100%; |
| 36 | } |
| 37 | .non-active { |
| 38 | pointer-events: none; |
| 39 | cursor: default; |
| 40 | text-decoration: none; |
| 41 | } |
| 42 | .tab_unsaved_changes { |
| 43 | color: red !important; |
| 44 | } |
| 45 |