wsb-daemon 0.275.7622

wsb's daemon: the workbench, the GitHub mirror's schedule and peer continuity, for every workspace on the machine
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

@use "../abstracts/dimensions";

/*
 * Four runtime density profiles. "default" is byte-for-byte equivalent in
 * computed values to the original workbench sizing. Each mixin resolves the
 * primitive dimension tokens before publishing semantic component tokens.
 */
@mixin compact-density {
  @include dimensions.density-tokens(0.9, 0.875, 0.875, 0.8, 0.875);
  --wb-control-height: 24px;
  --wb-control-height-sm: 20px;
  --wb-icon-button-size: 20px;
  --wb-menu-padding-block: 4px;
  --wb-menu-padding-inline: 12px;
  --wb-session-row-height: 36.75px;
  --wb-session-child-row-height: 29.75px;
  --wb-session-group-row-height: 24.5px;
}

@mixin default-density {
  @include dimensions.density-tokens(1, 1, 1, 1, 1);
  --wb-control-height: 28px;
  --wb-control-height-sm: 24px;
  --wb-icon-button-size: 24px;
  --wb-menu-padding-block: 6px;
  --wb-menu-padding-inline: 14px;
  --wb-session-row-height: 42px;
  --wb-session-child-row-height: 34px;
  --wb-session-group-row-height: 28px;
}

@mixin comfortable-density {
  @include dimensions.density-tokens(1.08, 1.125, 1.125, 1.2, 1.125);
  --wb-control-height: 32px;
  --wb-control-height-sm: 28px;
  --wb-icon-button-size: 28px;
  --wb-menu-padding-block: 8px;
  --wb-menu-padding-inline: 16px;
  --wb-session-row-height: 47.25px;
  --wb-session-child-row-height: 38.25px;
  --wb-session-group-row-height: 31.5px;
}

@mixin spacious-density {
  @include dimensions.density-tokens(1.16, 1.25, 1.25, 1.4, 1.25);
  --wb-control-height: 36px;
  --wb-control-height-sm: 32px;
  --wb-icon-button-size: 32px;
  --wb-menu-padding-block: 10px;
  --wb-menu-padding-inline: 18px;
  --wb-session-row-height: 52.5px;
  --wb-session-child-row-height: 42.5px;
  --wb-session-group-row-height: 35px;
}

:root,
:root[data-density="default"] {
  @include default-density;
}

:root[data-density="compact"] {
  @include compact-density;
}

:root[data-density="comfortable"] {
  @include comfortable-density;
}

:root[data-density="spacious"] {
  @include spacious-density;
}

@media (pointer: coarse) {
  :root:not([data-density]),
  :root[data-density="default"] {
  }
}