@charset "utf-8";
.page-color { color: #b73a36; }
.article-section-headline {
  border-bottom-color: #b73a36;
  border-left-color: #b73a36;
  color: #000;
}
.table-of-contents,
.article-frame { background-color: #faf0ef; }
.article-frame { margin-top: 1em; }