1/* Small modal for the compile-server URL setting. */
3.server-dialog-overlay {
4 position: absolute;
5 inset: 0;
6 z-index: 100;
7 display: flex;
8 align-items: flex-start;
9 justify-content: center;
10 padding-top: 12vh;
11 background-color: rgba(0, 0, 0, 0.35);
12}
14.server-dialog {
15 width: 520px;
16 max-width: calc(100vw - 40px);
17 padding: 16px 18px;
18 border-radius: 6px;
19 background-color: var(--vscode-editorWidget-background, #252526);
20 color: var(--vscode-foreground);
21 border: 1px solid var(--vscode-editorWidget-border, #454545);
22 box-shadow: 0 4px 16px rgba(0, 0, 0, 0.4);
23 font-family: system-ui, 'Ubuntu', 'Droid Sans', sans-serif;
24 font-size: 13px;
25}
27.server-dialog h3 {
28 margin: 0 0 8px;
29 font-size: 15px;
30 font-weight: 500;
31}
33.server-dialog p {
34 margin: 0 0 10px;
35 color: var(--vscode-descriptionForeground);
36}
38.server-dialog code {
39 font-family: var(--monaco-monospace-font, monospace);
40 font-size: 12px;
41 background-color: var(--vscode-textCodeBlock-background, rgba(255, 255, 255, 0.08));
42 padding: 1px 4px;
43 border-radius: 3px;
44 user-select: all;
45}
47.server-dialog input {
48 width: 100%;
49 padding: 5px 7px;
50 margin-bottom: 12px;
51 font-size: 13px;
52 font-family: inherit;
53 color: var(--vscode-input-foreground);
54 background-color: var(--vscode-input-background);
55 border: 1px solid var(--vscode-input-border, transparent);
56 border-radius: 2px;
57 outline: none;
58 box-sizing: border-box;
59}
61.server-dialog input:focus {
62 border-color: var(--vscode-focusBorder);
63}
65.server-dialog-buttons {
66 display: flex;
67 gap: 8px;
68 justify-content: flex-end;
69}
71.server-dialog-buttons button {
72 padding: 5px 14px;
73 font-size: 13px;
74 font-family: inherit;
75 cursor: pointer;
76 border-radius: 3px;
77 border: 1px solid var(--vscode-button-border, transparent);
78 background-color: var(--vscode-button-secondaryBackground);
79 color: var(--vscode-button-secondaryForeground);
80}
82.server-dialog-buttons button:hover {
83 background-color: var(--vscode-button-secondaryHoverBackground);
84}
86.server-dialog-buttons button.primary {
87 background-color: var(--vscode-button-background);
88 color: var(--vscode-button-foreground);
89}
91.server-dialog-buttons button.primary:hover {
92 background-color: var(--vscode-button-hoverBackground);
93}