body {
  background-color: #E7F6DA;
}
body,td,th {
  font-family: Times New Roman, Times, serif;
  font-size: small;
  color: #000000;
}
.head_s {
  font-family: Georgia, Times New Roman, Times, serif;
  font-size: small;
}
.head_m {
  font-family: Georgia, Times New Roman, Times, serif;
  font-size: medium;
}
.head_l {
  font-family: Georgia, Times New Roman, Times, serif;
  font-size: large;
}
.head_xl {
  font-family: Georgia, Times New Roman, Times, serif;
  font-size: x-large;
}
.head_xxl {
  font-family: Georgia, Times New Roman, Times, serif;
  font-size: xx-large;
}
.toc {
  font-family: Georgia, Times New Roman, Times, serif;
  font-size: x-small;
}