1.9 KB87 lines
Blame
1/**
2 * Copyright (c) Meta Platforms, Inc. and affiliates.
3 *
4 * This source code is licensed under the MIT license found in the
5 * LICENSE file in the root directory of this source tree.
6 */
7
8@stylex stylesheet;
9
10/**
11 * We don't assume we're rendered directly into <body>,
12 * so we don't put any styles on <body> itself.
13 */
14.isl-root {
15 /**
16 * These CSS variables come from the VS Code webview UI toolkit:
17 * https://github.com/microsoft/vscode-webview-ui-toolkit/blob/main/src/design-tokens.ts
18 */
19 background-color: var(--background);
20 color: var(--foreground);
21
22 margin: 0;
23 font-family:
24 -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Roboto', 'Oxygen', 'Ubuntu', 'Cantarell',
25 'Fira Sans', 'Droid Sans', 'Helvetica Neue', sans-serif;
26
27 --pad: 10px;
28 --halfpad: 5px;
29
30 --vscode-button-height: 26px; /* height of vscode-button */
31 --vscode-icon-button-height: 22px; /* height of vscode-button with appearance="icon" */
32
33 --monospace-fontFamily: var(
34 --vscode-editor-font-family,
35 source-code-pro,
36 SFMono-Regular,
37 Consolas,
38 'Liberation Mono',
39 Menlo,
40 Courier,
41 monospace
42 );
43
44 --editor-font-size: var(--vscode-editor-font-size, 12px);
45
46 height: calc(100vh / var(--zoom, 1));
47 max-height: calc(100vh / var(--zoom, 1));
48 display: flex;
49 flex-direction: column;
50
51 zoom: var(--zoom, 1);
52}
53
54.main-content-area {
55 overflow-y: auto;
56 flex-grow: 1;
57}
58
59code {
60 font-family: var(--monospace-fontFamily);
61}
62
63.empty-app-state {
64 display: flex;
65 flex-direction: column;
66 padding: calc(4 * var(--pad));
67 width: calc(100% - 8 * var(--pad));
68 height: 100%;
69 align-items: center;
70 justify-content: center;
71}
72
73vscode-button::part(content) {
74 white-space: nowrap;
75 align-items: center;
76}
77vscode-button::part(control) {
78 margin: 0;
79}
80
81vscode-button[appearance='icon'] {
82 border: 1px solid var(--subtle-hover-darken);
83}
84vscode-button[appearance='icon']:not(:hover) {
85 background-color: var(--subtle-hover-darken);
86}
87