.moved-from-toolserver-warning {
	border: 2px solid #aea;
	padding: 0.4em;
	border-bottom: none;
	border-right: none;
	background: #eaffea;
}

.page-moved-from-toolserver {
	border-left: 2px dashed #aea;
	padding-left: 1em;
	/* Give it a minimal padding so that the nested paragraph’s margin doesn’t
	   get out of it, causing the border to look ugly */
	padding-top: 0.1px;
}

@media screen {
	html.skin-theme-clientpref-night .moved-from-toolserver-warning {
		border-color: #293a29;
		background: #2f332f;
	}
	
	html.skin-theme-clientpref-night .page-moved-from-toolserver {
		border-color: #293a29;
	}
}

@media screen and (prefers-color-scheme: dark) {
	html.skin-theme-clientpref-os .moved-from-toolserver-warning {
		border-color: #293a29;
		background: #2f332f;
	}

	html.skin-theme-clientpref-os .page-moved-from-toolserver {
		border-color: #293a29;
	}
}