{
	"segments": {
		"left": [
			{
				"type": "string",
				"highlight_groups": ["time"],
				"contents": "dvi-left"
			}
		],
		"right": [
			{
				"type": "string",
				"highlight_groups": ["time"],
				"contents": "dvi-right"
			}
		]
	}
}