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

#lastUpdated {
	display: inline;
}