html, body {
	height: 100%;
	margin: 0;
}
#topContainer {
	position: absolute;
	width: 100%;
/*	height: 8em; */ /* Let the browser auto-adjust it.  */
}
.siteFrame {
	display: block;
	width: 100%;
	height: 100%;
/*	padding-top: 8em; */ /* Set automatically in JavaScript. */
	box-sizing: border-box;
	border: 0;
}

.group { /* For DIV contents which we want to stick together. */
	white-space: nowrap;
	display: inline;
}

.developerMode {
	font-size: 75%;
	background-color: #ffcc66;
	padding: 1px;
	margin-left: 0.5em;
}

#wordStats {
	padding-top: 0.2em;
}
.addTitleBorder {
	border: 3px solid dodgerblue;
	border-style: ridge;
	padding: 2px;
	margin-top: 2px;
	/* margin-bottom: 2px; */
	overflow: hidden;
	white-space: nowrap;
	background: gainsboro;
}

.successText {
	color: green;
	padding-right: 0.2em;
}
.warnText {
	color: orange;
	padding-left: 0.2em;
}
.errorText {
	color: red;
	padding-left: 0.2em;
}

.padLeft {
	margin-left: 0.4em;
}