web/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

:root {
	--dummy: white;
	--indexwidth: 100px;
	--productindex-width: 150px;
}

body {
	font-family: mono;
}

div.product_index {
	width: var(--productindex-width);
	float: left;
}

div.index {
	width: var(--indexwidth);
	float: left;
	margin-top: var(--header-heigth);
}

div.mapframe {
	float: left;
}