body {  font-family: times-roman; 
	background: rgb(204, 204, 204); 
	color: rgb(0,0,0);
	font-family: sans-serif;
	}

table { border-color: rgb(255,0,0);
      }

td.layout { text-align: left;
		  }

td.title {
		   padding: 0px;		   
		}
td.text {
 			padding: 0px;
		}
		
div { border-style: solid;
	  border-width: 1px;
	  border-color: rgb(0,0,255);
	  padding: 5px;
	  font-size: small;
	}
	
div.title { background: rgb(0,0,255);
			color: rgb(255,255,255);
			font-size: medium;
			
			}	

div.code {
	background: rgb(255,255,204);
	color: rgb(0,0,0); 
	font-family: monospace;
}

div.example {
	background: rgb(255,255,204);
	color: rgb(0,0,0);
}