.root-code
{
	background-color: thistle;
}
.root-code::before
{
	content: "Run code as user root";
	font-style: italic;
	filter: opacity(30%);
}
.mini-buildd-code
{
	background-color: lightblue;
}
.mini-buildd-code::before
{
	content: "Run code as user mini-buildd";
	font-style: italic;
	filter: opacity(30%);
}
img.logo-menu
{
	vertical-align: middle;
	height: 1.4em;
}
/* 1st line of an admonition */
p.admonition-title + p
{
	font-weight: bolder;
}
