html, body {
	font-size: 10pt;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	background: white;
}

a {
	color: #85c329;
}

.script {
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
  background: #f0f0f0;
  margin-top: 10px;
}

.code {
  background: white;
  border: 1px dashed gray;
  padding: 10px;
}

.page {
  margin: 2px;
}

.warning {
  color: red;
}

.bold {
  font-weight: bold;
}