body {
	font-family: arial, sans-serif;
	font-size: 16px;
	min-width: 680px;
}

h1 {
	margin: 24px 0 0 10px;
	font-size: 48px;
}

header p {
	margin: 0 0 48px 14px;
}

.structure {
	white-space: nowrap;
}

.structure div,
.structure p,
.structure textarea {
	width: 40%;
	display: inline-block;
	white-space: normal;
	min-width: 320px;
	margin: 0 10px;
}

.structure.inline div {
	width: 80%;
	padding-right: 30px;
}

.input textarea {
	height: 200px;
	white-space: pre;
}

.input input[type=checkbox] {
	margin-left: 14px;
}

.input label {
	font-size: smaller;
}

.input input[type=submit] {
	margin: 10px 0 0 24px;
	width: 96px;
	height: 24px;
}

.output div {
	font-family: monospace;
	font-size: 14px;
	line-height: 20px;
	background: #fff url('lines20.gif') top left repeat;
	padding: 0 2px;
	margin-top: 48px;
	margin-bottom: 96px;
	white-space: pre;
	overflow-x: scroll;
}

.output.larger div {
	font-size: 16px;
	line-height: 24px;
	background-image: url('lines24.gif');
}

ins {
	background-color: yellowgreen;
}

del {
	background-color: yellow;
}

footer.structure p {
	font-size: smaller;
	margin-top: 48px;
	padding: 24px 0;
}