body { 
	color: black; 
	background: white;
	font-size: medium;
}
address {
	font-size: medium;
}
h1 {
	font-size: medium;
	font-weight: bold;
	margin: 0em 0em 0em 0em;
	padding: 0.2em 0.5em;
	border-width: thin;
	border-color: white;
	color: white;
	background: gray;
}
h2 {
	font-size: medium;
	font-weight: bold;
	margin: 0em 0em 0em 0em;
	padding: 0.2em 0.5em;
	border-width: thin;
}
h3 {
	font-size: medium;
	font-weight: bold;
	margin: 0em 0em 0em 0em;
	padding: 0.2em 0.5em;
}
pre {
	margin: 0em 0em 0em 0em;
}
h1,h2,h3,h4,h5,p,ul { 
	font-family: sans-serif; 
}
div.screen {
	color: black;
	background: rgb(204,204,255);
	padding: 0.5em;
	border: none;
}
.right {
	text-align: right;
}
.center {
	text-align: center;
}
.left {
	text-align: left;
}
img {
	border: none;
}
img.icon {
	border: none;
}
p {
	text-indent: 1em;
}
p,ul,ol {
	line-height: 1.3em;
}
p.noindent {
	text-indent: 0em;
}
.hot {
	color: red;
	background: white;
}
.cool {
	color: green;
	background: white;
}
a:link {
	text-decoration: none;
	color: #0000cc;
	background: white;
}
a:visited {
	text-decoration: none; 
	color: #0000cc;
	background: white;
}
a:active  {
	text-decoration: none; 
}
a:hover   {
	text-decoration: none;
	color: #ff0000;
	background: white;
}
a.navi:link {
	text-decoration: none;
	color: white;	
	background: gray;
}
a.navi:visited {
	text-decoration: none; 
	color: white;	
	background: gray;
}
a.navi:active {
	text-decoration: none; 
	color: #ff0000;
	background: gray;
}
a.navi:hover {
	text-decoration: none; 
	color: #ff0000;
	background: gray;
}
.authors {
	font-size: small;
}
.proc {
	font-size: small;
	font-style: italic;		
}	
.issue {
	font-size: small;
}
.title {
	font-size: small;
	font-weight: bold;
}