-
Notifications
You must be signed in to change notification settings - Fork 184
/
popups.css
88 lines (88 loc) · 1.85 KB
/
popups.css
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
.lsp_popup {
margin: 0.5rem 0.5rem 0 0.5rem;
font-family: system;
}
.lsp_popup--spacer {
margin-top: 0.5rem;
}
.lsp_popup hr {
margin-top: 0.5rem;
margin-bottom: 0.5rem;
border-color: color(var(--foreground) alpha(0.10));
}
.lsp_popup h1,
.lsp_popup h2,
.lsp_popup h3,
.lsp_popup h4,
.lsp_popup h5,
.lsp_popup h6 {
font-size: 1rem;
}
.lsp_popup kbd {
font-size: 0.8rem;
line-height: 0.8rem;
color: var(--mdpopups-fg);
background-color: color(var(--mdpopups-bg) lightness(+ 5%));
border-color: color(var(--mdpopups-fg) alpha(0.25));
}
.highlight {
border-width: 0;
border-radius: 0;
}
.color-muted {
color: color(var(--foreground) alpha(0.6));
}
.diagnostics {
margin-bottom: 0.5rem;
font-family: var(--mdpopups-font-mono);
}
.errors {
border-width: 0;
background-color: color(var(--redish) alpha(0.25));
color: var(--foreground);
padding: 0.5rem;
white-space: pre-wrap;
}
.warnings {
border-width: 0;
background-color: color(var(--yellowish) alpha(0.25));
color: var(--foreground);
padding: 0.5rem;
}
.info {
border-width: 0;
background-color: color(var(--bluish) alpha(0.25));
color: var(--foreground);
padding: 0.5rem;
}
.hints {
border-width: 0;
background-color: color(var(--bluish) alpha(0.25));
color: var(--foreground);
padding: 0.5rem;
}
.actions {
font-family: system;
border-width: 0;
background-color: color(var(--foreground) alpha(0.1));
color: var(--foreground);
padding: 0.5rem;
}
.actions .lightbulb {
padding-right: 0.3rem;
}
.actions .lightbulb img {
width: 0.9em;
height: 0.9em;
}
.actions a.icon {
text-decoration: none;
}
.link.with-padding {
padding: 0.5rem;
}
pre.related_info {
border-top: 1px solid color(var(--background) alpha(0.25));
margin-top: 0.7rem;
padding-top: 0.7rem;
}