span.guibutton,span.guilabel,span.guimenu,span.guimenuitem,span.guisubmenu {
	background-color: lightgray;
}

span.guibutton::before {
	content: "[ ";
}

span.guibutton::after {
	content: " ]";
}

span.productname {
	text-decoration-line: underline;
	text-decoration-style: dotted;
}

div.mediaobject {
	filter: drop-shadow(8px 8px 10px);
}