body {
}

.examplecode {
    margin-top:1em;
	margin-right:1em;
	margin-bottom:1em;
	margin-left:1em;
	padding: 1em;
	font-family: courier;
	background-color:lightGray;
	border:thin solid gray;
	white-space:pre;
}

.examplepseudocode {
margin-top:1em;
margin-right:1em;
margin-bottom:1em;
margin-left:1em;
padding: 1em;
font-family: courier;
background-color: lightBlue;
border:thin solid gray;
white-space:pre;
}

p {
  text-indent: 1.5em;
  margin-bottom: 0.5em;
}

.citation {
/*margin-top:8;
margin-right:64;
margin-bottom:8;
margin-left:64;*/
padding: 1em;
font-family:sans-serif;
font-style: italic;
/*background-color:lightGray;
border:thin solid gray;
	white-space:pre;*/
}

.warning {
margin-left: 10%;
margin-right: 10%;
padding: 1em;
font-family:sans-serif;
background-color:lightRed;
border:thin solid red;
text-align: center;
/*white-space:pre;*/
}

li {
  margin-bottom: 1em;
}

.navbar {
  line-height: 150%;
  margin-top: 2%;
  margin-right: 2%;
  margin-left: 2%;
  margin-bottom: 2%;
  padding-top: 8px;
  padding-bottom: 8px;
  padding-left: 8px;
  padding-right: 8px;
  background-color: #DFF6FF;
  border: thin solid gray;
}

.title {
  margin-top: 16px;
  margin-bottom: 16px;
  font-size: 300%;
  font-weight: bold;
  text-align: center;
}

.par_title {
  margin-top: 16px;
  margin-bottom: 16px;
  font-size: 180%;
  font-weight: bold;
  text-align: left;
}

.par_title_2 {
  margin-top: 12px;
  margin-bottom: 12px;
  font-size: 140%;
  font-weight: bold;
  text-align: left;
}

.bodycl {
  	width: 80%;
        background-image: url("draft.png");
        background-attachment: fixed; 
        background-repeat: repeat;
}
.body {
	text-align: justify;
        
}