
html {
	margin: 0px;
	}

body {
	background-color: #F5F5DC; 	
	margin: 0;
	padding: 0px;
	height: 100%;
	font-size: 100%;
	font-family: Calibri, Arial, Helvetica, sans-serif;
	}
	
#container {
    position: absolute;
    top: 0px;
		min-height: 100%;
    height: 100%;
    width: 100%;
	}

#header {
		background-color: 	rgb(243, 229, 171);
		font-style:italic;
    margin-bottom: 1%;
  #  min-width: 840px;
	}	
 
#header h1 {
		text-align:right;
		margin-right: 5%;
    vertical-align:  middle;
		padding: 1%;
	}	

#header a {
  text-decoration:none;
  color: black;
}

 #content {
		background-color: #FFFFF0;
		outline: 	rgb(243, 229, 171) solid 1px;
	  padding: 1%;
 		margin-left: 8%;
		margin-right: 8%;
 #   min-width: 840px;
    min-height: 65%;
	}

div.break {
  padding: 1em;
  outline: 	rgb(0, 0, 0) solid 1px;
}

#footer {
		font-size: 95%;
		position: relative;
		top: 0em;
	}	

#footer p {
  color: 	rgb(130, 130, 100);
	#margin-right: 1%;
	#text-align:   right;
	text-align:   center;
}

#footer a {
  color: rgb(130, 130, 100);
	text-decoration:none;
}
	
#footer a:hover {
	text-decoration:underline;
}

#menu {
		margin-bottom: 1%;
		margin-left: 8%;
		margin-right: 8%;
		font-size: 110%;
		background-color: 	rgb(247, 240, 215);
		outline: 	rgb(243, 229, 171) solid 1px;
		padding: 1em 1% 1em 1%;
  #  min-width: 840px;
	}

#menu a {
		color: black;
		text-decoration:none;
		margin-left: 5px;
		margin-right: 5px;
	}
	
#submenu a {
		color: black;
		text-decoration:none;
	}
	
	
#menu a:hover {
		text-decoration:underline;
	}
		
#submenu a:hover {
		text-decoration:underline;
	}
	
	


.sample_output {
		#outline: rgb(0, 0, 0) solid 1px;
		background-color: rgb(255, 255, 255);
		padding: 5px;
		font-family: courier new;
		font-size: 12px;
	}

.inlined_code {
		#outline: rgb(0, 0, 0) solid 1px;
		font-family: courier new;
		font-size: 12px;
		background-color: rgb(176, 224, 230);
	}
	
.syntax_block {
		font-family: courier new;
		background-color: rgb(176, 224, 230);
		padding: 5px;
		font-size: 14px;
		margin-top: 0.5%;
		margin-left: 30px;
		margin-right: 30px;
	}
	
.syntax_keywords {
		font-weight: bold;
	}

.dml_link {
		text-decoration: underline;
		color: blue;
	}
	
dl.arguments {
		padding-left: 30px;
		margin-top: 0;
		padding-top: 0;
	}

dt.option {
		font-weight: bold;
	}
	
.help_section {
		font-weight: bold;
	}

img {
 # overflow: scroll;
 #    width:100%;
  #  height:100%;

}