/*This is in a separate class, as to not interfere with the regular use of
the `mark` tag, which shows differences between devices in the main table*/
mark.marksearch {
	background: yellow;
}