@charset "utf-8";
.page-color { color: #243542; }
.article-section-headline {
  border-bottom-color: #f0f4f7;
  border-left-color: #f0f4f7;
  color: #000;
}
.table-of-contents { background-color: #f0f4f7; }