p#download {
	border:1px solid #000000;
	margin-left:1em;
	padding:0;
	padding-top:180px;
	background: url('/images/icons/colourcoder/colourcoder180x180.png') no-repeat top center #FFFFFF;
	float:right;
}

img#small {
	float:left;
	margin-right:1em;
}

p#howto {
  clear:both;
}

p#howto+div {
  overflow:auto;
}

div.os-howto {
  float:left;
  width:50%;
}

div.os-howto li {
  margin:1em;
}