-
Notifications
You must be signed in to change notification settings - Fork 5
/
ec.config.js
42 lines (42 loc) · 1.19 KB
/
ec.config.js
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
export default {
themes: ["material-theme-darker"],
plugins: [
{
name: "custom-style",
baseStyles: `
.frame.is-terminal:not(.has-title) .header {display: none;}
.frame .header {border-bottom: 2px solid #313131;}
.frame.is-terminal .header::before {display: none;}
.frame.is-terminal:not(.has-title) {
--button-spacing: 0.4rem;
}
.frame.is-terminal:not(.has-title) code, .frame.is-terminal:not(.has-title) pre {
border-radius: 4px
}
.frame.is-terminal .header {
justify-content: initial;
font-weight: initial;
padding-left: 1rem;
color: #fff;
}
`,
hooks: {},
},
],
useThemedScrollbars: false,
useThemedSelectionColors: false,
styleOverrides: {
frames: {
frameBoxShadowCssValue: "none",
tooltipSuccessBackground: "#e65161",
},
uiLineHeight: "inherit",
codeFontSize: "0.875rem",
codeLineHeight: "1.25rem",
borderRadius: "4px",
borderWidth: "0px",
codePaddingInline: "1rem",
codeFontFamily:
'ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;',
},
};