body {
  background-color: #ffffff;
  color: #000000;
  font-family: arial,helvetica,sans-serif;
}
listing {
  margin-left: 4ex;
  margin-right: 4ex;
  border-style: solid;
  border-width: 1px 0px 1px 0px;
  padding: 4px;
}
/* for menu of guide */
table.menu {
	background-color: #ccffff;
	border-style: solid;
	border-color: #000000;
	border-width: 1px;
	border-collapse: collapse;
	border-spacing: 0px;
}
th.rev {
	background-color: #000066;
	color: white;
	border-style: solid;
	border-color: #000000;
	border-width: 1px;
	padding: 2px 4px 2px 4px;
}
td.norm {
	border-style: solid;
	border-color: #000000;
	border-width: 1px;
	padding: 2px 4px 2px 4px;
}