div#heading {
  text-align: center;
  border: 1px solid lightgrey;
  -moz-border-radius: 12px;
}
  
div#leftcontent {
  float: left;
  padding: 0% 2% 0% 0%;
  width: 14%;
  border: 1px solid lightgrey;
  -moz-border-radius: 12px;
}

div#centercontent {
  top: 10px;
  margin-left: 17%;
  margin-right: 33%;
  border: 1px solid lightgrey;
  -moz-border-radius: 12px;
}

div#rightcontent {
  float: right;
  padding: 0% 0% 0% 2%;
  width: 30%;
  border: 1px solid lightgrey;
  -moz-border-radius: 12px;
}

div#footer {
  padding-top: 2%;
  text-align: center;
  clear: both;
}

#rightcontent h1 {
	font-size: small;
	text-align: center;
	font-weight: bold;
}

#rightcontent dd {
	font-size: smaller;
	text-indent: 1em;
	margin-left: 0em;
}

#rightcontent dt {
	font-size: smaller;
	font-weight: bold;
}
	
p,h1,pre {
	margin:0px 10px 10px 10px;
}
	
div.structural {
	border: 2px solid #aaa;
	background-color: white;
	margin-top: 16px;
	margin-bottom: 16px;
	margin-left: auto;
	margin-right: auto;
	width: 640px;
	padding: 16px;
	-moz-border-radius: 12px;
}

div#sections {
    height: 300px;
    overflow: hidden;
}

div#sections div {
    margin-left: 16px;
    font-family: times, serif;
}

div#main	{
	text-align: justify;
}

div#header {
	text-align: center;
}

div#footer {
    text-align: right;
  	font-size: x-small;
}

div#header h1 {
	margin-top: 0px;
	margin-bottom: 0px;
}

div#paging {
    border-top: 1px solid lightgrey;
    text-align: right;
}

button#forwardButton {
    background-color: white;
    border: none;
    color: RGB(128, 128, 192);
}
    
button#backButton {
    background-color: white;
    border: none;
    color: white;
}