body
{
  background-color: white;
  margin: 0;
  padding: 0;
  text-align: justify;
  font-family: sans-serif;
  font-size: 95%;
}

table {
  text-align: justify;
  margin: 0 0 1em 0;
  font-size: 95%;
	border-collapse: collapse;
}

pre{font-size: 110%;}

td {
	padding: 10 10 10 10;
	border-top: 1px solid gray;
	border-bottom: 1px solid gray;
}

td.title {
  border: none;
}

h1 {
	margin: 0px;
	padding: 0px;
}

h2 {
	margin: 0px;
  padding: 0px;
}


h3 {
	font-size: 90%;
}