@font-face {
  font-family: 'SourceSans3';
  src: url("SourceSans3-Regular.woff2") format('woff2'),
    url("SourceSans3-Regular.ttf") format('truetype');
  font-weight: normal;
  font-style: normal;
}
.RH-LAYOUT-HOMEPAGE-TITLEBAR-caption {
  color: #FFFFF;
  font-family: 'SourceSans3';
}
.RH-LAYOUT-HOMEPAGE-TOC-title-box {
  text-decoration: none;
  font-family: 'SourceSans3';
  margin-left: 0rem;
  display: contents;
  padding-right: 2px;
}
.RH-LAYOUT-HOMEPAGE-TOC-title {
  margin-left: 2px;
  font-size: 14px;
  font-weight: bold;
  padding-right: 2px;
  margin-right: 4px;
  font-family: 'SourceSans3';
}
.RH-LAYOUT-TOPICPAGE-TOC-title {
  margin-left: 2px;
  font-size: 14px;
  font-weight: bold;
  padding-right: 2px;
  margin-right: 4px;
  font-family: 'SourceSans3';
}