/* @option user-selected miscellaneous theme setting */

#lastUpdated {
	display: inline;
}