le(devicePixelRatio, devicePixelRatio);
	c.font = document.body.style.font;

	const palette = [
		[0x50e150, 30, 30, 30],
		[0x50bebe, 30, 30, 30],
		[0xe17d00, 30, 30,  0],
		[0xc8c83c, 30, 30, 10],
		[0xe15a5a, 30, 40, 40],
	];

	function getColor(p) {
		const v = Math.random();
		return '#' + (p[0] + ((p[1] * v) << 16 | (p[2] * v) << 8 | (p[3] * v))).toString(16);
	}

	function f(level, left, width, type, title) {
		levels[level].push({left: left, width: width, color: getColor(palette[type]), title: titl