-
Notifications
You must be signed in to change notification settings - Fork 29
Expand file tree
/
Copy pathgo-to-line.css
More file actions
81 lines (71 loc) · 1.74 KB
/
go-to-line.css
File metadata and controls
81 lines (71 loc) · 1.74 KB
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
@keyframes code-input_go-to-line_roll-in {
0% {
opacity: 0;
transform: translateY(-34px);
}
100% {
opacity: 1;
transform: translateY(0px);
}
}
.code-input_go-to-line_dialog {
position: absolute;
top: 0; right: 14px;
padding: 6px;
padding-top: 8px;
border: solid 1px #00000044;
background-color: white;
border-radius: 6px;
box-shadow: 0 .2em 1em .2em rgba(0, 0, 0, 0.16);
}
.code-input_go-to-line_dialog:not(.code-input_go-to-line_hidden-dialog) {
animation: code-input_go-to-line_roll-in .2s;
display: block;
}
.code-input_go-to-line_dialog.code-input_go-to-line_hidden-dialog {
display: none;
}
.code-input_go-to-line_dialog input::placeholder {
font-size: 80%;
}
.code-input_go-to-line_dialog input {
position: relative;
width: 240px; height: 32px; top: -3px;
font-size: large;
color: #000000aa;
caret-color: currentColor; /* Don't inherit from the code-input element. */
border: 0;
}
.code-input_go-to-line_dialog input.code-input_go-to-line_error {
color: #b60000;
}
/* Cancel icon */
.code-input_go-to-line_dialog span {
display: inline-block;
width: 24px;
line-height: 24px;
font-family: system-ui;
font-size: 22px;
font-weight: 500;
text-align: center;
border-radius: 50%;
color: black;
opacity: 0.6;
vertical-align: top;
}
.code-input_go-to-line_dialog span:before {
content: "\00d7";
}
.code-input_go-to-line_dialog span:hover {
opacity: .8;
background-color: #00000018;
}
/* For backwards compatibility, p element on the same level as buttons rather than
buttons being nested inside other element like in FindAndReplace. */
.code-input_go-to-line_dialog p {
font-family: monospace;
width: 264px;
margin: 0;
overflow: hidden;
white-space: wrap;
}