/* Keep the shared desktop header visible on every page. */
header,
header.head {
	position: fixed !important;
	top: 0;
	right: 0;
	left: 0;
	z-index: 9999;
	background: rgba(36, 42, 55, .96);
	border-bottom: 1px solid rgba(255, 255, 255, .1);
	box-shadow: 0 2px 10px rgba(0, 0, 0, .12);
}