/* Shared "back to top" button. Loaded once for every public page. */
.page-top[type="button"] {
	padding: 0;
	-webkit-appearance: none;
	appearance: none;
	cursor: pointer;
	font: inherit;
}