* {margin:  3px; padding:  0px;}
 #intro {font-size: 70%; margin-bottom:  20px; padding:  20px; background-color: #ededed;}
	body {font-size: 14pt;}
	#cl-1, #cl-2, #header, #sponsors, #collaborators {display: none;}
	a:after {
		font-style: italic;
		content: " ["attr(href)"] ";
		font-size: small;
		display:  block;
	}
h3 	a:after {
		content: "";
		text-decoration:  none;
	}
	
h3 	a {
		text-decoration:  none;

	}

	span.button, span.section {display:  block; margin-bottom: 20px;}
	.date {font-weight:  bold; margin-top:  20px; display:  block; padding-top:  20px;;}
  p {margin:  20px 0;}

 ul, ol {margin-left:  20px; padding-left:  20px;}

 #foot {font-size:  70%; font-weight:  bold;}