/* css style by Marco LiCalzi*//* mlcstyle.css, v1.2, 17.04.2008 *//* Try to stick to the "standard 16" color names:   aqua, black, blue, fuchsia, gray, green, lime, maroon,   navy, olive, purple, red, silver, teal, white, and yellow */body {	background: white;	color: black;	margin-top: 1em;    margin-bottom: 1em;	margin-left: 5%;    margin-right: 5%;    text-align: left;	font-family: small Verdana, Arial, Helvetica, sans-serif;}a {color: blue;        background: transparent;		text-decoration: none;}h1, h2, h3 {text-align: center;}	h1,h2 {background: transparent;		color: #C50A1D;		font-weight: bold;}		hr {background: transparent;	color: silver;		padding-bottom: 0em;	padding-top: 0em;	text-align: center;}img.logo{float: left;}p.head {color: #C50A1D;		font-size: xx-large;		font-weight: bold;		margin-left: 5%;}p.signature {font-family: verdana, arial, helvetica, sans-serif;		font-size: x-small;		padding-top: 0em;		text-align: center;}p.toc  {background: transparent;		color: blue;		font-family: verdana, arial, helvetica, sans-serif;		font-size: small;		padding-top: 0em;		text-align: center;}pre {font-family: monospace;}strong {color: #ff0000;        background: transparent;        font-weight: bold;}table.address {margin: auto;	text-align: center;}table.bordered {background: #FFFF4C;		color: black;		border: thin solid silver;		text-align: left;}ul, ol, dl, o {	margin-left: 3%;	margin-right: 3%;}
