styles.uss
1.61 KB
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
/* Global Styles */
/* can't use :root here for some reason -- the variables get lost when switching between changes and history tabs */
* {
--standard-margin: 8px;
--half-standard-margin: 4px;
--quarter-standard-margin: 2px;
--standard-padding: var(--standard-margin);
--icon-size: 16px;
--half-icon-size: 8px;
--large-icon-size: 22px;
--half-large-icon-size: 11px;
--icon-standard-margin: var(--half-standard-margin);
--list-entry-height: 25px;
--list-entry-path-font-size: 10px;
--dark-list-entry-path-text-color: #949494;
--light-list-entry-path-text-color: #6B6B6B;
--profile-icon-font-size: 13px;
--no-color: rgba(0, 0, 0, 0);
--dark-placeholder-text-color: #7D7D7D;
--light-placeholder-text-color: #7D7D7D;
/* Colours used for custom buttons that don't have a border */
--dark-button-hover-focus-bg-color: #303030;
--light-button-hover-focus-bg-color: #B2B2B2;
--dark-button-active-bg-color: #484848;
--light-button-active-bg-color: #8F8F8F;
--divider-dark: #5F5F5F;
--divider-light: #9A9A9A;
--fixed-size: 0 0 auto;
}
.hidden {
display: none;
}
.divider-horizontal {
height: 1px;
}
.dark .divider-horizontal {
background-color: var(--divider-dark);
}
.light .divider-horizontal {
background-color: var(--divider-light);
}
.divider-vertical {
width: 1px;
}
.dark .divider-vertical {
background-color: var(--divider-dark);
}
.light .divider-vertical {
background-color: var(--divider-light);
}
.row {
flex-direction: row;
}
.column {
flex-direction: column;
}
.grow {
flex-grow: 1;
}