body {
  color: #000000;
  background: #FFFFFF
}
h1 {
  font-size: 19; text-align: center
}
h2 {
  font-size: 17;
}
table {
  background: white;
  text-align: left;
}
a {
  letter-spacing: 1
}
a:visited {color: red;}
a:link {color: blue;}
a:hover {color: red;}
.code_div {
	background: #EEEEEE; margin: 10px; padding: 5px;
	border: dashed 1px;
}
.raw_code {
	font-family: monospace;
	font-size: 11; 
	background: #EEEEEE; padding: 5px;
	border: dashed 1px;
}
.new_code {
	background-color: #FF0;
}
.header_date {
  font-size: 11; text-align: center
}