/* @option user-selected misc. theme setting */

#lastUpdated {
	display: block;
}