/* Styles applied to authenticated users only. */
html {
	background-color: #ddd;
}