/* Box used to display all information about the download page */
.downloadbox {
  margin : 10px 20px 10px 20px;
	background-color : #EEE;
	border : 1px solid #000;
}

h1.download {
  font-size: 1.4em;
	text-align : center;
}

p.download {
  margin : 10px 20px 10px 20px;
  font-size: 1.0em;
	text-align : left;
}

/* Menu with all downloads */
.treemenu {
  margin : 0px 0px 0px 0px;
	padding : 10px 10px 10px 10px;
	list-style : none;	
}

.treemenu UL {
	display: inline;
	list-style : none;
	margin : 0px 0px 0px 10px;
	padding : 0px 0px 0px 10px;
}

.treemenu LI {
	/*display : inline;*/
}

.treemenu A {
	display : block;
	padding-left : 12px;
	text-decoration : none;
}

.treemenu .treeopen {
	background-image : url('open.gif');
	background-repeat : no-repeat;
	background-position : left;
}		

.treemenu .treeclosed {
	background-image : url('closed.gif');
	background-repeat : no-repeat;
	background-position : left;
}

/* Information about the file to be downloaded */
.downloadline {
	display : block;
	height: 1.2em;
}

.downloadfile {
	float: left;
	text-align : left;
	height: 1.2em;
}

.downloadsize {
	float: right;
	text-align : right;
	height: 1.2em;
}

/* License Text */
p.license, li.license {
	margin-top : 0px;
	margin-bottom : 2px;
  font-size: 0.8em;
	text-align : justify;
}

button.license {
	text-align : center;
	padding-left: 10px;
	padding-right: 10px;
}

ul {
  list-style-type: none;
  padding-left: 20px;
}