textitor/gadget_codemirror.css at master · frequent/textitor · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
body {
  position: absolute;
  padding: 0;
  margin: 0;
  height: 100%;
  width: 100%;
  overflow: hidden;
}
.main-editor {
  display: block;
  position: relative;
  width: 100%;
  height: 100%;
}

/* trailing space */
.cm-trailingspace {
  background-color: #ee0000;
  background-color: rgba(255, 0, 0, 0.8);
}

/* line numbers */
.CodeMirror-gutters .CodeMirror-gutter.CodeMirror-linenumbers {
  width: 29px !important;
}
.CodeMirror-dialog form {
  display: inline-block;
}

/* file menu */
.CodeMirror .custom-file-menu-row {
  position: relative;
}
.CodeMirror .custom-file-menu-checkbox-overlay {
  position: absolute;
  left: 0;
  right: 0;
  top: 0;
  width: 100%;
  background: white;
  pointer-events: none;
  cursor: pointer;
}
.CodeMirror .custom-file-menu-row > input:first-child {
  width: 100%;
}
.CodeMirror .custom-file-menu-row > input:first-child:checked + span {
  font-weight: bold;
}

.CodeMirror .custom-invalid::-webkit-input-placeholder {
  color: #ee0000;
}
.CodeMirror .custom-invalid::-moz-placeholder {
  color: #ee0000;
}
.CodeMirror .custom-invalid:-ms-input-placeholder {
  color: #ee0000;
}
.CodeMirror .custom-invalid:-moz-placeholder {
  color: #ee0000;
}
/* placeholder */
.CodeMirror .CodeMirror-placeholder {
  color: #3E7087;
}
/* save hint */
.CodeMirror-gutters:before {
    display: none;
    content: "Save";
    position: fixed;
    padding-top: 4px;
}
.CodeMirror.custom-set-modified .CodeMirror-gutters:before {
  display: block;
}

/* current file name */
.CodeMirror .CodeMirror-dialog-bottom {
  background: none;
  border: 0 none;
  text-align: center;
  font-style: italic;
  color: #fff; /* #3E7087; */
}

/* empty folder */
.CodeMirror .custom-file-menu-empty-folder {
  opacity: .25;
}