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

#lastUpdated {
	display: inline;
}