BUTTON {
  margin: 0 0 0 4px;
  padding: 2px 4px;
  font-size: 12px;
}
.red {
  color: rgb(131, 0, 0);
}
.tab_box {
  padding: 20px;
  line-height: 1.6em;
}
.tab_box P {
  text-indent: 2em;
}
#main {
  margin: 1.6em auto;
}

/*# sourceMappingURL=type16.css.map */