.preformatted {
	font-family: monospace;
	white-space: pre;
	text-align: left;
	display: grid;
	grid-auto-flow: row;
	grid-row-gap: 5px;

}
p {
	margin-top: 0px;
	margin-left: 20px;
	padding-top: 0;
}

h1 {
	margin:0;
	padding-bottom: 0;
}

.tot {
	margin-left: 30px;
	margin-top: 0;
	padding-top: 0;
}