div#contents {
  width: 100%;
  float: none;
}
pre, table {
  border: none;
}
.upload {
  background-color: white;
  border: 1px solid red;
  padding: 5px;
}
.error {
	border: 2px solid red;
	padding: 5px;
}
.warning {
	border: 2px solid orange;
	padding: 5px;
}
.hint {
	border: 2px solid green;
	padding: 5px;
}
span.red {
  color: red;
}
span.orange {
  color: green;
}
span.green {
  color: green;
}