body
{
	/* background-image: url("/graphics/ast_background.jpg"); */
	font-size: 86%;
	margin: 10px 6%;
	background-color: white;
	color: black; 
	letter-spacing: 1.2pt;
}
A:link
{
	text-decoration: 
	underline; 
	color: blue;
}
A:visited
{
	text-decoration: underline; 
	color: navy;
}
A:active
{
	text-decoration: underline; 
	color: red;
}
h1
{
	color: black; 
	letter-spacing: 1.2pt;
}
h2
{
	color: black; 
	letter-spacing: 1.2pt;
}
h3
{
	color: black; 
	letter-spacing: 1.2pt;
}
p
{
	color: black; 
	letter-spacing: 1.2pt;
}
li
{
	color: black; 
	letter-spacing: 1.2pt;
}
.banner
{
	padding: 10px 10px 10px 10px;
	background: #f9f9f9;
	border: 2px solid #000;
	font-size: 1.1em;
}
.banner h2 {
	 text-align: center;
}
.form
{
	margin: 20px 8%;
	padding: 15px 15px 15px 15px;
	background: #f9f9f9;
	border: 1px dotted #000;
	font-size: 1.1em;
}
.script
{
	margin: 20px 8%;
	padding: 10px 10px 10px 10px;
	background: #f9f9f9;
	border: 1px dotted #000;
	font-size: 1.1em;
	font-family: sans-serif;
}
.script h3 {
	 text-align: left;
}
.script pre
{
	overflow: auto;
	padding-left: 5px;
	padding-right: 5px;
	width: 93%;
	border: 1px solid #000;
	background: white;
	color: black;
	display: block;
}

.warn
{
	color: #ff1010; 
}