wofi/style.css


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

#window {
	border: 3px solid rgba(--wofi-rgb-color1, 0.94);
	background-color: rgba(--wofi-rgb-color1, 0.94);
	font-size: 18px;
	font-family: "JetbrainsMono Nerd Font";
}

#outer-box {
	margin: 3px;
}

#input {
	border: 0;
	border-radius: 0;
	background-color: transparent;
	color: --wofi-color0;
	margin: 3px;
}

#input image:first-child {
	margin-left: -100px;
}

#input image:last-child {
	margin-right: -100px;
}

#input:focus {
	border-radius: 0;
}

#entry {
	color: --wofi-color0;
}

#entry:selected {
	background-color: rgba(--wofi-rgb-color0, 0.94);
}

#text:selected {
	color: --wofi-color1;
}

#img {
	margin-right: 5px;
	margin-left: 3px;
	margin-top: 3px;
	margin-bottom: 3px;
}

#text {
	margin-left: 3px;
}