/* CSS Style sheet, conform to CSS Version 2 *//* Author and copyright: Joerg Hau <joerg.hau(at)dplanet.ch> */body    {	font-family: helvetica,arial; 	font-style:normal; 	color:#000099; 	background-color:#ffffff; 	margin: 1em; 	}h1 	{	color: #660000; 	background-color: #ffffff; 	font-family: helvetica,arial; 	font-style:italic;	font-size:x-large;	font-weight:bold;		}		h2 	{	color: #000099; 	background-color: #ffffff; 	font-family: helvetica,arial; 	font-style:italic;	font-size:x-large;	font-weight:bold;	text-align:center;		}						.welcome 	{	color: #660000; 	font-style:italic;	font-size:large;	font-weight:bold;		}table,td	{ 	color: #000099; 	vertical-align: top;	text-align:left;	font-family: ,helvetica,arial; 	font-style:normal;	font-size:small;		}	.toc	{ 	background-color: #ffffff; 	color: #660000; 	vertical-align: top;	text-align:left;	font-family: ,helvetica,arial; 	font-style:normal	}	.tablehdr { 	color: #555555; 	text-align:right;	vertical-align:top; 	font-weight:bold; 	}.tabletop { 	color: #555555; 	font-weight:bold; 	}	.tablehi { 	color: #000000; 	text-align:right;	vertical-align: top; 	font-weight:bold; 	}.tablelo { 	color: #000000; 	vertical-align: top; 	}	.footer	{ 	color: #000000; 	background-color: #ffffff; 	font-size: small 	}	/* Colour codes for instrument list */.inst { 	color: #ffffff; 	background-color: #660000; 	font-weight:bold;	text-align:center;	}/* Colour codes for the chemicals database */.roomtemp { color: #000000; background-color: #80ff00; }.cold	{ color: #000000; background-color: #ffff00; }.verycold { color: #000000; background-color: #ff8000; }/* hyperlinks */a:link { color: #333333; text-decoration:none;font-weight:normal }a:visited { color: #333333; text-decoration:none;font-weight:normal }a:hover { color: #333333; background-color: #efefef ;font-weight:normal}a:active { color: #FF0000; background-color: #FFFFFF ;font-weight:normal}hr { color: #660000 }.warn   {	background-color:#ffffff;	color:#BB0000; 	}