body {
	font-family: sans-serif;
	font-size: .9em;
	text-align:center;
}
/* heading styles */
h1 {
	color: #990000;
	font-size: 2em;
}
dt, h2 {
	color: #990000;
	font-weight:bold;
}
code {
	font-family: monospace;
	font-size: 1.1em;
}
code strong {
	color: #990000;
}
/* division styles
div {
	border-style: solid;
	border-width: 1px;
	border-color: #000000;
} */
div#holdpage, div#footnote, div#heading {
	width:1000px;
	margin-left:auto;
	margin-right: auto;
	text-align:left;
/*	padding:5px;*/
}
div#heading{
	height:80px;
}
div#content {
	margin-left:180px;
}
div#title {
	float:right;
	text-align:right;
	color: #990000;
	font-weight:bold;
	font-size: 2em;
}
div#menubar {
	float:left;
	width:175px;
}
div#footnote {
	font-size: 0.75em;
	text-align: center;
}
div.clearing {
	clear:both;
	width:100%;
}
div.code {
	margin-left: 180px;
	width: 810px;
	margin-top: 5px;
	border-bottom: 1px;
	border-style: solid;
	border-color: #990000;
	border-left: 0px;
	border-right: 0px;
	border-top: 0px;
	overflow:auto;
}
div.listname {
	float:left;
	width: 320px;
}
div.listnumber {
	float:left;
	width:70px;
}
div.listdescription {
	float:left; 
	width:410px; 
}
/* used to display form*/
div#formshow {
	width: 700px; 
	padding: 5px;
	margin-left: 180px;
} 
/* following are used on the login form */
div.row {
  padding-top: 10px;
  width: 500px;
  clear:right;
}

div.row span.label {
  float: left;
  width: 150px;
  text-align: right;
  font-weight: bold;
  }

div.row span.formw {
  float: right;
  width: 335px;
  text-align: left;
  } 
/* division specific tags */
div#heading img {
	float:left;
}
div#heading h1 {
	text-align:center;
}
div#menubar a {
	float: left;
	top:0px;
	width:160px;
	border-style: solid;
	border: outset; 
	background:#990000;
	display:block;
	color: #ffffff;
	font-weight:bold;
	font-size: 0.9em;
  	text-decoration : none;
	text-align: center;
	clear:left;
}
img.code {
	border-style: none;
}
table {
	font-size:1em;
}
/*  Used to display RunCommands by version */
.AXP { color: blue;font-weight: bold;}
.A2000 { color: red;font-weight: bold;}
.A97 { font-weight: bold;}
.A2003 { color: green;font-weight: bold;}
.A2007 { color: rgb(153, 0, 0);font-weight: bold;}
.A2010 { color: rgb(153, 153, 0);font-weight: bold;}
/* links */
a:link { color: #0000ff;}
a:visited { color: #0000ff;}
a:active { color: #ff0000;}