body {
	 	color: black;
		margin-left: 5%; 
    	margin-right: 5%; 
		font-family: stylus bt, verdana, sans-serif;
  	}
	:link { 
		color: rgb(0, 0, 153) 
	}  /* for unvisited links */
  	:visited { 
		color: rgb(153, 0, 153) 
	} /* for visited links */
  	:active { 
		color: rgb(255, 0, 102) 
	} /* when link is clicked */
  	:hover { 
		color: rgb(0, 96, 255) 
	} /* when mouse is over link */
	h1 { 
    	font-family: stylus bt, garamond, times new roman, sans-serif;
		font-size: 200%;
  	}
	h2 { 
    	font-family: stylus bt, garamond, times new roman, sans-serif;
		font-size: 150%;
  	}
	h3 { 
    	font-family: stylus bt, garamond, times new roman, sans-serif;
		font-size: 125%; 
	}
	h4 { 
    	font-family: stylus bt, garamond, times new roman, sans-serif;
		font-size: 100%;
  	}
	h5 { 
    	font-family: stylus bt, garamond, times new roman, sans-serif;
		font-size: 100%;
  	}
	h6 { 
    	font-family: stylus bt, garamond, times new roman, sans-serif;
		font-size: 100%; 
	}
	p { 
    	margin-left: 5%; 
    	margin-right: 5%; 
   		font-family: stylus bt, arial, sans-serif;
   	}
  	p.in {
  		text-indent: 2em;
		margin-top: 0;
		margin-bottom: 0; 
	}
  	pre {
    	color: green; font-weight: bold;
    	white-space: pre; font-family: monospace;
	}
	tt { 
		color: green 
	}
  	em {
  		font-style: italic;
		font-weight: bold
	}
  	strong { 
  		font-weight: bold 
	}
  	.navbar { 
  		text-align: center 
	}
  	div.box { 	
  		border: solid; 
		border-width: thin; 
		width: 100%; 
		padding: 0.2em; 
	}
  	div.color {
    	background-color: rgb(204,204,255);
    	padding: 0.5em;
    	border: none;
    	width: 100%; 
	}
  	pre.bad { 
  		color: rgb(192, 101, 101) 
	}
  		p.changed {
    	padding-left: 0.2em;
    	border-left: solid;
    	border-top: none;
    	border-bottom: none;
    	border-right: none;
    	border-left-width: thin;
    	border-color: red;
  	}
  		.dropcap {
     	float: left;
     	font: bold 1.4em "Times New Roman", serif;
     	color: rgb(51, 0, 102);
     	background: rgb(255, 255, 153);
	}
		.stylus {
		font-family: stylus bt, arial, sans-serif;
	}
		table {
    	font-family: stylus bt, arial, sans-serif;
    	font-size: 100%;
  	}
		th { 
  		font-family: stylus bt, arial, sans-serif; 
		font-size: 150% 
 	}
 		td { 
  		font-family: stylus bt, arial, sans-serif; 
		font-size: 100% 
 	}
	a:hover { 
		color: green; 
 	}
	p.first:firstletter { 
		font-size: 150%;
	}
	p.pad { 
		font-size: 100%;
		padding-top: 2em;
	}
	a.plain { 
		text-decoration: none 
	}
	.sub { 
		font-size: 80%;
		margin-top: 0;
	}