Workbench/src/style.css at 5eece9568ed943c1f1e03aa2ecc85693e6a8b76c · workbenchdev/Workbench · GitHub

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
.view-toggler image {
  margin-right: 6px;
}

.hoverdisplay {
  padding: 8px;
  border-radius: 10px;
}

.panel_header {
  padding-left: 12px;
  padding-right: 12px;
}

.command_snippet {
  color: var(--view-fg-color);
  background: var(--view-bg-color);
  font-family: monospace;
  border-radius: 6px;
  padding: 6px;
  border: 1px solid var(--border-color);
}

/*
 * From Builder's stylesheet:
 * https://gitlab.gnome.org/GNOME/gnome-builder/-/blob/45d4ec9b6f1aa2236c9bb7dfb846b35f9b959618/src/libide/gui/style.css#L33
 * Used to style the language tags for the demo entries in the Library
 */
button.pill.small {
  font-size: 0.83333em;
  border-radius: 99px;
  margin: 0;
  padding: 1px 12px;
}

#panel_code,
#panel_style,
#panel_ui {
  border-right: solid 1px var(--border-color);
  background-color: #fcfcfc;
}

/* Prevent dev banner on second toolbar */
#panel_code > revealer,
#panel_style > revealer,
#panel_ui > revealer,
#panel_preview > revealer,
#panel_devtools > revealer {
  background-image: none;
}

#toolbar_devtools {
  background-color: #fcfcfc;
}

@media (prefers-color-scheme: dark) {
  #panel_code,
  #panel_style,
  #panel_ui {
    background-color: #262626;
  }

  #toolbar_devtools {
    background-color: #262626;
  }
}